@techreport{weko_45149_1,
   author	 = "畑山,研 and 萩原,茂樹 and 米崎,直樹",
   title	 = "Spi計算の型付けによる公開鍵暗号方式を用いたプロトコルのメッセージ認証の検証",
   year 	 = "2002",
   institution	 = "（株）日立製作所公共システム事業部, 東京工業大学大学院情報理工学研究科計算工学専攻, 東京工業大学大学院情報理工学研究科計算工学専攻",
   number	 = "43(2002-CSEC-017)",
   month	 = "may"
}