安全协议设计与分析
图书信息
书名：安全协议设计与分析作者：张文政,王立斌,李益发,郑东,董新锋
包装：平装
开本：16
全文字数：255000
出版社：国防工业出版社
出版时间：2015-11-01
图书简介
《安全协议设计与分析》全面讲述了安全协议设计准则与分析方法，涵盖了从基础概念到具体实例的内容。书中详细介绍了多种逻辑化分析方法和串空间分析方法，并着重探讨了可证明安全性分析方法。对于该领域工程技术人员和相关专业的学生而言，是一本不可多得的参考书。
推荐理由
本书是一本系统而详细的计算机安全协议设计与分析方面的专业教材，内容丰富而深入，非常适合计算机、通信及信息安全专业的高年级选修教材和相关专业的研究生教材。作为该领域工程技术人员的参考书，本书覆盖了多种逻辑化分析方法和串空间分析方法，并着重探讨了可证明安全性分析方法的相关内容，是一本不容错过的实用书籍。
