[論文レビュー] 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

ひとこと要約

本論文では、新型コロナウイルス感染症の流行期における社会の安全な再開を可能にするために、SARS-CoV-2抗体証明書の発行および検証を可能にする、分散型でプライバシーを保護するプロトコル「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.

研究の動機と目的

• 新型コロナウイルス感染症の流行期に提案された中央集権型抗体証明書システムに伴うプライバシーおよびセキュリティリスクに対処すること。
• 個人の健康データを保護する分散型でプライバシー保護型の抗体証明書の発行および検証プロトコルを設計すること。
• 抗体証明書システムを評価するためのセキュリティおよびプライバシー要件の枠組みを確立すること。
• SecureABCの概念実証用Android実装を通じた実用的妥当性の実証すること。
• 政策的対策に依存せずに、個人の差別リスクを低減する技術的解決策を検討すること。

提案手法

• プロトコルはゼロ知識証明を用いて、実際の検査結果や個人識別情報を露呈せずに抗体状態の検証を可能にする。
• W3C標準の検証可能クレームと分散アーキテクチャを採用することで、中央機関への依存を排除する。
• QRコードベースの認証メカニズムにより、クライアント側のAndroidアプリケーションを介して、サービス提供者が安全かつオフラインで検証を実行できる。
• ゼロ知識短縮非インタラクティブな知識証明（zk-SNARKs）などの暗号基盤を用いて、プライバシーと効率性を確保する。
• 個人の免疫状態ではなく集計されたリスクレベルのみを露呈することで、差別のリスクを最小限に抑える2つの代替プロトコルを設計した。
• リンク不能性、偽造不能性、最小限のデータ露呈性といった、形式的なセキュリティおよびプライバシー特性のフレームワークに基づき、システムを評価した。

実験結果

リサーチクエスチョン

• RQ1 ユーザーのプライバシーを保護し追跡を防ぐために、抗体証明書はどのように発行・検証可能か？
• RQ2 抗体証明書システムのセキュリティおよび分散化を保証するための暗号的およびアーキテクチャ的原則は何か？
• RQ3 政策的措置に依存せず、技術的解決策がどれほど健康に基づく差別リスクを低減できるか？
• RQ4 実際の展開において、分散型抗体証明書システムの効率性と実用性はどの程度か？
• RQ5 個々の免疫状態の公開と集計された感染伝播リスクの公開の間で、利便性とプライバシーのトレードオフはどのようなものか？

主な発見

• SecureABCは、ゼロ知識証明と検証可能クレームを用いて、ユーザーのデータを中央機関が保持しない分散型でプライバシー保護型の抗体証明書システムを実装した。
• 概念実証用Androidアプリケーションにより、実世界のシナリオにおけるQRコード検証の実用的利便性が示された。
• 提案された評価フレームワークで定義された、リンク不能性、偽造不能性、最小限のデータ露呈性といった、主要なセキュリティおよびプライバシー特性を満たしている。
• 2つの代替プロトコルが導入され、個々の免疫状態ではなく集計されたリスクレベルのみを露呈することで、個人差別のリスクを顕著に低減し、公衆衛生計画に有用性を維持している。
• 評価により、SecureABCはリアルタイムでの検証に十分な効率性を有しており、標準デバイスにおけるモバイル展開に適した性能であることが示された。
• 本研究は、COVID-19を越えて他の公衆衛生用途に応用可能な、安全でプライバシー保護型の健康証明の基盤となるフレームワークを提供している。