1.這是一本繫統介紹密文策略屬性加密方案的著作。
2.知名專家力作，第一作者就職於空軍某研究院一直工作在科研第一線，堅持自主創新，做了大量開拓性工作，發展了現代密碼設計分析與工程技術，產生了重大的軍事效益，為國防安全和國家信息安全建設事業做出了重要貢獻。

本書圍繞密文策略屬性加密（Ciphertext-Policy Attribute Based Encryption， CP-ABE）技術展開研究與分析，介紹了CP-ABE技術的研究背景、研究現狀和理論知識，並繫統地闡明了當前CP-ABE方案的主要研究分支，介紹了幾個典型CP-ABE方案的具體構造。同時介紹了幾個功能擴展的CP-ABE方案構造，包括訪問控制策略隱藏、可撤銷存儲、屬性級用戶撤銷、多授權機構以及計算外包等，滿足不同用戶在不同應用領域和場景下的實際需求。
本書既可作為對CP-ABE技術感興趣的讀者的入門教材，也可作為研究工作者的參考用書，同時適合密碼學、信息安全、計算機及相關學科的高年級本科生、研究生、教師和科研人員閱讀。

王建華（1962-），男，陝西咸陽人，博士生導師，現就職於空軍研究院，長期從事密碼理論與工程技術研究。
主持國家863計劃、國家自然科學基金、軍隊繫統等30多項信息安全重點項目研發與建設。獲國家科技進步二等獎1項，軍隊科技進步一等獎5項、二等獎8項，發表學術論文30餘篇。***有突出貢獻中青年專家，“國家百千萬人纔工程”第一、二層次人選，享受政府特殊津貼，網絡安全優秀人纔獎，軍隊傑出專業技術人纔獎。

目 錄

