本书主要探讨密码协议实现（密码协议程序源代码）时的逻辑安全性，并以密码协议实现时的安全性为前提条件，设计了新的方案。本书引入了逻辑推理与规则的安全证明，在分析方面，讨论了密码协议实现时的轨迹安全、快速判断密码协议实现时导致的不安全原因、基于内容安全的密码协议代码实现模型分析和密码协议实现时的侧信道安全分析。在设计方面，讨论了非签名认证的密钥协商协议设计和基于协议底层实现安全的密钥协商协议。所有的方法都通过源代码（C语言和Socket通信编程）进行实验分析，实验结果符合预期要求。 本书可作为计算机科学与技术、网络空间安全、数学与应用数学等信息安全专业本科生、研究生的学术性指导教材，也可供高等院校从事网络空间安全研究的学者以及其他领域对信息安全感兴趣的爱好者作为参考资料之用。