自动化验证工具CryptoVerif
本次为大家带来一个大佬开发的自动化验证工具CryptoVerif，用于机械化自动化验证各自协议的安全性。
只需要将该压缩包解压即可，无需安装。里面自带了多个例子。
Windows使用时，只需在解压的文件夹下输入cmd即可
输入以下指令即可运行：cryptoverif “路径名”
例如cryptoverif examples/basic/signedDH.ocv
运行结果如图：
打赏我,让我更有动力~
附件列表
cryptoverifbin2.04.zip 文件大小:5.26M (下载次数：9)
登录后才可发表内容
返回首页
闲聊灌水区
安全动态每天看
amdin
发表于 2021-6-24
不是很明白，验证什么协议
评论列表
加载数据中...