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

一.Proverif的安裝與使用 1.首先從 http://prosecco.gforge.inria.fr/personal/bblanche/proverif/ 下載源代碼 2.然后解壓進入該目錄下，使用 ./build命令 注意事項：在執行第二步的時候，需要OCaml環境，具體參考 ...