關於協議安全分析工具Proverif 以及Proverif Editor的安裝與使用

一.Proverif的安裝與使用

1.首先從 http://prosecco.gforge.inria.fr/personal/bblanche/proverif/ 下載源代碼

2.然后解壓進入該目錄下，使用 ./build命令

注意事項：在執行第二步的時候，需要OCaml環境，具體參考 http://blog.csdn.net/aviat0r/article/details/39557295

3.簡單使用

從命令行進入proverif源代碼文件夾，輸入

./proverif 文件名　

 

 

二.Proverif Editor的安裝（ubuntu條件下）與使用

以上安裝完成后可以使用Proverif，但是這個界面是命令行界面，不是很友好，所以我們可以安裝Proverif Editor

1.Proverif Editor運行條件

　　1.1 ProVerif

　　1.2 Python (>= 2.6)

　　1.3 PyGTK2

　　1.4 PyGTKSourceView2 

2.安裝 PyGTK2

sudo apt-get install -y python-gtk2

3.安裝 PyGTKSourceView2

sudo apt-get install -y python-gtksourceview2

4.簡單使用

從命令行進入proverif editor源代碼文件夾，輸入

python editor.py