サイトウ　タカミチ   Saito Takamichi   齋藤　孝道    所属   明治大学  理工学部    職種   専任教授
言語種別	英語
発行・発表の年月	2009
形態種別	学術雑誌
標題	A Scenario-Based Protocol Checker for the Public-Key Authentication Scheme
執筆形態	単著
掲載誌名	IEICE TRANSACTIONS on Information and Systems
巻・号・頁	Vol.E92-D(6),pp.1268-1279