本书介绍了安全协议的整体结构、设计流程与分析方法。第1-3章介绍了安全协议的基本概念以及采用的数学知识与密码工具，第4章介绍了安全协议的可证明理论，第5-7章探讨了不同环境下安全协议的设计与分析。针对现有安全协议中出现的问题，提出了一些针对常见协议的改进协议，经过性能测试具有较好的实用性。