关于协议安全分析工具Proverif 以及Proverif Editor的安装与使用

一.Proverif的安装与使用 1.首先从 http://prosecco.gforge.inria.fr/personal/bblanche/proverif/ 下载源代码 2.然后解压进入该目录下，使用 ./build命令 注意事项：在执行第二步的时候，需要OCaml环境，具体参考 ...