电子处方验证的隐私保护框架

《Array》：A privacy-preserving framework for electronic prescription verification

　　

电子处方系统支撑高效且可审计的药品调配。在处方验证过程中，药房需确认处方者授权、合法凭证持有以及符合有效期约束，同时限制敏感医疗信息的非必要披露，这在验证需求与数据最小化间形成根本张力。常规方法依赖全记录出示与绑定持久标识符的公钥基础设施（PKI）签名，虽支持真实性与问责，但披露过量信息并允许患者与处方者的跨交易关联；且有效期等受保护属性应在验证中保持隐藏。本文提出一种隐私保护处方验证框架，支持匿名可问责的医疗专业人员授权、通过BBS+处方凭证实现选择性披露与发行方认证的持有者公钥引用，以及对隐藏有效期属性的隐私保护验证。框架定义处方出示协议：患者向药房提交BBS+选择性披露出示证明、有效期承诺及两个Bulletproof区间证明。为解决凭证证明与有效性证明朴素组合引发的一致性缺口，协议通过公共有效期承诺连接各组件——该承诺的规范哈希作为发行方认证的BBS+凭证属性并在出示时视为已披露，两个区间证明承诺均由同一出示有效期承诺派生，药房先独立验证承诺哈希再验区间证明。在既定假设下，该构造缓解跨组件替换攻击。框架在明确威胁模型与信任假设下分析，协议级消息流经符号验证检视，概念验证实现在合成负载下评估密码操作的计算与通信开销，结果量化了既定实验范围内各配置下的密码处理与出示载荷开销。

研究背景方面，现代医疗广泛部署电子处方系统以支持可审计调配，但药房验证需同时满足处方源自授权医疗专业人员（HP）、凭证有效、符合有效期策略三项要求，而常规系统采用全文档出示加绑定持久标识符的PKI签名，导致患者敏感信息过度披露、处方者因持久标识符被纵向关联，且医疗问责又排斥完全匿名，形成验证与隐私的根本张力。GDPR与HIPAA仅规定合规原则而未提供选择性披露、不可链接性等技术属性。现有SSI方案如SovereignRx、HC-ZTIA未同时覆盖匿名可问责授权与隐藏属性有效期验证，且凭证证明与零知识区间证明朴素组合存在跨组件一致性缺口，恶意出示者可替换不同有效期值。为此，研究人员在《Array》发表该研究，旨在协调已有密码机制而非发明新原语，构建处方出示、验证、审计一致的隐私保护工作流。

关键技术方法上，框架组合三类机制：采用Boneh–Boyen–Shacham（BBS）群签名实现处方者匿名可问责授权，例行验证隐匿身份、审计时经授权去匿名；采用配对基BBS+凭证承载选择性披露与发行方认证的持有者公钥引用；采用两个Bulletproof区间证明验证隐藏剩余有效期非负且不超过策略上界。处方出示包由药房下发新鲜nonce与验证时间戳，患者生成BBS+选择性披露出示证明、有效期承诺C_exp及两区间证明，其中C_exp的规范哈希H(C_exp)作为BBS+认证属性披露，两区间证明承诺均从同一C_exp派生，药房先验H(C_exp)后验区间证明，以承诺绑定性弥合跨组件替换。

研究结果部分，第1节导论指出电子处方验证三性质与隐私过度披露、处方者可链接、凭证与有效期证明分离导致一致性缺口，列出匿名可问责授权、选择性披露含持有者公钥引用、隐藏有效期验证、安全分析与性能评估五项贡献。第2节背景中2.1小节归纳患者侧过度披露与动态有效期隐藏难题、处方者侧持久标识符链接性与匿名可问责需求、身份管理侧SovereignRx与HC-ZTIA能力缺失，以表1对照凸显本框架在隐藏有效期验证与凭证—有效性证明绑定上的唯一覆盖；2.2小节给出双线性配对群?_r、BBS群签名、BBS+签名及知识证明、Bulletproof区间证明的数学基础。第3节框架主体描述处方发行、出示、验证、审计流程：发行阶段HP经BBS群签名授权临时签发密钥，发行方签发含药品、持有者公钥引用、H(C_exp)等属性的BBS+凭证；出示阶段患者披露调配必需属性并生成证明包；验证阶段药房校验BBS+证明、H(C_exp)一致性及两区间证明；审计阶段经群签名打开识别责任处方者。第4节安全与隐私分析在明确威胁模型下论证匿名性、不可链接性、选择性披露、隐藏有效期保密性及抗跨组件替换，并以符号验证辅助协议消息流分析。第5节性能评估基于自定义概念验证实现，在合成负载下量化BBS+出示、两Bulletproof证明的生成与验证时间及通信载荷，表明密码开销可控但未测端到端部署成本。第6节讨论指出框架不引入新原语、依赖配对群与承诺绑定性假设，局限含Bulletproof证明尺寸随区间比特增长、未涉撤销与离线药房场景，未来可研递归证明聚合与审计密钥分权。

讨论与结论翻译部分，研究人员总结该框架通过BBS群签名、BBS+选择性披露凭证与Bulletproof区间证明的协同，以认证有效期承诺哈希为绑定锚点，在例行验证中隐匿处方者与有效期真实值、仅披露调配必需属性，并在审计时保留问责去匿名能力；概念验证评估显示密码操作开销处于实用量级。该工作填补了电子处方场景下匿名可问责授权、隐藏属性有效期验证与凭证—有效性证明密码一致性的研究空白，为合规驱动的数据最小化提供了可符号验证的协议级构造，其意义在于将隐私属性作为可证明安全目标而非仅合规声明嵌入处方生命周期。