ProVerif工具的安装

下面主要介绍在Windows系统下的安装：
（下面为我自己安装的完整过程）

1. 安装graphviz

要ProVerif可能找到的攻击的图形表示，则需要安装graphviz。
下载链接：graphize 官网
https://graphviz.gitlab.io/_pages/Download/Download_windows.html。
下载完成后将Graphviz安装目录的bin子目录添加到系统环变量Path路径中。
我选择的是graphviz-5.0.0（64bit)

2. 安装GTK+2.24

要运行交互式模拟器和交互式交互，则需要安装GTK+2.24。
下载链接: GTK+2.24下载gtk±bundle_2.24.10-20120208_win32.zip。在C：\GTK目录中解压缩它，并将C：\GTK\bin添加到环境变量路径中。

（3）从http://proverif.inria.fr/下载Windows二进制文件包proverifbin2.04.tar.gz和文档文件包proverifdoc2.04.tar.gz
（4）将第三步下载的压缩包解压同一目录中的proverifbin2.04.tar.gz和proverifdoc2.04.tar.gz存档。至此基本安装完成。（有proverif editor工具目前没有找到安装教程）

free c:channel.

free Id:bitstring [private].
free Pa:bitstring [private].

query attacker(Id).
query attacker(Pa).

process
	out(c,Id);
	0