セキュリティプロトコルの形式検証ツール“ProVerif” - Qiitaはじめに ProVerifとは、INRIAが開発したセキュリティプロトコルを形式検証するツールである。この記事ではProVerifによるプロトコルの形式検証のやり方の基礎を解説する。なお、この記事では2015年10月時点での最新版であるProVerif 1.91について解説する。 この文章を読んで何か気がついたことがあったら、コメントなどで気軽に指摘して欲しい。 インストールと入手 次のようにインストールできる。また、現在はEmacs用のモードが提供されているので、Emacsも併せてインストールするといいかもしれない1。 OS X
