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

一.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