A Logic for Formal Verification and Design of Cryptographic Protocols

• 一种用于密码协议形式化验证的简单逻辑