本书包括4篇16章，第1篇包括2章内容，简要介绍了密码算法的分类和一些典型密码算法，以及安全协议的分类、系统模型、安全属性、设计准则、安全缺陷分类和分析方法等。第2篇包括4章内容，重点介绍了可证明安全性、形式化分析、零知识证明、安全多方计算等基础理论与方法。第3篇包括6章内容，重点介绍了秘密共享、数字签名、身份识别、密钥交换、健忘传输、公平交换等基本安全协议。第4篇包括4章内容，重点介绍了Kerberos协议、X.509协议、IPSec协议、TLS/SSL协议、入侵容忍CA协议、基于身份的PKI协议、可信计算平台远程证明协议等应用安全协议。

本书共分4篇16章。系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要内容包括密码算法基础知识，可证明安全性、形式化分析、零知识证明、安全多方计算等基础理论与方法，秘密共享、数字签名、身份识别、密钥交换、健忘传输、公平交换等基本安全协议，以及Kerberos协议、X.509协议、IPSec协议、TLS/SSL协议、入侵容忍CA协议、基于身份的PKI协议、可信计算平台远程证明协议等。

本书可供从事信息安全、密码学、计算机、通信、数学等专业的科技人员、硕士和博士研究生参考，也可供高等院校相关专业的师生参考。

第1篇 绪论

第1章 密码算法概述

1.1 密码算法的分类

1.2 对称密码算法

1.3 公钥密码算法

1.4 Hash函数与MAC算法

1.5 密钥管理简介

1.6 小结

参考文献

第2章 安全协议概述

2.1 安全协议的分类

2.2 安全协议系统模型

2.3 安全协议的安全属性

2.4 安全协议的设计准则

2.5 安全协议的缺陷分类

2.6 消息重放攻击及其对策

2.7 安全协议基础理论与方法概述

2.8 小结

参考文献

第2篇 安全协议基础理论与方法

第3章 可证明安全性理论与方法

3.1 基本概念与计算假设

3.2 随机预言模型方法论

3.3 标准模型下安全的数字签名和公钥加密方案

3.4 面向会话密钥分配协议的安全模型及其应用

3.5 基于口令的安全协议的模块化设计与分析

3.6 小结

参考文献

第4章 形式化分析理论与方法

4.1 BAN逻辑

4.2 Kailar逻辑

4.3 归纳定理证明方法

4.4 应用PI演算方法

4.5 形式化方法的计算可靠性

4.6 小结

参考文献

第5章 零知识证明理论与方法

5.1 交互零知识证明理论与方法

5.2 非交互零知识证明理论

5.3 Sigma协议

5.4 常数轮零知识协议

5.5 小结

参考文献

第6章 安全多方计算理论与方法

6.1 安全两方计算

6.2 两方保密计算功能函数

6.3 安全两方计算的基本定理

6.4 安全多方计算

6.5 小结

参考文献

第3篇 基础安全协议

第7章 秘密共享协议

7.1 秘密共享的基本思想

7.2 基本的秘密共享协议

7.3 一般存取结构上的秘密共享协议

7.4 黑箱秘密共享协议

7.5 无限取值空间上的秘密共享协议

7.6 在线秘密共享协议

7.7 可验证秘密共享协议

7.8 无可信中心的秘密共享协议

7.9 前摄秘密共享协议

7.10 小结

参考文献

第8章 数字签名协议

8.1 潜信道签名协议

8.2 不可否认的数字签名协议

8.3 Fail-Stop数字签名协议

8.4 群数字签名协议

8.5 盲数字签名协议

8.6 门限数字签名协议

8.7 存在特权集的门限数字签名协议

8.8 可验证的签名共享协议

8.9 门限签密协议

8.10 指定验证方的签名协议

8.11 环签名协议

8.12 并发签名协议

8.13 强指定验证方的签名协议

8.14 小结

参考文献

第9章 身份识别协议

第10章 密钥交换协议

第11章 健忘传输协议

第12章 公平交换协议

第4篇 应用安全协议

第13章 典型的分布式认证协议和网络安全通信协议

第14章 入侵容忍CA协议

第15章 基于身份的PKI协议

第16章 可信计算平台远程证明协议