目錄
第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 偽隨機發(fā)生器的構造 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 左或右不可區(qū)分意義上的安全性 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證明系統(tǒng)構造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章 密鑰關聯(lián)消息安全性 183
9.1 密鑰關聯(lián)消息安全的私鑰加密方案 183
9.2 密鑰關聯(lián)消息安全的公鑰加密方案 190
9.3 三模型證明系統(tǒng) 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