5、可比较属性基加密：CCP - CABE 方案解析

可比较属性基加密：CCP - CABE 方案解析

1. 多维范围推导函数（MRDF）

多维范围推导函数 (F: V \to V) 基于属性集 (U)，需满足以下两个条件：
1. 多项式时间可计算性 ：若对于所有 (A_i \in U)，有 (t_{i,j} \leq t_{i,j}’) 且 (t_{i,k} \geq t_{i,k}’)，则 (v_{ {t_{i,j}’,t_{i,k}’} {A_i \in U}} \leftarrow F { {t_{i,j}\leq t_{i,j}’,t_{i,k}\geq t_{i,k}’} {A_i \in U}}(v { {t_{i,j},t_{i,k}} {A_i \in U}})) 可在多项式时间内计算。
2. 不可推导性 ：若存在某个 (A_i \in U) 使得 (t {i,j} > t_{i,j}’) 或 (t_{i,k} < t_{i,k}’)，则任何概率多项式时间（PPT）算法都无法从 (v_{ {t_{i,j},t_{i,k}} {A_i \in U}}) 推导出 (v { {t_{i,j}’,t_{i,k}’}_{A_i \in U}})。

具体形式为：
[
\begin{align }
v_{ {t_{i,j}’,t_{i,k}’} {A_i \in U}} &\leftarro