论文标题
接触跟踪的强大歧义
Robust ambiguity for contact tracing
论文作者
论文摘要
“分散”联系跟踪架构的已知缺点是与受感染者保持联系的用户能够精确地识别相关的联系，从而可以确定受感染者。在他们的提案中，契约团队讨论了一个简单的基于DH的协议来减轻此问题，但由于可能会偏离指定行为的恶意用户而忽略了此问题。本说明提出了一个修改后的协议，该协议可针对完全恶意的用户实现鲁棒性，并建立了一些简单的安全属性。
A known drawback of `decentralised' contact tracing architectures is that users who have been in contact with an infected person are able to precisely identify the relevant contact, and thereby perhaps identify the infected person. In their proposal, the PACT team discuss a simple DH-based protocol to mitigate this problem, but dismiss it because it is vulnerable to a malicious user who may deviate from the specified behaviour. This note presents a modified protocol which achieves robustness against a fully malicious user, and establishes some simple security properties.
