An Algorithm with Polynomial Time Complexity for Verifying Secrecy Properties of Cryptographic Protocols

• 一种多项式时间复杂度的密码协议秘密性验证方法