著者名 米山 一樹
論題 Simplifications of Security Proofs for Cryptographic Protocols
(暗号プロトコルにおける安全性証明の平易化)
学位授与年月日 2008.9.30
学位の種別 課程博士
学位の種類 博士(工学)
学位記番号 博甲第500号
論文審査委員 主査 太田 和夫


安藤 清


西野 哲朗


吉浦 裕


國廣 昇

論文要旨と審査結果要旨