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

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

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

全书共8章。第1章介绍了密码协议所涉及的密码学基础知识，包括密码体制、数字签名、HaSh函数、密钥管理与分配以及公钥证书和基础设施。第2章主要介绍了密码协议的概念、缺陷与可能受到的攻击类型，以及密码协议形式化分析的研究现状与面临的挑战。第3、4、5章分别介绍了现有的一些密码协议形式化分析方法，包括形式逻辑方法、模型检测方法和定理证明方法。第6章介绍了密码协议的设计准则。第7章介绍了密码协议分析的主要形式化语言和分析工具。第8章介绍了5个密码协议的实现方法和工作原理，包括Kerberos协议、IPSec协议、SSL协议、X.509以及SET协议。

出版说明

序

前言

第一章 引论

第二章 密码协议概述

第三章 形式逻辑方法

第四章 模型检测方法

第五章 定理证明方法

第六章 密码协议的设计准则

第七章 密码协议分析主要的形式化语言和分析工具

第八章 几个具体密码协议的实现方法和工作原理

参考文献