王建华（1962-），男，陕西咸阳人，博士生导师，现就职于空军研究院，长期从事密码理论与工程技术研究。主持国家863计划、国家自然科学基金、军队系统等30多项信息安全重点项目研发与建设。获国家科技进步二等奖1项，军队科技进步一等奖5项、二等奖8项，发表学术论文30余篇。重量有突出贡献中青年专家，“国家百千万人才工程”、二层次人选，享受政府特殊津贴，网络安全很好人才奖，军队杰出专业技术人才奖。

部分密文策略属性加密方案
章研究背景及现状003
1．1背景介绍004
1．2基本CP-ABE方案的研究现状009
1．3追踪性CP-ABE方案的研究现状011
1．4撤销性CP-ABE方案的研究现状013
1．5计算外包CP-ABE方案的研究现状016
1．6多机构CP-ABE方案的研究现状019
参考文献021
第2章理论知识027
2．1双线性映射028
2．1．1合数阶群下的双线性映射028
2．1．2素数阶群下的双线性映射029
2．2访问结构029
2．2．1与门访问结构030
2．2．2访问树结构031
2．2．3线性秘密共享方案032
2．3可证明安全理论032
2．3．1安全标准032
2．3．2安全模型033
2．4困难问题假设035
2．4．1合数阶群下的困难问题假设035
2．4．2素数阶群下的困难问题假设036
2．5规约论断038
2．5．1一般群模型039
2．5．2随机预言模型039
2．5．3标准模型039
2．6CP-ABE方案形式化定义及安全模型040
2．6．1形式化定义040
2．6．2安全模型040
参考文献041
第二部分经典的密文策略属性加密方案
第3章模糊身份加密方案047
3．1相关定义049
3．1．1安全模型定义049
3．1．2安全假设050
3．1．3方案定义050
3．2方案设计050
3．3安全性证明052
参考文献054
第4章小规模属性集合下的CP-ABE方案055
4．1Bethencourt-Sahai-Waters的一般群模型下可证明安全的CP-ABE方案056
4．1．1相关定义057
4．1．2方案设计058
4．1．3安全性证明060
4．2Cheung-Newport的标准模型下可证明安全的CP-ABE方案061
4．2．1相关定义061
4．2．2方案设计063
4．2．3安全性证明065
4．3Waters的标准模型下可证明安全的支持任意访问结构的CP-ABE方案067
4．3．1相关定义068
4．3．2基于q-parallelBDHE假设的CP-ABE方案069
4．3．3基于确定性BDHE假设的CP-ABE方案072
4．3．4基于确定性BDH假设的CP-ABE方案076
4．4Lewko-Okamoto-Sahai的标准模型下适应性安全的CP-ABE方案079
4．4．1相关定义080
4．4．2方案构造081
4．4．3安全性证明082
参考文献088
第5章大规模属性集合下的CP-ABE方案089
5．1Waters的支持大规模属性集合的CP-ABE方案090
5．1．1相关定义091
5．1．2随机预言模型下可证明安全的CP-ABE方案092
5．1．3标准模型下可证明安全的CP-ABE方案095
5．2Rouselakis-Waters的支持大规模属性集合的CP-ABE方案099
5．2．1相关定义099
5．2．2方案设计101
5．2．3安全性证明103
参考文献107
第三部分功能扩展的密文策略属性加密方案
第6章访问策略隐藏的CP-ABE方案111
6．1引言112
6．2几个经典的访问策略隐藏的CP-ABE方案114
6．2．1Nishide-Yoneyama-Ohta的策略隐藏的CP-ABE方案114
6．2．2Lai-Deng-Li的策略隐藏的CP-ABE方案124
6．2．3Hur的策略隐藏的CP-ABE方案136
6．2．4宋衍等的策略隐藏的CP-ABE方案143
6．3无须密钥托管且访问策略隐藏的CP-ABE方案151
6．3．1系统模型151
6．3．2方案定义152
6．3．3安全模型153
6．3．4方案构造154
6．3．5安全性证明158
6．3．6方案分析与实验验证160
参考文献165
第7章可撤销存储的CP-ABE方案167
7．1引言168
7．2几个经典的可撤销存储的CP-ABE方案169
7．2．1Lee-Choi-Dong的可撤销存储的CP-ABE方案169
7．2．2Lee的可撤销存储的CP-ABE方案182
7．3弱假设下可证明安全的RS-CP-ABE方案199
7．3．1符号说明199
7．3．2方案定义200
7．3．3安全模型202
7．3．4方案构造204
7．3．5安全性证明210
7．3．6方案分析与实验验证216
参考文献221
第８章支持属性级用户撤销的CP-ABE方案223
8．1引言224
8．2几个经典的支持属性级用户撤销的CP-ABE方案225
8．2．1Liang-Lu-Lin的支持属性级用户撤销的CP-ABE方案225
8．2．2Hur-Noh的支持属性级用户撤销的CP-ABE方案236
8．2．3Yang-Jia-Ren的支持属性级用户撤销的CP-ABE方案244
8．2．4Shiraishi-Nomura-Mohri的支持属性级用户撤销的CP-ABE方案251
8．3基于广播加密的支持属性级用户撤销的CP-ABE方案258
8．3．1模型定义259
8．3．2小规模属性集合下基于广播加密的支持属性级用户撤销的CP-ABE方案260
8．3．3大规模属性集合下基于广播加密的支持属性级用户撤销的CP-ABE方案273
8．4基于KEK树的支持属性级用户撤销的CP-ABE方案284
8．4．1系统模型284
8．4．2相关定义285
8．4．3Hur等方案安全性分析288
8．4．4方案设计288
8．4．5安全性证明291
8．4．6方案分析及实验验证293
参考文献296
第9章多授权机构的CP-ABE方案299
9．1引言300
9．2几个经典的多授权机构的CP-ABE方案302
9．2．1Chase的多授权机构CP-ABE方案302
9．2．2Lewko-Waters的多授权机构CP-ABE方案306
9．2．3Liu-Cao-Huang的多授权机构CP-ABE方案320
9．3单中央机构多授权机构的CP-ABE方案329
9．3．1系统模型330
9．3．2相关定义331
9．3．3方案设计333
9．3．4安全性证明334
9．3．5方案分析及实验验证338
9．4多中央机构多授权机构的CP-ABE方案341
9．4．1系统模型341
9．4．2相关定义341
9．4．3方案设计344
9．4．4安全性证明346
9．4．5方案分析349
参考文献351
0章支持计算外包的CP-ABE方案353
10．1引言354
10．2几个经典的支持计算外包的CP-ABE方案356
10．2．1Green-Hohenberger-Waters的计算外包CP-ABE方案356
10．2．2Lai-Deng-Guan的计算外包CP-ABE方案361
10．2．3Li-Sha-Zhang的计算外包CP-ABE方案369
10．2．4Zhang-Ma-Lu的计算外包CP-ABE方案378
10．3支持加解密外包的CP-ABE方案386
10．3．1系统模型386
10．3．2相关定义387
10．3．3方案设计390
10．3．4安全性证明392
10．3．5方案分析及实验验证396
10．4支持完全外包的CP-ABE方案398
10．4．1系统模型399
10．4．2相关定义400
10．4．3方案设计402
10．4．4安全性证明404
10．4．5方案分析及实验验证407
参考文献410

本书围绕密文策略属性加密（Ciphertext-Policy Attribute Based Encryption，CP-ABE）技术展开研究与分析，介绍了CP-ABE技术的研究背景、研究现状和理论知识，并系统地阐明了当前CP-ABE方案的主要研究分支，介绍了几个典型CP-ABE方案的具体构造。同时介绍了几个功能扩展的CP-ABE方案构造，包括访问控制策略隐藏、可撤销存储、属性级用户撤销、多授权机构以及计算外包等，满足不同用户在不同应用领域和场景下的实际需求。本书既可作为对CP-ABE技术感兴趣的读者的入门教材，也可作为研究工作者的参考用书，同时适合密码学、信息安全、计算机及相关学科的高年级本科生、研究生、教师和科研人员阅读。