密码协议的形式化分析与设计原则

• Formal Analysis and Design Principles of Cryptographic Protocols