サイトウ　タカミチ   Saito Takamichi   齋藤　孝道    所属   明治大学  理工学部    職種   専任教授
言語種別	日本語
発行・発表の年月	2003/06
形態種別	学術雑誌
標題	束縛関係に基づく認証プロトコルの検証
執筆形態	共著(筆頭者以外)
掲載誌名	日本ソフトウエア科学会論文誌『コンピュータソフトウエア』
巻・号・頁	Vol.20(No.3),17-29頁
著者・共著者	萩谷昌己，竹村　亮，高橋孝一，齋藤孝道