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虚拟机

下载完SPAN和virtual 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