Media type: E-Article Title: A Scenario-Based Protocol Checker for Public-Key Authentication Scheme Contributor: SAITO, Takamichi imprint: Institute of Electronics, Information and Communications Engineers (IEICE), 2009 Published in: IEICE Transactions on Information and Systems Language: English DOI: 10.1587/transinf.e92.d.1268 ISSN: 0916-8532; 1745-1361 Keywords: Artificial Intelligence ; Electrical and Electronic Engineering ; Computer Vision and Pattern Recognition ; Hardware and Architecture ; Software Origination: Footnote: Access State: Open Access