目錄
第1章 緒論 1
1.1 可證明安全理論的概述 1
1.2 基本攻擊類型 6
1.3 安全性概念 9
1.4 密碼加密方案的安全性證明 13
1.5 證明技術(shù) 19
習(xí)題與思考 20
參考文獻(xiàn) 21
第2章 偽隨機函數(shù)和偽隨機置換 22
2.1 偽隨機函數(shù)與偽隨機置換基礎(chǔ) 22
2.2 計算復(fù)雜性 29
2.3 偽隨機發(fā)生器的構(gòu)造 35
2.4 偽隨機函數(shù)與偽隨機置換轉(zhuǎn)換引理 39
2.5 抗相關(guān)密鑰攻擊可證明安全的PRF 和PRP 41
2.6 利用PRF和PRP構(gòu)造私鑰加密體制 50
習(xí)題與思考 52
參考文獻(xiàn) 53
附錄：第2章的加密方案簡表 54
第3章 混合論證技術(shù)與陷門單向置換 55
3.1 混合論證技術(shù) 55
3.2 陷門(單向)置換 58
3.3 陷門(單向)置換的核心及應(yīng)用 64
3.4 不可逼近陷門謂詞與概率公鑰加密方案 65
3.5 適應(yīng)性陷門單向函數(shù)(置換) 71
習(xí)題與思考 78
參考文獻(xiàn) 79
附錄A：第3章的加密方案簡表 80
附錄B：第3章構(gòu)造的ATDF 簡表 81
第4章 密碼學(xué)的計算問題與困難性假設(shè) 82
4.1 計算問題與困難性假設(shè)概述 82
4.2 有限域上離散對數(shù)假設(shè) 84
4.3 橢圓曲線群上的離散對數(shù)問題 89
4.4 二次剩余問題 93
4.5 學(xué)習(xí)問題 96
習(xí)題與思考 100
參考文獻(xiàn) 101
附錄：第4章的加密方案簡表 102
第5章 多項式安全和語義安全 103
5.1 多項式安全 103
5.2 語義安全 107
5.3 語義安全的具體加密方案 114
5.4 左或右不可區(qū)分意義上的安全性 117
習(xí)題與思考 121
參考文獻(xiàn) 121
第6章 抗非適應(yīng)性選擇密文攻擊安全性 122
6.1 語義安全與延展性 122
6.2 零知識證明 123
6.3 CCA1安全的加密方案 127
6.4 基于困難性假設(shè)構(gòu)造CCA1安全的公鑰加密方案 136
習(xí)題與思考 139
參考文獻(xiàn) 139
附錄：第6章的加密方案簡表 140
第7章 抗適應(yīng)性選擇密文攻擊安全性 141
7.1 CCA2安全的加密方案 141
7.2 構(gòu)造CCA2安全的私鑰加密方案 144
7.3 用NIZK證明系統(tǒng)構(gòu)造CCA2安全的公鑰加密方案 146
7.4 基于DDH 假設(shè)構(gòu)造CCA2安全的公鑰加密方案 152
7.5 在隨機預(yù)言機模型下的CCA2安全的加密方案 155
習(xí)題與思考 156
參考文獻(xiàn) 157
附錄：第7章的加密方案簡表 157
第8章 選擇性開放攻擊 159
8.1 選擇性開放攻擊概述 159
8.2 選擇性開放攻擊的不安全性 165
8.3 一個NC-CPA安全加密方案 170
8.4 一個NC-CCA安全加密方案 171
習(xí)題與思考 180
參考文獻(xiàn) 181
附錄：第8章的加密方案簡表 182
第9章 密鑰關(guān)聯(lián)消息安全性 183
9.1 密鑰關(guān)聯(lián)消息安全的私鑰加密方案 183
9.2 密鑰關(guān)聯(lián)消息安全的公鑰加密方案 190
9.3 三模型證明系統(tǒng) 196
習(xí)題與思考 200
參考文獻(xiàn) 201
附錄：第9章的加密方案簡表 201
第10章 博弈證明基礎(chǔ) 202
10.1 博弈 202
10.2 博弈證明技術(shù) 206
10.3 博弈重寫 210
10.4 博弈重寫中的硬幣固定技術(shù) 213
10.5 博弈重寫中的懶散取樣 215
習(xí)題與思考 219
參考文獻(xiàn) 220
第11章 博弈證明技術(shù)的應(yīng)用 221
11.1 博弈證明技術(shù)在PRP/PRF 證明中的應(yīng)用 221
11.2 公鑰加密方案OAEP 222
習(xí)題與思考 233
參考文獻(xiàn) 233