本书共分为12章：第1章是安全协议概述。第2章介绍安全协议的密码学基础。从第3章到第12章，阐述安全协议中的一些基本理论和关键技术：基本的安全协议、认证与密钥建立协议、零知识证明、选择性泄露协议、数字签名变种、非否认协议、公平交换协议、安全电子商务协议、安全多方计算、安全协议的形式化分析。希望，通过学习这本教材，读者可以对安全协议有一个全面深入的了解。

本书全面和系统地讲述了安全协议的基本理论、安全协议的主要类型及安全协议的分析方法。围绕机密性、完整性、认证性、匿名性、公平性等实际需求，较全面地介绍满足各种应用需要的安全协议。

本书主要内容包括：安全协议概述、安全协议的密码学基础、基本的安全协议、认证与密钥建立协议、零知识证明、选择性泄露协议、数字签名变种、非否认协议、公平交换协议、安全电子商务协议、安全多方计算、安全协议的形式化分析。

本书内容全面、选材新颖、前后连贯，是江苏省高等学校精品教材建设立项项目。本书不仅可以作为信息安全专业本科生、研究生教材，也可以作为信息安全领域科研人员的参考书。

第1章 安全协议概述

　1.1 安全协议的概念

　　1.1.1 协议、算法与安全协议

　　1.1.2 协议运行环境中的角色

　1.2 常用的安全协议

　1.3 安全协议的安全性质

　1.4 对安全协议的攻击

　　1.4.1 窃听

　　1.4.2 篡改

　　1.4.3 重放

　　1.4.4 预重放

　　1.4.5 反射

　　1.4.6 拒绝服务

　　1.4.7 类型攻击

　　1.4.8 密码分析

　　1.4.9 证书操纵

　　1.4.10 协议交互

　1.5 安全协议的缺陷

　1.6 安全协议的三大理论分析方法

　　1.6.1 安全多方计算

　　1.6.2 安全协议的形式化分析方法

　　1.6.3 安全协议的可证明安全性理论

　习题1

第2章 安全协议的密码学基础

　2.1 密码学的基本概念

　2.2 数论中的一些难题

　2.3 随机数

　2.4 分组密码

　2.5 公开密钥密码

　　2.5.1 公开密钥密码的基本概念

　　2.5.2 RSA体制

　　2.5.3 Rabin体制

　2.6 散列函数

　2.7 消息认证

　2.8 数字签名

　　2.8.1 数字签名的基本概念

　　2.8.2 RSA签名

　　2.8.3 RSA签名标准PSS

　　2.8.4 数字签名标准DSS

　　2.8.5 一般的离散对数签名体制

　　2.8.6 ElGamal数字签名

　　2.8.7 Schnorr签名体制

　　2.8.8 Okamoto签名体制

　　2.8.9 基于椭圆曲线的数字签名算法ECDSA

　2.9 基于身份的公钥密码学

　　2.9.1 基于身份的密码系统与基于PKI的密码系统的比较

　　2.9.2 基于身份的加密方案

　　2.9.3 基于身份的签名方案

　习题2

第3章 基本的安全协议

第4章 认证与密钥建立协议

第5章 零知识证明

第6章 选择性泄露协议

第7章 数字签名变种

第8章 非否认协议

第9章 公平交换协议

第10章 安全电子商务协议

第11章 安全多方计算

第12章 安全协议的形式化分析

参考文献