协议安全分析工具Proverif 和Proverif Editor的安装与使用

本方法次用Linux系统（以Ubuntu为例）

1.Proverif的安装与使用

a.首先下载源码：http://prosecco.gforge.inria.fr/personal/bblanche/proverif/

b.然后解压进入该目录，使用./build命令进行编译。

此步骤需要OCaml环境，具体可以参考：OCaml安装_不停止编码的脚步-CSDN博客

c.使用

从命令行进入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