@techreport{weko_44935_1,
   author	 = "今本,健二 and 櫻井,幸一",
   title	 = "様相論理による公平性の定義および認証プロトコルの安全性検証",
   year 	 = "2004",
   institution	 = "九州大学大学院システム情報科学府, 九州大学大学院システム情報科学研究院",
   number	 = "54(2004-CSEC-025)",
   month	 = "may"
}