商品介绍

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

图书目录

第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 加密—认证方案：明文完整性与密文完整性
更多