[论文解读] SecureABC: Secure AntiBody Certificates for COVID-19

Chris Hicks, David K. Butler+2 more|arXiv (Cornell University)|May 24, 2020

COVID-19 Digital Contact Tracing参考文献 26被引用 9

一句话总结

本文提出 SecureABC，一种去中心化、保护隐私的协议，用于签发和验证SARS-CoV-2抗体证书，以在COVID-19大流行期间实现更安全的社会重启。通过零知识证明和可验证凭证，SecureABC确保身份验证过程不暴露敏感健康数据，并通过一个功能完整的Android原型证明了其可行性，同时提供保护隐私的替代方案，以减轻歧视风险。

ABSTRACT

COVID-19 has resulted in unprecedented social distancing policies being enforced worldwide. As governments seek to restore their economies, open workplaces and permit travel there is a demand for technologies that may alleviate the requirement for social distancing whilst also protecting healthcare services. In this work we explore the controversial technique of so-called immunity passports and present SecureABC: a decentralised, privacy-preserving protocol for issuing and verifying antibody certificates. We consider the implications of antibody certificate systems, develop a set of risk-minimising principles and a security framework for their evaluation, and show that these may be satisfied in practice. Finally, we also develop two additional protocols that minimise individual discrimination but which still allow for collective transmission risk to be estimated. We use these two protocols to illustrate the utility-privacy trade-offs of antibody certificates and their alternatives.

研究动机与目标

• 解决在COVID-19大流行期间提出的集中式抗体证书系统所伴随的隐私和安全风险。
• 设计一种去中心化、保护隐私的协议，用于签发和验证抗体证书，以保护个人健康数据。
• 建立一个安全与隐私要求的框架，用于评估抗体证书系统。
• 通过SecureABC的原型Android实现，证明其实际可行性。
• 探索技术解决方案，以减少个体歧视风险，而无需完全依赖政策干预。

提出的方法

• 该协议使用零知识证明，实现抗体状态的验证，而无需暴露实际检测结果或个人身份。
• 采用W3C标准的可验证凭证和去中心化架构，消除对中心化权威机构的依赖。
• 基于QR码的认证机制使服务提供商能够通过客户端Android应用程序实现安全的离线验证。
• 使用零知识简洁非交互式知识论证（zk-SNARKs）等密码学原语，确保隐私性和效率。
• 设计了两种替代协议，通过仅披露群体风险水平而非个体免疫状态，最大限度减少歧视风险。
• 系统根据包含不可链接性、不可伪造性和最小数据暴露在内的正式安全与隐私属性框架进行评估。

实验结果

研究问题

• RQ1 如何在保护用户隐私并防止追踪的前提下签发和验证抗体证书？
• RQ2 哪些密码学和架构原则可确保抗体证书系统的安全性和去中心化？
• RQ3 技术解决方案在多大程度上可减轻健康相关歧视风险，而无需依赖政策执行？
• RQ4 去中心化的抗体证书系统在现实部署中的效率和实用性如何？
• RQ5 在揭示个体免疫状态与群体传播风险之间，实用性和隐私性之间存在怎样的权衡？

主要发现

• SecureABC成功实现了基于零知识证明和可验证凭证的去中心化、保护隐私的抗体证书系统，且无中心化机构持有用户数据。
• 概念验证的Android应用程序展示了在现实场景中通过QR码进行验证的实际可用性。
• 该系统满足所提出评估框架中定义的核心安全与隐私属性，包括不可链接性、不可伪造性和最小数据暴露。
• 引入了两种替代协议，仅披露群体风险水平，显著降低了个体歧视风险，同时保持了对公共卫生规划的实用性。
• 评估结果表明，SecureABC的效率足以支持实时验证，性能适合在标准移动设备上部署。
• 本工作为安全、保护隐私的健康认证提供了一个基础框架，其应用可超越COVID-19，扩展至其他公共卫生使用场景。