本书是中国**部关于**协议的专门教材。全书共分12章,全面介绍了**协议的基本理论与关键技术。主要内容包括引论;**协议的密码学基础;认证协议;非否认协议;**电子商务协议;其他类型的**协议;BAN类逻辑;Kailar逻辑;Rubin逻辑;串空间模型;CSP方法;实用协议SSL及其**性分析;**协议攻击;**协议设计;**协议的公开问题;**协议的发展与展望等。 本书精心选材、内容翔实、**突出、特点鲜明,理论结合实际,既包括**协议研究的*新进展,也包括作者在此研究领域的科研成果。 本书可以作为信息**、计算机、通信等专业的本科高年级学生和研究生的教材,也可供从事相关专业的教学、科研和工程技术人员参考。

第1章 引言
1.1 信息系统与信息系统**
1.2 信息系统的攻击与防御
1.2.1 被动窃听与主动攻击
1.2.2 信息对抗的历史回顾
1.2.3 攻击目标与攻击分类
1.2.4 入侵检测技术
1.3 数学基础
1.3.1 数论基础
1.3.2 代数基础
1.3.3 计算复杂性理论基础
1.4 本书的取材、组织与安排
��2章 **协议的密码学基础
2.1 密码学的基本概念
2.2 古典密码学
2.2.1 换位密码
2.2.2 代替密码
2.2.3 转轮密码机
2.3 分组密码
2.3.1 分组乘积密码
2.3.2 数据加密标准
2.3.3 idea密码体制
2.3.4 先进加密标准和rijndael密码算法
2.3.5 分组密码的工作模式
2.4 公开密钥密码
2.4.1 公开密钥密码的基本概念
2.4.2 mh背包体制
2.4.3 rsa体制
2.4.4 rabin体制
2.5 数字签名
2.5.1 数字签名的基本概念
2.5.2 rsa数字签名
2.5.3 数字签名标准
2.6 散列函数
2.6.1 散列函数的基本概念
2.6.2 **散列标准
2.7 总结
习题
第3章 认证协议
3.1 经典认证协议
3.1.1 nssk协议
3.1.2 nspk协议
3.1.3 otwayrees协议
3.1.4 yahalom协议
3.1.5 andrew**rpc协议
3.1.6 “大嘴青蛙”协议
3.2 关于认证协议攻击的讨论
3.2.1 dolevyao模型
3.2.2 攻击者的知识和能力
3.2.3 重放攻击
3.3 针对经典认证协议的攻击
3.3.1 针