Formal Analysis and Design Principles of Cryptographic Protocols

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