@techreport{weko_35894_1,
   author	 = "村山,優子",
   title	 = "BANロジックによるアドレス登録プロトコルの検証",
   year 	 = "1992",
   institution	 = "WIDEプロジェクト／慶應義塾大学",
   number	 = "91(1992-DPS-058)",
   month	 = "nov"
}