论坛首页 > 闲聊灌水区

自动化验证工具CryptoVerif

dominate_gamma · 发表于 2021-06-17 15:27:41 · 闲聊灌水区

本次为大家带来一个大佬开发的自动化验证工具CryptoVerif，用于机械化自动化验证各自协议的安全性。
只需要将该压缩包解压即可，无需安装。里面自带了多个例子。
Windows使用时，只需在解压的文件夹下输入cmd即可

输入以下指令即可运行：cryptoverif “路径名”
例如cryptoverif examples/basic/signedDH.ocv
运行结果如图：