目錄
“密碼理論與技術(shù)叢書” 序
前言
第1章 緒論 1
1.1 云計(jì)算 1
1.1.1 云計(jì)算的概念 2
1.1.2 云計(jì)算的服務(wù)構(gòu)架 2
1.1.3 云計(jì)算的分類 3
1.1.4 移動(dòng)云計(jì)算 4
1.2 云存儲(chǔ) 6
1.3 云安全 9
1.3.1 云安全現(xiàn)狀 10
1.3.2 云安全問題分類 13
1.3.3 云安全模型 14
參考文獻(xiàn) 15
第2章 可證明安全理論基礎(chǔ) 17
2.1 計(jì)算復(fù)雜性理論相關(guān)概念 17
2.2 困難問題 18
2.2.1 整數(shù)分解問題及其變形 19
2.2.2 離散對(duì)數(shù)問題及其變形 21
2.2.3 基于雙線性映射的困難問題 23
2.3 可證明安全理論 25
2.4 公鑰加密體制 27
2.4.1 形式化定義 27
2.4.2 安全性定義 28
2.4.3 CPA 安全到 CCA 安全的轉(zhuǎn)換 30
2.5 數(shù)字簽名體制 31
2.5.1 形式化定義 32
2.5.2 安全性定義 32
2.6 安全模型 33
2.6.1 隨機(jī)預(yù)言模型 33
2.6.2 標(biāo)準(zhǔn)模型 35
2.6.3 隨機(jī)預(yù)言模型合理性與局限性 36
2.6.4 其他安全模型 38
2.7 小結(jié) 39
參考文獻(xiàn) 39
第3章 可搜索加密技術(shù) 44
3.1 問題闡述 44
3.2 對(duì)稱可搜索加密技術(shù) 46
3.2.1 安全定義 47
3.2.2 基于順序掃描的對(duì)稱可搜索加密方案 50
3.2.3 基于倒排索引的對(duì)稱可搜索加密方案 54
3.2.4 模糊關(guān)鍵詞對(duì)稱可搜索加密方案 55
3.2.5 可驗(yàn)證的對(duì)稱可搜索加密方案 58
3.2.6 前/后向安全的對(duì)稱可搜索加密方案 59
3.3 非對(duì)稱 (公鑰) 可搜索加密技術(shù) 64
3.3.1 安全定義 65
3.3.2 保密信道下的公鑰可搜索加密方案 66
3.3.3 公開信道下的公鑰可搜索加密方案 67
3.3.4 公鑰可搜索加密方案的離線關(guān)鍵詞猜測(cè)攻擊 68
3.3.5 陷門信息不可區(qū)分的公鑰可搜索加密方案 69
3.3.6 基于授權(quán)的公鑰可搜索加密方案 70
3.4 小結(jié) 72
參考文獻(xiàn) 72
第4章 基于屬性的密碼技術(shù) 76
4.1 問題闡述 76
4.2 基于屬性的加密方案 80
4.2.1 安全定義 80
4.2.2 基于身份的加密方案 84
4.2.3 模糊身份加密方案 87
4.2.4 支持一般訪問結(jié)構(gòu)的基于屬性加密方案 88
4.3 基于屬性的簽名方案 93
4.3.1 安全定義 93
4.3.2 支持門限簽名策略的基于屬性簽名方案 95
4.3.3 支持一般簽名策略的基于屬性簽名方案 98
4.4 基于屬性密碼體制的擴(kuò)展 101
4.4.1 多機(jī)構(gòu)的基于屬性加密方案 101
4.4.2 可撤銷的基于屬性加密方案 103
4.4.3 可追蹤的基于屬性加密方案 106
4.5 小結(jié) 110
參考文獻(xiàn) 110
第5章 安全外包計(jì)算技術(shù) 115
5.1 問題闡述 115
5.2 大規(guī)?？茖W(xué)計(jì)算的安全外包 117
5.2.1 安全定義 117
5.2.2 序列比較的安全外包 119
5.2.3 線性方程組的安全外包 121
5.2.4 矩陣乘法的安全外包 126
5.2.5 矩陣求逆的安全外包 129
5.2.6 線性規(guī)劃程序的安全外包 131
5.2.7 高次多項(xiàng)式求值的安全外包 139
5.3 密碼基礎(chǔ)運(yùn)算的安全外包 140
5.3.1 安全定義 140
5.3.2 模指數(shù)的安全外包 143
5.3.3 雙線性對(duì)的安全外包 151
5.4 基于屬性密碼體制的安全外包 154
5.4.1 基于屬性加密體制的解密外包 155
5.4.2 基于屬性簽名體制的簽名外包 156
5.5 小結(jié) 157
參考文獻(xiàn) 158
第6章 云數(shù)據(jù)完整性審計(jì)技術(shù) 161
6.1 問題闡述 161
6.2 數(shù)據(jù)持有性證明技術(shù) 163
6.2.1 安全定義 164
6.2.2 數(shù)據(jù)持有性證明方案 166
6.2.3 動(dòng)態(tài)的數(shù)據(jù)持有性證明方案 167
6.2.4 數(shù)據(jù)存儲(chǔ)位置驗(yàn)證方案 171
6.3 數(shù)據(jù)可恢復(fù)性證明技術(shù) 173
6.3.1 安全定義 174
6.3.2 數(shù)據(jù)可恢復(fù)性證明方案 174
6.3.3 緊湊的數(shù)據(jù)可恢復(fù)性證明方案 176
6.3.4 基于身份的遠(yuǎn)程數(shù)據(jù)完整性驗(yàn)證方案 178
6.4 小結(jié) 181
參考文獻(xiàn) 181
第7章 數(shù)據(jù)庫(kù)的可驗(yàn)證更新技術(shù) 185
7.1 問題闡述 185
7.2 動(dòng)態(tài)數(shù)據(jù)庫(kù)的可驗(yàn)證更新技術(shù) 187
7.2.1 安全定義 187
7.2.2 基于高次多項(xiàng)式外包的可驗(yàn)證數(shù)據(jù)庫(kù)方案 189
7.2.3 基于向量承諾的可驗(yàn)證數(shù)據(jù)庫(kù)方案 190
7.2.4 基于承諾綁定的可驗(yàn)證數(shù)據(jù)庫(kù)方案 191
7.2.5 支持增量更新的可驗(yàn)證數(shù)據(jù)庫(kù)方案 193
7.2.6 支持全更新操作的可驗(yàn)證數(shù)據(jù)庫(kù)方案 194
7.3 數(shù)據(jù)流的可驗(yàn)證更新技術(shù) 205
7.3.1 安全定義 205
7.3.2 基于變色龍認(rèn)證樹的可驗(yàn)證數(shù)據(jù)流方案 207
7.3.3 基于認(rèn)證數(shù)據(jù)結(jié)構(gòu)的可驗(yàn)證數(shù)據(jù)流方案 210
7.3.4 基于變色龍向量承諾的可驗(yàn)證數(shù)據(jù)流方案 212
7.4 分布式存儲(chǔ)的可驗(yàn)證更新技術(shù) 215
7.4.1 安全定義 215
7.4.2 基于子向量承諾的可驗(yàn)證分布式存儲(chǔ)方案 217
7.5 小結(jié) 220
參考文獻(xiàn) 220
第8章 云數(shù)據(jù)安全去重技術(shù) 222
8.1 問題闡述 222
8.2 文件級(jí)安全去重技術(shù) 226
8.2.1 安全定義 226
8.2.2 消息鎖定加密方案 228
8.2.3 支持所有權(quán)證明的客戶端數(shù)據(jù)去重方案 231
8.2.4 支持所有權(quán)管理的數(shù)據(jù)去重方案 234
8.3 數(shù)據(jù)塊級(jí)安全去重技術(shù) 237
8.3.1 安全定義 237
8.3.2 支持密鑰管理的數(shù)據(jù)塊級(jí)去重方案 238
8.3.3 數(shù)據(jù)塊級(jí)消息鎖定加密方案 240
8.3.4 支持更新的數(shù)據(jù)塊級(jí)消息鎖定加密方案 241
8.4 小結(jié) 244
參考文獻(xiàn) 244
索引 247
后記 249