@techreport{weko_45348_1, author = "田中,慎也 and 佐藤,文明", title = "SPROMELAによる認証プロトコルの記述と検証", year = "2000", institution = "静岡大学大学院理工学研究科, 静岡大学情報学部", number = "30(1999-CSEC-008)", month = "mar" }