安全协议的形式化验证技术研究

安全协议的形式化验证技术研究Title: Formal Verification Techniques for Security Protocols: A Research StudyAbstract