@techreport{weko_44997_1,
   author	 = "AshrafMoustafaBHERY and 萩原,茂樹 and 米崎,直樹",
   title	 = "演繹体系による暗号方式の形式化と体系の性質としての暗号方式の安全性",
   year 	 = "2003",
   institution	 = "東京工業大学大学院情報理工学研究科計算工学専攻, 東京工業大学大学院情報理工学研究科計算工学専攻, 東京工業大学大学院情報理工学研究科計算工学専攻",
   number	 = "74(2003-CSEC-022)",
   month	 = "jul"
}