サイトウ タカミチ
Saito Takamichi
齋藤 孝道
所属
明治大学 理工学部
職種
専任教授
言語種別
英語
発行・発表の年月
1999/10
形態種別
その他
標題
A Verification Tool of Authentication Protocols（研究報告）
執筆形態
その他
著者・共著者
コンピュータセキュリティシンポジウム論文集 pp.173-177