Windows10安装Scyther v1.3.3

Scyther Tool介绍

Scyther是一种用于安全协议自动验证的工具，Scyther可以无限制的验证会话数和随机数的协议，Scyther可以表征协议，从而对所有可能的协议行为进行有限的表示。

Scyther已被用于分析IKEv1和IKEv2协议套件以及ISO / IEC 9798认证协议系列，该工具还已被用来在许多现有协议上发现新的多协议攻击。

1.从官网下载Scyther工具，划线部分为我选择的版本

URL：https://people.cispa.io/cas.cremers/scyther/

 

 

 2.下载并安装python2.7（比较简单所以省去）

3.安装wxPython 3.0.0

因为需要的是老版本而通过pip安装只能安装最新版本，所以需要通过自己手动安装老版本，下载URL：https://sourceforge.net/projects/wxpython/files/wxPython/3.0.0.0/

4.安装graphviz并配置环境变量，下载URL：https://graphviz.gitlab.io/_pages/Download/Download_windows.html

如果是默认路径安装，把C:\Program Files (x86)\Graphviz2.38\bin加入path。如果不是默认路径安装，环境变量需稍做调整。

验证安装是否成功，在cmd中输入dot --version

 

5.在Scyther存放路径下打开cmd（注意：文中的所有路径不要带有中文）

打开Scyther命令：python scyther-gui.py