Implementation of a Security Protocol Analyzer based on Provable Security

摘要

In this paper, we present a security protocol analyzer to verify cryptographic security protocols. Our analyzer verifies that security protocols are provably secure based on notions of provable security in security protocols. The analyzer only evaluates core properties of security protocols that satisfy the notions, making it faster than previous tools. The analyzer automatically evaluates authentication and key distribution protocols satisfying definitions such as Secure Mutual Authentication, Semantic Security, and Forward Secrecy. Thus, the analyzer is useful for constructing and checking security protocols for many services.