Masaya Maeda
生駒 : 奈良先端科学技術大学院大学, 1998.3
1
R000678
2
禁帯出
1998
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1998年3月
学位記番号: 修第811号
授与年月日: 1998/03/24
学位の種類: 修士(工学)
学生番号: 9651204
英語 (eng)
前田, 昌也 (マエダ, マサヤ)
cryptography
protocol
security
formal verification
term rewriting system
cryptographyprotocolsecurityformal verificationterm rewriting system
