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