面向云电子健康记录的可验证可问责多授权方密文策略属性基加密方案（含同意绑定与撤销机制）

《Cryptography》：Verifiable and Accountable Multi-Authority CP-ABE with Consent Binding and Revocation for Cloud EHR

　　

在受监管的机构间电子健康记录（EHR）共享中，访问控制需兼顾患者同意、签发方问责与撤销正确性。现有多授权方密文策略属性基加密（MA-CP-ABE）方案虽实现去中心化属性管理，但通常未将密钥签发与密文使用绑定至显式患者授权共享事件，亦未主动验证所接受密钥包是否与已认证用户请求及当前撤销状态一致。研究人员提出一种面向云辅助EHR共享的可验证同意绑定MA-CP-ABE方案。该方案将密文与发放给用户的属性密钥包绑定至患者签名的同意标识符，支持请求一致的可验证密钥签发，集成撤销新鲜度与陈旧密钥检测，并提供由主动签发验证与被动追踪审计组成的双层问责框架。每个签发包进一步绑定至注册用户公钥及用户产生的承诺，支持受限指定用户投递。理论与实验评估表明，在既定信任与非合谋假设下，该设计在保持云EHR系统竞争计算效率的同时，强化了同意限定访问控制与问责性。

研究背景方面，电子健康记录（EHR）已成为全球医疗系统核心组件，云辅助EHR与物联网及移动健康设备深度集成，使高度敏感临床数据进入半可信或不可信环境，面临内部滥用、误配置与外部攻陷风险。细粒度可问责访问控制在跨机构临床工作流与科研中成为核心需求。密文策略属性基加密（CP-ABE）通过将访问策略嵌入密文、属性嵌入用户密钥实现一对多细粒度密码访问控制，多授权方CP-ABE（MA-CP-ABE）将属性管理分布于多授权方以去除单点信任。然而传统及现有MA-CP-ABE构造通常将签发密钥绑定至全局用户身份，不区分独立的患者授权共享事件，且多在获得可疑密钥后才做白盒追踪，缺乏入网时刻保证授权方为预期合法请求生成正确密钥的机制，亦未联合绑定患者签名同意上下文、已认证预签发请求与当前撤销纪元。

研究人员以Rouselakis–Waters去中心化MA-CP-ABE构造为基础，扩展提出可验证同意绑定方案。该方案引入患者生成并签名的同意标识符cid，将密文与属性密钥包密码绑定至cid；采用Schnorr证明结合Fiat–Shamir变换及EUF-CMA安全签名实现入网可验证签发；借助用户特定掩码因子T_u,i与用户产生承诺C_u,a将签发包绑定至注册用户公钥与请求记录承诺；通过每属性θ旋转层提供属性撤销与陈旧密钥检测；构建主动入网验证与被动审计追踪双层问责。结论上，在静态安全模型下该方案归约至RW15构造安全性，签发健全性、密钥不可抵赖性、用户与授权方双向抗诬陷及白盒可追踪性均得以满足；《Cryptography》刊发结果表明其在保持竞争计算效率的同时强化同意限定访问控制与问责。

关键技术方法上，研究人员基于素数阶双线性群系统，采用计算co-CDH假设与随机预言机模型；以LSSS表示单调访问结构；用Fiat–Shamir化的Schnorr非交互零知识证明（NIZKP）证明密钥正确形成；各用户持有长期绑定秘密y与公钥Y=g^y，授权方以掩码指数t_i生成T_u,i=Y^t_i实现指定用户绑定；患者侧生成cid=(pid,τ,R_pol,R_pur,σ_P)并签名；撤销采用每属性θ_a→θ'_a纪元旋转，授权方发布新公开撤销标签T_a=g^θ'_a，向云服务商（CSP）发送含Δ_a=θ'_a-θ_a的机密令牌，向未撤销持有者发送个性化更新令牌；入网验证算法由CSP执行，校验代数正确性、请求日志一致性、承诺包含与撤销标签新鲜度。

研究结果部分，引言指出MA-CP-ABE虽去中央化但未解决密钥滥用与入网验证缺口，本文贡献列明同意绑定框架、可验证签发、双层问责、θ旋转撤销与形式化评估五项。相关工作综述对比了RW15、Zhang等DH式掩码、Li等白盒问责、Liu等黑盒问责、Cui等强密钥不可伪造、Ren等区块链NIZK、Cheng等链上可验证分发，指出现有方案未联合绑定cid、请求日志、撤销纪元与用户承诺。预备知识给出双线性群、co-CDH、Fiat–Shamir、LSSS及DH式用户掩码定义。系统模型列实体含患者、医疗提供方、数据用户、属性授权方AA_i、CSP、仅追加请求日志L_req与审计方，信任假设中明确CSP诚实但好奇、L_req防篡改、AA可半可信 corrupted。安全模型形式化静态不可区分游戏及签发健全性、密钥不可抵赖性、Game1–Game5（含误签发检测、抗授权方诬陷、抗用户诬陷、白盒可追踪）。设计目标归纳为同意绑定、请求一致可验证、双层问责、撤销高效、安全外包解密。

提案方案分六阶段：全局与授权方初始化发布PK_i及属性纪元元数据；患者同意生成cid与私密开启ρ；用户注册产生Y与拥有证明，BindRequest生成C_u,a及PoK；授权方EnrollCheckAndBind校验目录与证明后追加入L_req；KeyGenWithProof生成K_u,a组件并附σ_i与π_iss；Encrypt由HP校验cid后以AES-GCM封装数据、CP-ABE封装对称密钥，行组件绑定(attr,cid,epoch)；VerifyIssuance由CSP校验π_iss、L_req匹配、T_a新鲜度；撤销经θ旋转、CSP密文更新、未撤销用户密钥更新三子算法；Decrypt去除T_u,i掩码后配对重构对称密钥。安全分析证明静态语义安全归约RW15，签发健全性依赖NIZKP抽取性与EUF-CMA，Game2显示恶意AA无法使畸形/陈旧/替换/未日志签发通过主动验证或逃避被动归因。性能评估在《Cryptography》报告与前沿方案比对的计算与通信开销，表明云EHR场景具竞争效率。

讨论与结论翻译：所提方案在既定信任与非合谋假设下，将每次属性密钥签发与密文密码绑定至患者签名同意事件，在入网时刻校验代数正确性、请求日志一致性、承诺包含与撤销新鲜度，并以被动审计补充主动验证，弥补了现有MA-CP-ABE未联合绑定同意、请求、撤销态与用户承诺的缺口；θ旋转撤销在轻量更新下阻断陈旧密钥解密；形式化游戏证明静态安全、签发健全性、双向抗诬陷与白盒可追踪；实验显示其于云EHR系统在保持竞争效率同时强化同意限定访问与问责，对受监管跨机构健康数据披露具合规支撑意义。