44、可验证分层密钥分配方案与基于信任和八卦的ABAC模型

可验证分层密钥分配方案与基于信任和八卦的ABAC模型

可验证分层密钥分配方案

在密码学领域，可验证分层密钥分配方案（VHKAS）是保障信息安全的重要手段。下面将详细介绍其具体实例、密钥替换处理以及与其他分层密钥分配方案的比较。

具体实例

我们使用确定性消息锁定加密（MLE）方案 $\Pi(q) {det}$ 来实例化相关方案。$\Pi(q) {det}$ 以对称密钥加密方案 $SE = (K, E, D)$ 为构建模块，同时使用两个哈希函数 $H_1 : {0, 1}^ \to {0, 1}^{\tau}$ 和 $H_2 : {0, 1}^ \to {0, 1}^{\rho}$，其中 $\rho$ 为随机性长度。若 $SE$ 是IND - CPA安全方案，且 $H_1$ 和 $H_2$ 被建模为随机预言机，那么对于任意 $T = poly(\tau)$ 和任意 $k = \omega(log\tau)$，$\Pi(q)_{det}$ 是 $q$ - 查询 $(T, k)$ - 源PRV - CDA2安全的。

$\Pi(q) {det} = (PPGen, KD, Enc, Dec, EQ, Valid)$ 的具体定义如下：
- 参数生成算法（PPGen） ：输入 $1^{\lambda}$，该算法选择两个哈希函数 $H_1 : {0, 1}^ \to K$ 和 $H_2 : {0, 1}^ \to {0, 1}^{\rho}$，并输出公共参数 $pp = (H_1, H_2, q)$。
- 密钥派生函数（K