Logic Analysis and Design of Cryptographic Protocols

• 密码协议的逻辑分析与设计