@techreport{weko_45331_1,
   author	 = "根岸,和義 and 米崎,直樹",
   title	 = "セキュリティプロトコルの一貫性および正常終了一致の検証法",
   year 	 = "2000",
   institution	 = "日立製作所ビジネスソリューション開発本部／東京工業大学大学院情報理工学研究科計算工学専攻, 東京工業大学大学院情報理工学研究科計算工学専攻",
   number	 = "30(1999-CSEC-008)",
   month	 = "mar"
}