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

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

#インストール方法
2. ProVerifからソースコードをダウンロードします。

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

追記

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

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

#関連記事

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

#参考文献

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