Proverif Installation

ProVerif is compatible with the Linux, Mac, and Windows operating systems; it can be downloadedfrom:

http://proverif.inria.fr/

The remainder of this section covers installation on Linux,Mac, and Windows platforms.

Installation via OPAM

ProVerif has been developed using Objective Caml (OCaml) and OPAM is the package manager ofOCaml. Installing via OPAM is the simplest, especially if you already have OPAM installed.

OPAM installed

If you do not already have OPAM installed, download it from

https://opam.ocaml.org/

and install it.

or

1
brew install opam

opam update

If you already have OPAM installed, run

1
opam update

Opam has not been initialised, please run `opam init’

1
opam init

to make sure that you get the latest version of ProVerif.

Run

1
2
3
opam depext conf-graphviz
opam depext proverif
opam install proverif

⚠️⚠️注意:

The first line installs graphviz, if you do not already have it. You may also install it using thepackage manager of your Linux, OSX, or cygwin distribution,especially if opam fails to install it.It is needed only for the graphical display of attacks.

The second line installs GTK+2 including development libraries, if you do not already have it. You mayalso install it using the packagemanager of your distribution. It is needed for the interactive simulatorproverifinteract. 【 [见问题处理] (#problem) 】

Thethird line installs ProVerif itself and its OCaml dependencies. ProVerif executables are in~/.opam/〈switch〉/bin, which is in thePATH, examples are in~/.opam/〈switch〉/doc/proverif, andvarious helper files are in~/.opam/〈switch〉/share/proverif. The directory〈switch〉is the opamswitch in which you installed ProVerif, by defaultsystem.

01

02

03

⚠️问题处理

Mac上配置GTK

GTK version 2+

1
2
brew install pkg-config
brew install gtk+3 or brew install gtk+
-------------本文结束感谢您的阅读-------------

本文标题:Proverif Installation

文章作者:Cryptohkk

发布时间:2019年01月21日 - 21:01

最后更新:2019年01月21日 - 21:01

原始链接:https://hkkhuang.cn/2019/01/21/Proverif-Installation/

许可协议: 署名-非商业性使用-禁止演绎 4.0 国际 转载请保留原文链接及作者。