Formal Verification Techniques for Security Protocols

• 安全协议中的形式化验证技术