第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—演算 参考文献 |
内容加载中，请稍后...
商品评论（0条）