泄露攻擊下可證明安全的公鑰密碼機(jī)制

目錄
前言
第1章 緒論 1
1.1 研究動機(jī)及目標(biāo) 1
1.2 研究現(xiàn)狀與進(jìn)展 2
1.3 研究意義 5
1.4 抗泄露密碼機(jī)制的應(yīng)用 5
參考文獻(xiàn) 9
第2章 基礎(chǔ)知識 12
2.1 哈希函數(shù) 12
2.1.1 抗碰撞哈希函數(shù) 12
2.1.2 抗目標(biāo)碰撞哈希函數(shù) 12
2.2 強(qiáng)隨機(jī)性提取 13
2.2.1 統(tǒng)計距離 13
2.2.2 信息熵 13
2.2.3 隨機(jī)性提取器 14
2.3 區(qū)別引理 15
2.4 泄露模型及泄露諭言機(jī) 16
2.4.1 泄露模型 16
2.4.2 泄露諭言機(jī) 17
2.5 困難性假設(shè) 18
2.6 合數(shù)階雙線性群及相應(yīng)的子群判定假設(shè) 20
2.7 可證明安全理論基礎(chǔ) 21
2.8 本章小結(jié) 24
參考文獻(xiàn) 25
第3章 基本密碼學(xué)工具及構(gòu)造 26
3.1 哈希證明系統(tǒng) 26
3.1.1 平滑投影哈希函數(shù) 26
3.1.2 HPS的定義及安全屬性 27
3.1.3 HPS的具體構(gòu)造 28
3.2 對偶系統(tǒng)加密技術(shù) 29
3.2.1 DSE技術(shù)介紹 29
3.2.2 基于DSE技術(shù)的IBE機(jī)制 31
3.3 一次性損耗濾波器 37
3.3.1 OT-LF的形式化定義 37
3.3.2 OT-LF的安全性質(zhì) 37
3.3.3 OT-LF的具體構(gòu)造 38
3.4 非交互式零知識論證 43
3.5 卡梅隆哈希函數(shù) 45
3.6 密鑰衍射函數(shù) 46
3.7 消息驗證碼 46
3.8 本章小結(jié) 47
參考文獻(xiàn) 47
第4章 公鑰加密機(jī)制的泄露容忍性 49
4.1 公鑰加密機(jī)制的定義及泄露容忍的安全模型 50
4.1.1 公鑰加密機(jī)制的定義 50
4.1.2 PKE機(jī)制的抗泄露CPA安全性 50
4.1.3 PKE機(jī)制的抗泄露CCA安全性 53
4.2 抗泄露CCA安全的PKE機(jī)制 58
4.2.1 具體構(gòu)造 58
4.2.2 正確性 60
4.2.3 安全性證明 60
4.3 抗連續(xù)泄露CCA安全的PKE機(jī)制 68
4.3.1 具體構(gòu)造 68
4.3.2 正確性 71
4.3.3 安全性分析 71
4.4 高效的抗連續(xù)泄露CCA安全的PKE機(jī)制 72
4.4.1 具體構(gòu)造 72
4.4.2 正確性 74
4.4.3 安全性證明 74
4.5 本章小結(jié) 82
參考文獻(xiàn) 82
第5章 基于身份加密機(jī)制的泄露容忍性 84
5.1 基于身份密碼體制 85
5.2 基于身份加密機(jī)制的定義及泄露容忍的安全模型 87
5.2.1 IBE機(jī)制的定義 87
5.2.2 IBE機(jī)制的抗泄露CPA安全性 88
5.2.3 IBE機(jī)制泄露容忍的CCA安全性 91
5.2.4 IBE機(jī)制選定身份的安全性 94
5.3 抗泄露CCA安全的IBE機(jī)制 96
5.3.1 具體構(gòu)造 96
5.3.2 正確性 97
5.3.3 安全性證明 98
5.4 抗連續(xù)泄露CCA安全的IBE機(jī)制 102
5.4.1 具體構(gòu)造 102
5.4.2 正確性 105
5.4.3 安全性證明 105
5.5 具有緊歸約性質(zhì)的抗連續(xù)泄露CCA安全的IBE機(jī)制 114
5.5.1 具體構(gòu)造 115
5.5.2 正確性 116
5.5.3 安全性證明 117
5.6 性能更優(yōu)的抗連續(xù)泄露CCA安全的IBE機(jī)制 120
5.6.1 具體構(gòu)造 120
5.6.2 正確性 123
5.6.3 安全性證明 123
5.6.4 性能的進(jìn)一步優(yōu)化 129
5.7 本章小結(jié) 131
參考文獻(xiàn) 131
第6章 無證書公鑰加密機(jī)制的泄露容忍性 133
6.1 無證書密碼機(jī)制簡介 133
6.2 CL-PKE機(jī)制的定義及泄露容忍的安全模型 134
6.2.1 形式化定義 134
6.2.2 安全模型中的敵手分類 135
6.2.3 CL-PKE機(jī)制的抗泄露CPA安全性 136
6.2.4 CL-PKE機(jī)制的抗泄露CCA安全性 140
6.3 抗泄露CCA安全的CL-PKE機(jī)制 144
6.3.1 具體構(gòu)造 144
6.3.2 正確性 146
6.3.3 安全性證明 146
6.4 抗連續(xù)泄露CCA安全的CL-PKE機(jī)制 153
6.4.1 具體構(gòu)造 154
6.4.2 正確性 157
6.4.3 安全性證明 157
6.5 本章小結(jié) 158
參考文獻(xiàn) 159
第7章 基于證書公鑰加密機(jī)制的泄露容忍性 160
7.1 基于證書密碼機(jī)制簡介 160
7.2 CB-PKE機(jī)制的定義及泄露容忍的安全模型 161
7.2.1 形式化定義 161
7.2.2 敵手分類 162
7.2.3 CB-PKE機(jī)制的抗泄露CPA安全性 162
7.2.4 CB-PKE機(jī)制泄露容忍的CCA安全性 166
7.3 抗泄露CCA安全的CB-PKE機(jī)制 170
7.3.1 具體構(gòu)造 170
7.3.2 正確性 172
7.3.3 安全性證明 172
7.4 抗連續(xù)泄露CCA安全的CB-PKE機(jī)制 179
7.4.1 具體構(gòu)造 179
7.4.2 正確性 182
7.4.3 安全性證明 182
7.5 本章小結(jié) 188
參考文獻(xiàn) 188
第8章 密鑰封裝機(jī)制的泄露容忍性 190
8.1 抗泄露的基于身份密鑰封裝機(jī)制 191
8.1.1 IB-KEM的定義 192
8.1.2 IB-KEM泄露容忍的選擇身份安全性 193
8.1.3 CCA安全的抗泄露IB-KEM的通用構(gòu)造 194
8.1.4 CPA安全的IB-KEM 199
8.1.5 CPA安全的HIB-KEM 202
8.2 抗泄露的無證書密鑰封裝機(jī)制 207
8.2.1 CL-KEM的形式化定義 207
8.2.2 CL-KEM泄露容忍的安全性 208
8.2.3 抗泄露CCA安全的CL-KEM 210
8.2.4 抗連續(xù)泄露CCA安全的CL-KEM 215
8.3 抗泄露的基于證書廣播密鑰封裝機(jī)制 217
8.3.1 形式化定義 217
8.3.2 CB-BKEM泄露容忍的安全性 218
8.3.3 抗泄露CPA安全的CB-BKEM 220
8.4 本章小結(jié) 225
參考文獻(xiàn) 225