@phdthesis{oai:soar-ir.repo.nii.ac.jp:00011579, author = {布田, 裕一}, month = {Mar}, note = {信州大学博士(工学)・学位論文・平成24年3月授与(甲第569号)・布田 裕一, Thesis, 布田 裕一. 暗号方式の形式化に関する研究. 信州大学, 2012, 62p, 博士論文}, title = {暗号方式の形式化に関する研究}, year = {2012} }