Ubuntu 16.04 LTSにProVerifをインストールする方法

Ubuntu 16.04 LTSにProVerifをインストールする方法についてまとめます。

インストール方法

1. ProVerifからソースコードをダウンロードします。
   
2. ダウンロードしたtarファイルを解凍します。
3. 端末を起動します。
4. sudo apt install opamコマンドを実行し、OCamlをインストールします。
5. 解凍したProVerifのディレクトリへ移動します。
6. ./buildコマンドを実行し、ProVerifをインストールします。
7. ~/.bashrcの末尾に以下を追記し、PATHが通るようにします。

追記

export PATH="{ProVerifのディレクトリ}:$PATH"

1. source ~/.bashrcコマンドを実行し、~/.bashrcへの変更を適用します。

関連記事

• セキュリティプロトコルの形式検証ツール“ProVerif” - Qiita
  ProVerifについてまとめられている記事です。
• Proverifを導入(MacとWindows編) - Qiita
  WindowsやMacの方はこちらの記事が参考になるかと思います。

参考文献

• User manual
• UbuntuにOCamlをインストールする - Qiita