论文标题
纯：用于分析基于接近性的接触示踪协议的框架
PURE: A Framework for Analyzing Proximity-based Contact Tracing Protocols
论文作者
论文摘要
已经提出并部署了许多基于接近度的跟踪（PCT）协议，以打击Covid-19的扩散。在本文中，我们采用一种系统的方法来分析PCT协议。我们从隐私，实用程序，弹性和效率（纯）的四个方面（纯）确定了接触跟踪设计的所需属性列表。我们还确定了PCT协议的两个主要设计选择：患者向服务器报告哪些信息，哪些方执行匹配。这两种选择决定了大多数纯属性，并使我们能够对现有协议进行全面分析和比较。
Many proximity-based tracing (PCT) protocols have been proposed and deployed to combat the spreading of COVID-19. In this paper, we take a systematic approach to analyze PCT protocols. We identify a list of desired properties of a contact tracing design from the four aspects of Privacy, Utility, Resiliency, and Efficiency (PURE). We also identify two main design choices for PCT protocols: what information patients report to the server, and which party performs the matching. These two choices determine most of the PURE properties and enable us to conduct a comprehensive analysis and comparison of the existing protocols.
