サイトウ　タカミチ   Saito Takamichi   齋藤　孝道    所属   明治大学  理工学部    職種   専任教授
言語種別	日本語
発行・発表の年月	2001
形態種別	学術雑誌
標題	認証プロトコルの完全性を自動検証するシステム
執筆形態	共著(筆頭者)
掲載誌名	電子情報通信学会　論文誌(A)
巻・号・頁	Vol.J85-A(No.2),207-213頁
著者・共著者	齋藤孝道，Wu WEN, 溝口文雄