自动化验证工具CryptoVerif

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

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

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

打赏我,让我更有动力~

Attachment List

cryptoverifbin2.04.zip   File Size:5.26M (Download Count:6)

1 Reply   |  Until 2021-6-24 | 508 View

amdin
发表于 2021-6-24

不是很明白,验证什么协议

评论列表

  • 加载数据中...

编写评论内容
LoginCan Publish Content
返回顶部 投诉反馈

© 2016 - 2022 掌控者 All Rights Reserved.