《安全协定原理与验证》介绍安全协定及其验证方法，主要内容包括三个部分：1.基础知识，包括安全协定基本原理介绍、安全性分析以及密码学基础；2.安全协定原理，包括安全协定概述、经典的密码交换及认证协定、电子商务协定以及套用中的安全协定；3.安全协定的分析与验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。主要介绍安全协定及其验证方法 。

《安全协定原理与验证》较为全面、深入地介绍了信息安全体系中的安全协定原理及安全协定的分析验证方法。内容安排由浅入深，重点突出，涵盖了当前安全协定研究领域的主要成果。

《安全协定原理与验证》可作为高等院校信息安全、计算机、通信等专业高年级本科生和研究生教材，也可供从事相关专业的教学、科研和工程技术人员参考。

第一部分 基础知识

第1章 引言

1.1 安全协定的研究背景、基本概念

1.1.1 安全协定的研究背景

1.1.2 安全协定的基本概念

1.2 安全协定的安全性分析

1.2.1 秘密性

1.2.2 认证性

1.2.3 完整性

1.2.4 不可否认性

1.2.5 公平性

1.2.6 原子性

1.2.7 匿名性

1.3 安全协定的形式化分析技术概述

1.3.1 安全协定形式化分析方法概述

1.3.2 基于知识与信念的逻辑推理方法

1.3.3 基于代数模型的状态检验方法

1.3.4 基于不变集的代数定理证明方法

1.4 本书的安排

第2章 密码学基础

2.1 密码学概述

2.1.1 密码学的发展过程

2.1.2 密码学的基本概念

2.2 密码体制

2.3 对称密钥密码体制

2.3.1 代换密码

2.3.2 数据加密标準DES

2.3.3 高级数据加密标準AES

2.4 公钥密码体制

2.4.1 单向陷门函式

2.4.2 RSA密码体制

2.4.3 MH背包体制

2.5 数字签名

2.5.1 数字签名的基本概念

2.5.2 数字签名方案

2.5.3 RSA数字签名

2.6 哈希函式

2.6.1 哈希函式基本概念

2.6.2 几种常用哈希函式介绍

2.7 本章小结

习题

第二部分 安全协定原理

第3章 安全协定概述

3.1 概述

3.2 安全协定分类

3.3 安全协定的缺陷

3.4 安全协定的威胁模型

3.5 针对安全协定的攻击

3.5.1 重放攻击

3.5.2 中间人攻击

3.5.3 并行会话攻击

3.5.4 反射攻击

3.5.5 交错攻击

……

第4章 认证与密钥交换协定

第5章 电子商务协定

第6章 实际使用中的的安全协定

第三部分 安全协定的分析、验证方法

第7章 BAN逻辑

第8章 BAN类逻辑

第9章 Kailar逻辑

第10章 时间相关安全协定分析

第11章 串空间模型理论及协定分析方法

第12章 安全协定的CSP分析方法

第13章 其他安全协定分析验证方法

参考文献