计算机密码学：通用方案构造及安全性证明

图书标准信息

• 作者 田园 著
• 出版社 电子工业出版社
• 出版时间 2008-06
• 版次 1
• ISBN 9787121066580
• 定价 36.00元
• 装帧 平装
• 开本 16开
• 纸张 其他
• 页数 314页
• 正文语种 简体中文

【内容简介】

《计算机密码学：通用方案构造及安全性证明》阐述计算机密码方案与密码协议的安全性证明理论，包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式的阐述，而只打算选择少数典型、普适、有发展前途同时又不特别复杂艰涩的方法进行论述。在选择这些方法时，作者也充分考虑到这些方法所解决的问题本身都有着相当的理论与应用价值，从而使读者通过仔细学习这些安全证明而能更深入地理解这些密码方案。

【目录】

第1章导论
1.1Needham-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—演算
参考文献