ProVerif manual

【文件属性】：

文件名称：ProVerif manual

文件大小：1.1MB

文件格式：PDF

更新时间：2021-11-18 14:44:06

学习手册

形式化分析工具，可以帮助我们在构建了认证协议后给出我们方案的安全性证明。