| 
 新書推薦:
 
  《 
			经纬度丛书·三国关键之战:决定历史走向的13场战役
			》
 售價:HK$ 
			347
 
  《 
			动物结构与造型图谱 骨骼×肌肉×立体造型×生活百态
			》
 售價:HK$ 
			458
 
  《 
			救命有术
			》
 售價:HK$ 
			347
 
  《 
			中国历代图书总目·哲学卷(全20册)
			》
 售價:HK$ 
			10200
 
  《 
			RNA时代(诺奖得主解密RNA分子如何创造生命的新奇迹)
			》
 售價:HK$ 
			403
 
  《 
			无论在哪儿都是生活(中国好书奖、老舍散文奖、冰心散文奖、人民文学奖特别奖得主肖复兴新作)
			》
 售價:HK$ 
			245
 
  《 
			隋唐与东亚
			》
 售價:HK$ 
			296
 
  《 
			理解集(1930-1954)(阿伦特作品集)
			》
 售價:HK$ 
			551
 
 
 | 
         
          | 內容簡介: |   
          | 《可证明安全理论及方法——密码算法》比较系统全面地介绍了密码加密方案的可证明安全理论及证明技术。主要内容包括绪论、伪随机函数和伪随机置换、混合论证技术与陷门单向置换、密码学的计算问题与困难性假设、多项式安全和语义安全、抗非适应性选择密文攻击安全性、抗适应性选择密文攻击安全性、选择性开放攻击、密钥关联消息安全性、博弈证明基础和博弈证明技术的应用。 |  
         
          | 目錄: |   
          | 目录 第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
 |    |