AVISPA一种用于自动证明网络安全协议与应用的工具集

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

根据官网的定义来吧：

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

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

贴一下AVISPA的官网地址：http://www.avispa-project.org/
安装可参考https://blog.csdn.net/qq_33877253/article/details/107111450

2. SPAN下载

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