第一部分 密文策略屬性加密方案
第1章 研究背景及現狀\t003
1．1 背景介紹\t004
1．2 基本CP-ABE方案的研究現狀\t009
1．3 追蹤性CP-ABE方案的研究現狀\t011
1．4 撤銷性CP-ABE方案的研究現狀\t013
1．5 計算外包CP-ABE方案的研究現狀\t016
1．6 多機構CP-ABE方案的研究現狀\t019
參考文獻\t021
第2章 理論知識\t027
2．1 雙線性映射\t028
2．1．1 合數階群下的雙線性映射\t028
2．1．2 素數階群下的雙線性映射\t029
2．2 訪問結構\t029
2．2．1 與門訪問結構\t030
2．2．2 訪問樹結構\t031
2．2．3 線性秘密共享方案\t032
2．3 可證明安全理論\t032
2．3．1 安全標準\t032
2．3．2 安全模型\t033
2．4 困難問題假設\t035
2．4．1 合數階群下的困難問題假設\t035
2．4．2 素數階群下的困難問題假設\t036
2．5 規約論斷\t038
2．5．1 一般群模型\t039
2．5．2 隨機預言模型\t039
2．5．3 標準模型\t039
2．6 CP-ABE方案形式化定義及安全模型\t040
2．6．1 形式化定義\t040
2．6．2 安全模型\t040
參考文獻\t041
第二部分 經典的密文策略屬性加密方案
第3章 模糊身份加密方案\t047
3．1 相關定義\t049
3．1．1 安全模型定義\t049
3．1．2 安全假設\t050
3．1．3 方案定義\t050
3．2 方案設計\t050
3．3 安全性證明\t052
參考文獻\t054
第4章 小規模屬性集合下的CP-ABE方案\t055
4．1 Bethencourt-Sahai-Waters的一般群模型下可證明安全的CP-ABE方案\t056
4．1．1 相關定義\t057
4．1．2 方案設計\t058
4．1．3 安全性證明\t060
4．2 Cheung-Newport的標準模型下可證明安全的CP-ABE方案\t061
4．2．1 相關定義\t061
4．2．2 方案設計\t063
4．2．3 安全性證明\t065
4．3 Waters的標準模型下可證明安全的支持任意訪問結構的CP-ABE方案\t067
4．3．1 相關定義\t068
4．3．2 基於q-parallel BDHE假設的CP-ABE方案\t069
4．3．3 基於確定性BDHE假設的CP-ABE方案\t072
4．3．4 基於確定性BDH假設的CP-ABE方案\t076
4．4 Lewko-Okamoto-Sahai的標準模型下適應性安全的CP-ABE方案\t079
4．4．1 相關定義\t080
4．4．2 方案構造\t081
4．4．3 安全性證明\t082
參考文獻\t088
第5章 大規模屬性集合下的CP-ABE方案\t089
5．1 Waters的支持大規模屬性集合的CP-ABE方案\t090
5．1．1 相關定義\t091
5．1．2 隨機預言模型下可證明安全的CP-ABE方案\t092
5．1．3 標準模型下可證明安全的CP-ABE方案\t095
5．2 Rouselakis-Waters的支持大規模屬性集合的CP-ABE方案\t099
5．2．1 相關定義\t099
5．2．2 方案設計\t101
5．2．3 安全性證明\t103
參考文獻\t107
第三部分 功能擴展的密文策略屬性加密方案
第6章 訪問策略隱藏的CP-ABE方案\t111
6．1 引言\t112
6．2 幾個經典的訪問策略隱藏的CP-ABE方案\t114
6．2．1 Nishide-Yoneyama-Ohta的策略隱藏的CP-ABE方案\t114
6．2．2 Lai-Deng-Li的策略隱藏的CP-ABE方案\t124
6．2．3 Hur的策略隱藏的CP-ABE方案\t136
6．2．4 宋衍等的策略隱藏的CP-ABE方案\t143
6．3 無須密鑰托管且訪問策略隱藏的CP-ABE方案\t151
6．3．1 繫統模型\t151
6．3．2 方案定義\t152
6．3．3 安全模型\t153
6．3．4 方案構造\t154
6．3．5 安全性證明\t158
6．3．6 方案分析與實驗驗證\t160
參考文獻\t165
第7章 可撤銷存儲的CP-ABE方案\t167
7．1 引言\t168
7．2 幾個經典的可撤銷存儲的CP-ABE方案\t169
7．2．1 Lee-Choi-Dong的可撤銷存儲的CP-ABE方案\t169
7．2．2 Lee的可撤銷存儲的CP-ABE方案\t182
7．3 弱假設下可證明安全的RS-CP-ABE方案\t199
7．3．1 符號說明\t199
7．3．2 方案定義\t200
7．3．3 安全模型\t202
7．3．4 方案構造\t204
7．3．5 安全性證明\t210
7．3．6 方案分析與實驗驗證\t216
參考文獻\t221
第８章 支持屬性級用戶撤銷的CP-ABE方案\t223
8．1 引言\t224
8．2 幾個經典的支持屬性級用戶撤銷的CP-ABE方案\t225
8．2．1 Liang-Lu-Lin的支持屬性級用戶撤銷的CP-ABE方案\t225
8．2．2 Hur-Noh的支持屬性級用戶撤銷的CP-ABE方案\t236
8．2．3 Yang-Jia-Ren的支持屬性級用戶撤銷的CP-ABE方案\t244
8．2．4 Shiraishi-Nomura-Mohri的支持屬性級用戶撤銷的CP-ABE方案\t251
8．3 基於廣播加密的支持屬性級用戶撤銷的CP-ABE方案\t258
8．3．1 模型定義\t259
8．3．2 小規模屬性集合下基於廣播加密的支持屬性級用戶撤銷的CP-ABE方案\t260
8．3．3 大規模屬性集合下基於廣播加密的支持屬性級用戶撤銷的CP-ABE方案\t273
8．4 基於KEK樹的支持屬性級用戶撤銷的CP-ABE方案\t284
8．4．1 繫統模型\t284
8．4．2 相關定義\t285
8．4．3 Hur等方案安全性分析\t288
8．4．4 方案設計\t288
8．4．5 安全性證明\t291
8．4．6 方案分析及實驗驗證\t293
參考文獻\t296
第9章 多授權機構的CP-ABE方案\t299
9．1 引言\t300
9．2 幾個經典的多授權機構的CP-ABE方案\t302
9．2．1 Chase的多授權機構CP-ABE方案\t302
9．2．2 Lewko-Waters的多授權機構CP-ABE方案\t306
9．2．3 Liu-Cao-Huang的多授權機構CP-ABE方案\t320
9．3 單中央機構多授權機構的CP-ABE方案\t329
9．3．1 繫統模型\t330
9．3．2 相關定義\t331
9．3．3 方案設計\t333
9．3．4 安全性證明\t334
9．3．5 方案分析及實驗驗證\t338
9．4 多中央機構多授權機構的CP-ABE方案\t341
9．4．1 繫統模型\t341
9．4．2 相關定義\t341
9．4．3 方案設計\t344
9．4．4 安全性證明\t346
9．4．5 方案分析\t349
參考文獻\t351
第10章 支持計算外包的CP-ABE方案\t353
10．1 引言\t354
10．2 幾個經典的支持計算外包的CP-ABE方案\t356
10．2．1 Green-Hohenberger-Waters的計算外包CP-ABE方案\t356
10．2．2 Lai-Deng-Guan的計算外包CP-ABE方案\t361
10．2．3 Li-Sha-Zhang的計算外包CP-ABE方案\t369
10．2．4 Zhang-Ma-Lu的計算外包CP-ABE方案\t378
10．3 支持加解密外包的CP-ABE方案\t386
10．3．1 繫統模型\t386
10．3．2 相關定義\t387
10．3．3 方案設計\t390
10．3．4 安全性證明\t392
10．3．5 方案分析及實驗驗證\t396
10．4 支持完全外包的CP-ABE方案\t398
10．4．1 繫統模型\t399
10．4．2 相關定義\t400
10．4．3 方案設計\t402
10．4．4 安全性證明\t404
10．4．5 方案分析及實驗驗證\t407
參考文獻\t410