刘天华、朱宏峰编著的《安全协议模型与设计》介绍了安全协议的整体结构、设计流程与分析方法。第1～3章介绍了安全协议的基本概念以及采用的数学知识与密码工具，第4章介绍了安全协议的可证明理论，第5～7章探讨了不同环境下安全协议的设计与分析。针对现有安全协议中出现的问题，提出了一些针对常见协议的改进协议，经过性能测试具有较好的实用性。
《安全协议模型与设计》适合普通高等院校信息安全方向的教师、研究生以及从事安全协议等研究方向的科研人员阅读参考。