@techreport{weko_34404_1,
   author	 = "佐藤,直人 and 萩原,茂樹 and 米崎,直樹",
   title	 = "安全性を保証する構造要件に基づくセキュリティプロトコルの自動生成法",
   year 	 = "2005",
   institution	 = "東京工業大学 大学院 情報理工学研究科 計算工学専攻, 東京工業大学 大学院 情報理工学研究科 計算工学専攻, 東京工業大学 大学院 情報理工学研究科 計算工学専攻",
   number	 = "33(2004-DPS-122)",
   month	 = "mar"
}