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