AVISPA编译工具SPAN虚拟机的安装和简单使用教程

1. 什么是AVISPA

真是对不起提问的大家了,我好像没说清楚AVISPA是什么了。

根据官网的定义来吧:

AVISPA stands for Automated Validation of Internet Security Protocols and Applications.

翻译下:AVISPA是一种用于自动证明网络安全协议与应用的工具集。

贴一下AVISPA的官网地址:http://www.avispa-project.org/

2. SPAN下载

AVISPA的工具包集成在了一个叫SPAN的虚拟机上,贴一下SPAN的官网:http://people.irisa.fr/Thomas.Genet/span/

SPAN下载链接(就是在官网里摘的):http://people.irisa.fr/Thomas.Genet/span/span_on_ubuntu10.ova

(我发现官网下载奇慢无比,不知道是不是我的网的问题,我把这个包上传到百度云上吧,这样大家下下来能快一点:链接:https://pan.baidu.com/s/17hwjRws-BwDywdOqPsudYQ 提取码:9y2m。我试了下,下载能比官网的下载链接快一点,不过百度网盘好像有限速,所以要是大家有更好的下载链接或者共享网盘推荐,欢迎留言哦~)

SPAN是一个ova结尾的虚拟机,需要下载虚拟机软件virtual box才能打开。

3. Virtual Box下载教程

virtual box下载链接:https://www.virtualbox.org/wiki/Downloads
在这里插入图片描述

4个版本,按自己的系统选,安装教程百度经验里有,我就不贴了,基本一步到位,一直按下一步就行了。

4. 配置SPAN虚拟机

下载完SPANvirtual box后,找到SPAN的虚拟机,默认的名字应该是这个:[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传在这里插入图片描述
右键–>‘打开方式’–> ‘VirtualBox Manager’:
在这里插入图片描述

跳出来下面这个界面以后,点‘导入’:

在这里插入图片描述
他就会自动安装这个虚拟机:

在这里插入图片描述

里面已经有的3个是我当时用的虚拟机…,安装完后新的虚拟机会显示在这里:

在这里插入图片描述
双击启动,报了个USB 2.0没配置的错误:

在这里插入图片描述
需要在设置里把USB配置取消掉,(去掉‘V’就行了,然后点’OK’):
在这里插入图片描述
在这里插入图片描述

再重新双击,刚刚那个虚拟机,就能打开了,刚开始的时候界面是这样的:
在这里插入图片描述
注一下里面比较重要的一些文件:

在这里插入图片描述

然后给大家运行一个示范一下哈,双击打开‘SPAN’,点这个‘File’打开你已经写好的AVISPA代码(一般选第2个,我忘记两个的区别了,好像是后缀名的区别,文件后缀名要跟这里选的一样):

在这里插入图片描述
我就随便打开一个示例文件好了:

在这里插入图片描述

代码就会直接读入到这个输入框里:

在这里插入图片描述

所以大家要是是自己写的代码,直接复制粘贴到输入框里就行了,不需要‘open file’,是一样的。

然后点Execute就行了。跑出来的结果还是在这个输入框里面(要是代码有问题,就会报错,所以这就是我不建议直接在编译器里写的原因,因为输入的文本会被覆盖掉):

在这里插入图片描述
我突然发现,点一下’View HLPSL‘,就能回到输入的文本,打扰了!!!

然后有个很高级的,就是它进行一个动态的协议模拟(点Protocol simulation,我画红框框的地方可以双击选择当前输入的动作):
在这里插入图片描述

然后还有注入和攻击模拟,就是隔壁俩按钮,不赘述了。

这就是我知道的全部了,要进阶的大家请认真阅读开发者提供的说明文档吧~ 加油加油

AVISPA语法入门级教程:https://blog.csdn.net/qq_33877253/article/details/103266102#comments_12697985

评论 13
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值