To search, Click below search items.


All Published Papers Search Service


Design of an Efficient Security Protocol Analyzer


Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka


Vol. 7  No. 6  pp. 74-87


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