サイトウ　タカミチ   Saito Takamichi   齋藤　孝道    所属   明治大学  理工学部    職種   専任教授
言語種別	英語
発行・発表の年月	2003/02
形態種別	学術雑誌
標題	Verification of Authentication Protocols Based on the Binding Relation
執筆形態	共著(筆頭者以外)
掲載誌名	Software Security--Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Revised Papers, Lecture Notes in Computer Science, Springer
巻・号・頁	Vol.2609,pp.299-316
著者・共著者	Masami Haigya, Ryo Takemura Koichi Takahashi, and Takamichi Saito