书名：可证明安全理论及方法——密码算法
定价：88.0
ISBN：9787030551603
版次：1
出版时间：2017-11

内容提要：
本书比较系统全面地介绍了密码加密方案的可证明安全理论及证明技术。主要内容包括绪论、伪随机函数和伪随机置换、混合论证技术与陷门单向置换、密码学的计算问题与困难性假设、多项式安全和语义安全、抗非适应性选择密文攻击安全性、抗适应性选择密文攻击安全性、选择性开放攻击、密钥关联消息安全性、博弈证明基础和博弈证明技术的应用。



目录：
目录
第1章 绪论 1
1.1 可证明安全理论的概述 1
1.2 基本攻击类型 6
1.3 安全性概念 9
1.4 密码加密方案的安全性证明 13
1.5 证明技术 19
习题与思考 20
参考文献 21
第2章 伪随机函数和伪随机置换 22
2.1 伪随机函数与伪随机置换基础 22
2.2 计算复杂性 29
2.3 伪随机发生器的构造 35
2.4 伪随机函数与伪随机置换转换引理 39
2.5 抗相关密钥攻击可证明安全的PRF 和PRP 41
2.6 利用PRF和PRP构造私钥加密体制 50
习题与思考 52
参考文献 53
附录：第2章的加密方案简表 54
第3章 混合论证技术与陷门单向置换 55
3.1 混合论证技术 55
3.2 陷门(单向)置换 58
3.3 陷门(单向)置换的核心及应用 64
3.4 不可逼近陷门谓词与概率公钥加密方案 65
3.5 适应性陷门单向函数(置换) 71
习题与思考 78
参考文献 79
附录A：第3章的加密方案简表 80
附录B：第3章构造的ATDF 简表 81
第4章 密码学的计算问题与困难性假设 82
4.1 计算问题与困难性假设概述 82
4.2 有限域上离散对数假设 84
4.3 椭圆…线群上的离散对数问题 89
4.4 二次剩余问题 93
4.5 学习问题 96
习题与思考 100
参考文献 101
附录：第4章的加密方案简表 102
第5章 多项式安全和语义安全 103
5.1 多项式安全 103
5.2 语义安全 107
5.3 语义安全的具体加密方案 114
5.4 左或右不可区分意义上的安全性 117
习题与思考 121
参考文献 121
第6章 抗非适应性选择密文攻击安全性 122
6.1 语义安全与延展性 122
6.2 零知识证明 123
6.3 CCA1安全的加密方案 127
6.4 基于困难性假设构造CCA1安全的公钥加密方案 136
习题与思考 139
参考文献 139
附录：第6章的加密方案简表 140
第7章 抗适应性选择密文攻击安全性 141
7.1 CCA2安全的加密方案 141
7.2 构造CCA2安全的私钥加密方案 144
7.3 用NIZK证明系统构造CCA2安全的公钥加密方案 146
7.4 基于DDH 假设构造CCA2安全的公钥加密方案 152
7.5 在随机预言机模型下的CCA2安全的加密方案 155
习题与思考 156
参考文献 157
附录：第7章的加密方案简表 157
第8章 选择性开放攻击 159
8.1 选择性开放攻击概述 159
8.2 选择性开放攻击的不安全性 165
8.3 一个NC-CPA安全加密方案 170
8.4 一个NC-CCA安全加密方案 171
习题与思考 180
参考文献 181
附录：第8章的加密方案简表 182
第9章 密钥关联消息安全性 183
9.1 密钥关联消息安全的私钥加密方案 183
9.2 密钥关联消息安全的公钥加密方案 190
9.3 三模型证明系统 196
习题与思考 200
参考文献 201
附录：第9章的加密方案简表 201
第10章 博弈证明基础 202
10.1 博弈 202
10.2 博弈证明技术 206
10.3 博弈重写 210
10.4 博弈重写中的硬币固定技术 213
10.5 博弈重写中的懒散取样 215
习题与思考 219
参考文献 220
第11章 博弈证明技术的应用 221
11.1 博弈证明技术在PRP/PRF 证明中的应用 221
11.2 公钥加密方案OAEP 222
习题与思考 233
参考文献 233