サイトウ　タカミチ   Saito Takamichi   齋藤　孝道    所属   明治大学  理工学部    職種   専任教授
言語種別	英語
発行・発表の年月	2007
形態種別	国際会議議事録
標題	A Scenario-Based Protocol Checker for Public-Key Authentication Scheme
執筆形態	単著
掲載誌名	Proc. of IPDPS 2007, IEEE Computer Society.