摘要：属性基加密提供了全新的基于密码学的访问控制方案，适用于多用户数据共享场景，但由于加密阶段和访问策略更新过程的计算和通信开销较大，且现有的外包属性基加密方案大多数都没有提供面向数据拥有者的密文正确性验证方法，很大程度上限制了属性基加密的实际应用.针对上述问题，提出了一种支持动态策略更新和即时验证密文正确性的属性基外包加密方案，能够在不可信云环境下有效地保护数据的隐私性.方案根据外包加密原理设计策略更新过程，只需要完成少量计算即可生成更新密钥.利用双线性对的运算特性和解密运算结构设计密文验证算法，通过引入验证转换密钥使密文验证效率明显高于解密运算.方案根据不同的云环境模型设计了高效验证算法和严格验证算法，分别适用于诚实且好奇和不可信的云环境中.方案在标准模型下被证明满足选择明文攻击安全性.性能分析和效率对比表明，该方案的本地加密、策略更新和密文验证的计算量都有所减少，使得整体方案较现有方案更加轻量化，适用于资源受限设备的数据共享场景.
文章目录
1 相关知识
1.1 双线性对
1.2 访问结构
1.3 线性秘密共享
1.4 BDHE假设（q-bilinear Diffie-Hellman exponent assumption）
2 算法定义与安全模型
2.1 算法定义
2.2 安全模型
3 方案构造
4 方案分析
4.1 正确性分析
4.2 安全证明
4.3 安全性对比
4.4 理论性能分析
4.5 实验分析
5 结论
