隐私可验证的接触追踪
密码学与安全
2020-10-20 v1
摘要
我们提出PrYVeCT，一种隐私可验证的接触追踪系统。PrYVeCT同时作为一种授权框架，允许定义细粒度策略，特定设施可定义并应用这些策略以更好地建模其自身的访问规则。仅当用户展现出符合策略的接触轨迹时才被授权访问设施。策略评估过程在不披露用户个人数据的情况下进行。同时，每个用户可向第三方（如公共机构）证明其获得了某项授权。PrYVeCT利用不经意自动机求值来实现隐私保护的策略执行机制。
引用
@article{arxiv.2010.09303,
title = {Private-Yet-Verifiable Contact Tracing},
author = {Andrea Canidio and Gabriele Costa and Letterio Galletta},
journal= {arXiv preprint arXiv:2010.09303},
year = {2020}
}
备注
Submitted for publication