11、基于属性加密的对偶谓词转换技术解析

基于属性加密的对偶谓词转换技术解析

1. 研究背景与目标

在密码学领域，基于属性的加密（ABE）是一种重要的加密技术，它允许根据数据的属性和用户的属性来控制数据的访问。本文围绕ABE的对偶谓词转换展开研究，旨在解决现有转换方法的局限性，实现更高效、安全的加密方案。研究目标包括构建新的CP - DSE方案并证明其安全性，提出通用的对偶转换方法，以及实现多种完全安全的ABE系统。

2. 研究方法与思路

• 重新审视框架 ：回顾已有ABE构造框架，明确密文CT和密钥SK的形式，以及对谓词R的对编码方案的要求。
• 对偶转换思路 ：将密钥编码用于定义对偶谓词中的密文编码，反之亦然。但在证明计算安全性的可保存性时存在困难，通过模拟变量 ¯φ 建立从 k 到 ¯k 的“链接”来解决。
• 放宽选择概念 ：为使转换过程中安全属性得以保留，放宽选择概念，虽然这会影响最终ABE的归约紧密度，但仍能实现完全安全的加密。

3. 相关基础概念

• 谓词家族 ：考虑谓词家族 R = {Rκ}κ∈Nc，其中 Rκ 是将密钥属性和密文属性映射到 {0, 1} 的谓词函数。
• 对偶谓词 ：对于谓词 R，其对偶谓词 ¯R 定义为 ¯X = Y，¯Y = X，且 ¯R(X, Y ) := R(Y, X)。
• ABE语法 ：包括