随笔分类 -  proverif代码分析

proverif定义密码学算法汇总
摘要：时间：2022/09/11 说明：本文章是汇总自己在阅读proverif相关代码的时候对其中一些定义的密码学算法所进行的汇总 一. 级联 来源：https://github.com/purseclab/btmodel_proverif/blob/main/model/ssp.pv (* Concat 阅读全文
posted @ 2022-09-11 10:13 驰 阅读(285) 评论(0) 推荐(0) 编辑
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 驰 阅读(232) 评论(0) 推荐(0) 编辑

more_horiz
keyboard_arrow_up dark_mode palette
选择主题
点击右上角即可分享
微信分享提示