多授权CP-ABE方案的安全模型

形式化定义

基本的形式化定义包含4个基本的多项式算法.
(1) 系统初始化:
Setup(λ ) → {PK, MSK}
输入安全参数λ \lambdaλ, 输出系统公钥PK和系统主私钥MSK.

(2) 私钥生成:
KeyGen(PK, MSK, S) → SK
输入公钥PK, 主私钥MSK, 属性集合S, 用户密钥SK.

(3) 数据加密:
Encrypt(PK, A, M) → CT
输入系统公钥PK , 访问结构A, 明文M, 输出密文CT.

(4) 数据解密:
Decrypt(PK, CT, SK) → M
输入公钥PK, 密文CT, 用户私钥SK, 输出明文M. 否则解密失败.

定义

如果没有多项式时间内的攻击者A \mathcal{A}A以不可忽略的优势攻破上述安全模型, 则称基本CP-ABE方案是安全的.