Ubuntu 16.04 LTSにProVerifをインストールする方法
Ubuntu 16.04 LTSにProVerifをインストールする方法についてまとめます。
インストール方法
-
ProVerifからソースコードをダウンロードします。
- ダウンロードしたtarファイルを解凍します。
- 端末を起動します。
-
sudo apt install opam
コマンドを実行し、OCamlをインストールします。
- 解凍したProVerifのディレクトリへ移動します。
-
./build
コマンドを実行し、ProVerifをインストールします。
-
~/.bashrc
の末尾に以下を追記し、PATHが通るようにします。
追記
export PATH="{ProVerifのディレクトリ}:$PATH"
-
source ~/.bashrc
コマンドを実行し、~/.bashrc
への変更を適用します。
関連記事
-
セキュリティプロトコルの形式検証ツール“ProVerif” - Qiita
ProVerifについてまとめられている記事です。
-
Proverifを導入(MacとWindows編) - Qiita
WindowsやMacの方はこちらの記事が参考になるかと思います。
参考文献
sudo apt install opam
コマンドを実行し、OCamlをインストールします。./build
コマンドを実行し、ProVerifをインストールします。~/.bashrc
の末尾に以下を追記し、PATHが通るようにします。追記
export PATH="{ProVerifのディレクトリ}:$PATH"
source ~/.bashrc
コマンドを実行し、~/.bashrc
への変更を適用します。-
セキュリティプロトコルの形式検証ツール“ProVerif” - Qiita
ProVerifについてまとめられている記事です。 -
Proverifを導入(MacとWindows編) - Qiita
WindowsやMacの方はこちらの記事が参考になるかと思います。
参考文献
Author And Source
この問題について(Ubuntu 16.04 LTSにProVerifをインストールする方法), 我々は、より多くの情報をここで見つけました https://qiita.com/SUZUKI_Masaya/items/cf861f07281a51ca7a4a著者帰属:元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .