文章基本信息

标题：Design of an Efficient Security Protocol Analyzer
本地全文：下载
作者：Shinsaku Kiyomoto ; Haruki Ota ; Toshiaki Tanaka 等
期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2007
卷号：7
期号：6
页码：74-87
出版社：International Journal of Computer Science and Network Security
摘要：In this paper, we present a efficient security protocol analyzer to verify cryptographic security protocols. Our analyzer verifies security protocols based on notions of provable security. The analyzer only checks whether the core properties of security protocols satisfy the notions, making it faster than previous tools. The analyzer automatically checks whether authentication and key distribution protocols satisfy definitions such as Secure Mutual Authentication, Semantic Security, and Forward Secrecy. A user can design and evaluate security protocols by using our analyzer, according to the condition that the protocol will be used. Furthermore, our analyzer has a sophisticated GUI to set security protocols to be evaluated. Thus, the analyzer is useful for constructing and checking security protocols for many services.
关键词：Security Protocol; Automatic Verification; Provable Security