下面主要介绍在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)从htt