Loading

2022年8月23日
proverif代码分析（一）：SpreadMeNot: A Provably Secure and Privacy-Preserving Contact Tracing Protocol
摘要： 时间：2022/08/23 一. 协议描述 论文题目：SpreadMeNot: A Provably Secure and Privacy-Preserving Contact Tracing Protocol 这篇论文提出了针对新冠疫情感染的跟踪协议，具体协议流程如下： 上图中Fig.4描述的是U 阅读全文
posted @ 2022-08-23 16:27 驰 阅读(204) 评论(0) 推荐(0) 编辑