AVISPA的工具包集成在了一个叫SPAN的虚拟机上，而SPAN虚拟机需要下载虚拟机软件virtual box才能打开。