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

ab520025520025

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



./proverif 文件名　
　　二.Proverif Editor的安装（ubuntu条件下）与使用
　　以上安装完成后可以使用Proverif，但是这个界面是命令行界面，不是很友好，所以我们可以安装Proverif Editor
　　1.Proverif Editor运行条件
　　1.1 ProVerif
　　1.2 Python (>= 2.6)
　　1.3 PyGTK2
　　　　1.4 PyGTKSourceView2
　　2.安装 PyGTK2



sudo apt-get install -y python-gtk2
　　3.安装PyGTKSourceView2



sudo apt-get install -y python-gtksourceview2
　　4.简单使用
　　从命令行进入proverif editor源代码文件夹，输入



python editor.py