[논문 리뷰] SecureABC: Secure AntiBody Certificates for COVID-19

Chris Hicks, David K. Butler외 2명|arXiv (Cornell University)|2020. 05. 24.

COVID-19 Digital Contact Tracing참고 문헌 26인용 수 9

한 줄 요약

이 논문은 코로나19 팬데믹 기간 동안 사회의 안전한 재개를 가능하게 하기 위해 SARS-CoV-2 항체 증명서를 발급하고 검증하기 위한 탈중앙화되고 프라이버시를 보장하는 프로토콜인 SecureABC을 제안한다. 영구적 증명과 검증 가능 자격 증명을 사용함으로써, 민감한 건강 데이터를 폭 lộ하지 않은 채 신원 확인을 보장하며, 실용성을 입증하기 위해 안드로이드 프로토타입을 구현하고, 차별 위험을 완화하기 위한 프라이버시 보존 대안을 제공한다.

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.

연구 동기 및 목표

• 코로나19 팬데믹 기간 동안 제안된 중앙집중식 항체 증명서 시스템과 관련된 프라이버시 및 보안 위험을 해결하기 위해.
• 개인 건강 데이터를 보호하는 탈중앙화되고 프라이버시를 보장하는 항체 증명서 발급 및 검증을 위한 프로토콜을 설계하기 위해.
• 항체 증명서 시스템을 평가하기 위한 보안 및 프라이버시 요구사항 프레임워크를 수립하기 위해.
• SecureABC의 개념적 실현 가능성을 입증하기 위해 안드로이드 프로토타입을 활용한 개념 증명을 수행하기 위해.
• 정책적 조치에만 의존하지 않고도 개인의 차별 위험을 줄이기 위한 기술적 해결책을 탐색하기 위해.

제안 방법

• 프로토콜은 영구적 증명을 사용하여 실제 검사 결과나 개인 신원을 폭 lộ하지 않고도 항체 상태를 검증할 수 있도록 한다.
• W3C 표준 검증 가능 자격 증명과 탈중앙화 아키텍처를 활용하여 중앙 기관 의존도를 제거한다.
• QR 코드 기반 인증 메커니즘이 서비스 제공자가 클라이언트 기반 안드로이드 애플리케이션을 사용해 오프라인으로 안전하게 검증할 수 있도록 한다.
• 영구적 증명의 효율성과 프라이버시를 보장하기 위해 영구적 간결한 비상호작용 지식 증명(ZK-SNARKs)과 같은 암호 기반 원리가 사용된다.
• 개인의 면역 상태가 아닌 집단 위험 수준만 공개함으로써 차별을 최소화하기 위한 두 가지 대체 프로토콜이 설계된다.
• 보안 및 프라이버시 성질의 공식 프레임워크에 따라 시스템이 평가되며, 이는 연결 불가능성, 위조 불가능성 및 최소한의 데이터 노출을 포함한다.

실험 결과

연구 질문

• RQ1 사용자 프라이버시를 보장하고 추적을 방지하기 위해 항체 증명서는 어떻게 발급하고 검증할 수 있는가?
• RQ2 항체 증명서 시스템의 보안성과 탈중앙화를 보장하기 위해 어떤 암호 기반 원리와 아키텍처 원칙이 사용될 수 있는가?
• RQ3 정책 집행에 의존하지 않고도 기술적 해결책이 건강 기반 차별 위험을 어느 정도 완화시킬 수 있는가?
• RQ4 실제 배포 상황에서 탈중앙화된 항체 증명서 시스템은 얼마나 효율적이고 실용적인가?
• RQ5 개인 면역 상태를 공개하는 것과 집단 전파 위험 수준을 공개하는 것 사이의 유틸리티-프라이버시 트레이드오프는 어떠한가?

주요 결과

• SecureABC는 영구적 증명과 검증 가능 자격 증명을 사용하여 중앙 기관이 사용자 데이터를 보유하지 않는 탈중앙화되고 프라이버시를 보장하는 항체 증명서 시스템을 성공적으로 구현하였다.
• 개념 증명용 안드로이드 애플리케이션은 실세계 상황에서 QR 코드 검증을 위한 실용적 사용성을 입증하였다.
• 제안된 평가 프레임워크에 정의된 핵심 보안 및 프라이버시 성질, 즉 연결 불가능성, 위조 불가능성, 최소한의 데이터 노출을 모두 충족하였다.
• 집단 위험 수준만 공개하는 두 가지 대체 프로토콜이 도입되어 개인의 차별 위험을 크게 감소시키면서도 공중 보건 계획에 대한 유틸리티를 유지하였다.
• 평가 결과, SecureABC는 실시간 검증에 충분히 효율적이며, 표준 기기에서의 모바일 배포에 적합한 성능을 보였다.
• 이 작업은 코로나19를 초월해 다른 공중 보건 활용 사례로 확장 가능한 안전하고 프라이버시를 보장하는 건강 증명서 기반 프레임워크를 제공한다.