The Approaches and Technologies for Formal Verification of Security Protocols

• 安全协议的形式化分析技术与方法