计算机密码学

《计算机密论女直往码学》是 2008年电子工业出版社出版的图书，作者是田园。

• 书名 《计算机密码学》
• 作者 田园
• ISBN 9787121066580
• 页数 314页
• 定价 36.00元

出版信息

　　作者:田园，

　　出版年:1970-1

　　页数:314

　　定价:36.00元

　　IS来自BN:9787121066所树580

内容简介

　　安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式的阐述，而只打算选择少数360百科典型、普适、有发展前途同时又不特别复杂艰涩的方法进行论述。在选择这些方法时，作者也充分考虑到这些方法所解决的问题本身都有着相当的理论与应用价值，从而使读者通过仔细学习这些安全证明而能更深入地理解这些密码方案。

目殖这领对究录

　　第1章 导论

　　1.1 Needham-Schoeder协议

　　来自1.2 更多的例子

　　1.3 更复杂的协议和攻击

　　财克河斤单又示编1.4 一些符号约定

　　第2章 消息认证与数字签名方案

　　2.1 消息认证方案及其抗伪造性质

　　2.2 数字签名360百科方案及其抗伪造性质

　　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-演算

　　参考文献