サイトウ　タカミチ   Saito Takamichi   齋藤　孝道    所属   明治大学  理工学部    職種   専任教授
言語種別	英語
発行・発表の年月	1999/06
形態種別	国際会議議事録
標題	Incremental Analysis and Verification of Authentication Protocols
執筆形態	共著(筆頭者)
掲載誌名	Proc. of the IEEE 8th Intl. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterorise(WETICE'99), Enterprise Security Workshop, IEEE Computer Society.
巻・号・頁	(ISBN-0-7695-0365-9),pp.192-193
著者・共著者	Takamichi Saito, Wu Wen and Fumio Mizoguchi