2017年11月7日
关于协议安全分析工具Proverif 以及Proverif Editor的安装与使用
摘要： 一.Proverif的安装与使用 1.首先从 http://prosecco.gforge.inria.fr/personal/bblanche/proverif/ 下载源代码 2.然后解压进入该目录下，使用 ./build命令 注意事项：在执行第二步的时候，需要OCaml环境，具体参考 http: 阅读全文
posted @ 2017-11-07 17:02 GoodboyBin 阅读(2958) 评论(0) 推荐(0) 编辑