第1章 导 论.
1.1 Needham-Schoeder协议
1.2 更多的例子
1.3 更复杂的协议和攻击
1.4 一些符号约定
第2章 消息认证与数字签名方案
2.1 消息认证方案及其抗伪造性质
2.2 数字签名方案及其抗伪造性质
2.3 数字签名方案与身份鉴别协议：Fiat-Shamir变换
第3章 对称加密方案
3.1 各种保密性质及其相互关系
3.2 一些典型对称加密方案的保密性质
3.3 加密—认证方案：明文完整性与密文完整性
3.4 加密—认证方案的几个一般性构造
3.5 时变对称加密方案及其前向保密性质
第4章 公钥加密方案(Ⅰ)：保密性质和PA性质
第5章 公钥加密方案(Ⅱ)：一些通用构造及其保密性条件
第6章 公钥加密方案(Ⅲ)：匿名性质
第7章 身份鉴别协议
第8章 密码协议的UC—理论及应用
第9章 Dolev-Yao理论(Ⅰ)：自由消息代数strand—图模型
第10章 Dolev—Yao理论(Ⅱ)：自动分析技术
第11章 Dolev-Yao理论(Ⅲ)：带交换群算术的非自由消息代数
第12章 密码协议形式模型的计算语义(Ⅰ)：被动攻击情形
第13章 密码协议形式模型的计算语义(Ⅱ)：主动攻击情形
附录A 一些必要的数学事实
附录B 进程代数模型：spi—演算
参考文献
鄂公网安备 42010302001612号 