Win10中安装配置Scyther

最近需要对论文进行仿真,在安装过程中发现有一些坑,因此记录一下安装和配置Scyther的过程。

一、下载scyther

  1. 首先打开scyther官网。https://people.cispa.io/cas.cremers/scyther/index.html
  2. 下载对应的版本
    在这里插入图片描述
  3. 点开installation发现需要用到一些其他组件
    在这里插入图片描述

二、下载其他组件

  1. GraphViz下载最新版本即可
    在这里插入图片描述
  2. 需要使用python2,可以去官网上下载python 2.7
  3. 最坑的是wxPython,官网给的链接是其已经支持的最新版本。wx4.x。而scyther是依赖其旧版的。
    在给的链接最下方可以看到旧版的链接 https://sourceforge.net/projects/wxpython/files/wxPython/3.0.2.0/
    在这里插入图片描述
  4. 在其中选择win64位的版本下载即可
    在这里插入图片描述

三、安装scyther

所需组件下载完后,分别安装,然后解压scyther文件夹。在此文件夹中打开cmd,输入 python scyther-gui.py即可打开scyther。

在这里插入图片描述

ps:使用python2是因为同时安装了python2和python3,为了区别而把python.exe改成python2.exe。如果只安装了python2不必修改。

  • 2
    点赞
  • 11
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
SCYTHER是一个用于形式化安全协议分析的工具。根据引用的内容,为了在Windows上使用SCYTHER,需要进行以下几个步骤: 1. 首先,你需要安装Python 2.7版本。你可以从官方网站下载并安装Python 2.7。 2. 接下来,你需要安装wxPython库。你可以从wxPython项目的SourceForge页面下载适用于Windows的wxPython安装包。 3. 然后,你需要下载SCYTHER的压缩包,并将其解压到一个文件夹。 4. 最后,在Windows终端进入SCYTHER的文件夹,并运行命令`python scyther-gui.py`,即可启动SCYTHER的图形界面。 通过以上步骤,你就可以在Windows上使用SCYTHER进行安全协议的形式化分析了。如果你需要测试引用文献的代码,你可以按照文献提供的指导进行测试,并查看测试结果。<span class="em">1</span><span class="em">2</span><span class="em">3</span> #### 引用[.reference_title] - *1* *2* [scyther形式化分析工具简介和windows下的安装教程](https://blog.csdn.net/song_qing_8/article/details/128130994)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v92^chatsearchT3_1"}}] [.reference_item style="max-width: 50%"] - *3* [win11环境下配置Scyther](https://blog.csdn.net/weixin_66955118/article/details/130970754)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v92^chatsearchT3_1"}}] [.reference_item style="max-width: 50%"] [ .reference_list ]

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值