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