11、基于属性加密与访问控制中的身份撤销机制

基于属性加密与访问控制中的身份撤销机制

在基于属性的加密和访问控制中，若先进行身份撤销（ID revocation），再使用基于密文策略的基于属性加密（CP - ABE），仍会存在合谋问题。因此，需要构建一种紧密耦合的支持身份撤销的 CP - ABE 解决方案，以防止合谋攻击。

语法与安全模型

可撤销身份的 CP - ABE 语法

可撤销身份的基于属性加密（IR - CP - ABE）由四个算法组成：
- Setup(U, I) ：给定属性全集描述 U 和身份集合 I，可信机构（TA）发布公钥 PK，同时保留主密钥 MSK。
- KeyGen(MSK, S, ID) ：TA 根据主密钥 MSK、用户的身份 ID 及其属性集合 S，为用户颁发私钥 SK。
- Encrypt(PK, (M, ρ), M, {IDj}) ：数据所有者依据公钥 PK、线性秘密共享矩阵 M 及其对应的属性映射 ρ、消息 M 和被撤销的身份集合 {IDj}，生成密文，并将其发送到公共存储位置。
- Decrypt(CT, SK) ：数据用户使用私钥 SK 对密文 CT 进行解密，从而获取消息 M。

安全模型

IR - CP - ABE 系统的安全定义源于基于身份的撤销框架和一般 CP - ABE 系统的安全定义。在该安全定义中，需考虑更强的攻击者，其属性满足挑战密文的属性访问策略，但身份处于撤销集合中。安全模型的具体流程如下：
1. Setup