密码协议形式化分析

本书对现在国内外最新的密码协议形成化分析方法与设计准则进行了比较详细的论述，建立了完整而系统密码协议研究理论，并介绍了当前最为流行的几个协议的实现方法。

全书共8章，分别介绍了密码协议所涉及的密码学基础知识，密码协议的概念、缺陷与可能受到的攻击类型，现有的一些密码协议形式化分析方法，密码协议的设计准则，密码协议分析的主要形式化语言和分析工具，Kerberos协议、IPSee协议、SSL协议、X.509以及SET协议这五个密码协议的实现方法和工作原理。

本书适合作为高等院校信息安全专业本科生、研究生使用，也可供从事信息安全研究的科技人员参考。书的最后附有相关的参考文献，提供了与本书有关的资料，供有兴趣的读者参考。