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