Ubuntu18.04 安装Proverif 和Syther_tool

Proverif安装
- 安装ocaml4.05
- 安装graphviz
- 安装GTK+2.24
- 安装LabelGTK2
- 安装ProVerif
- Proverif docs
- ProVerif Editor安装(可选)
Scyther_Tool
- 安装
- 运行

Proverif安装

Proverif官网：链接
以下安装基于官网的README
其需要以下依赖,安装可以参考源码中的README文件：
Caml 4.03+
graphviz
GTK+2.24
LabelGTK2

安装ocaml4.05

建议换清华源

sudo add-apt-repository ppa:avsm/ppa
sudo apt-get update
sudo apt-get install opam ocaml

我这样安装的ocaml版本为4.05，如果在后续的安装中出现can't use ocamlfind可以使用以下命令进行下载sudo apt-get install ocaml-findlib安装ocamlfind。
此处给出官网的方法链接：官网给出的方法

安装graphviz

借鉴在Scyther_Tool中安装方法，即：
Note for Ubuntu users: If you are using a recent version of Ubuntu, you can simply enter ‘sudo apt-get install graphviz’

sudo apt-get install graphviz

安装GTK+2.24

该依赖安装的版本为GTK+2.24.32，需要下载相应的数据包。
Ubuntu18已经回归主流Linux桌面gnome,所以在搭建gtk开发环境时，不需要再额外安装gnome。
安装GNU编译链工具：

sudo apt-get install build-essential

首先使用解压命令对GTK的数据包进行解压，之后查看GTK的INSTALL文件：

gzip -cd gtk+-2.24.32.tar.gz | tar xvf - xxx
cd gtk+-2.24.32
sudo make
sudo make install

该部分参考链接

安装LabelGTK2

版本：labelgtk2.18.8，数据包下载链接
在下载相应的版本是需要注意该版本需要的ocaml的版本要求，labelgtk2.18.8需要ocaml4.05以上

./configure
#make world:to compile with all supported options enabled (libgl, libglade, libgnomecanvas, librsvg, native compilation, thread support)
#只输入make在在build proverif时出现缺少.cmax文件
sudo make world
sudo make install

安装ProVerif

进入proverif文件下

./build

在完成之后可以输入进行验证

./proverif [filename]

如输入(下面运行的文件在proverif docs中)：

./proverif ./docs/NeedhamSchroederPK-corr-ake-hNaNb.pv

得到以下验证结果

--------------------------------------------------------------
Verification summary:Query not attacker(secretA[]) is true.Query inj-event(termI(x,B[],m_2)) ==> inj-event(acceptsR(x,B[],m_2)) is true.Query inj-event(termR(A[],x,k_1,m_2)) ==> inj-event(acceptsI(A[],x,k_1,m_2)) is true.Query event(termR(A[],x,k_1,m_2)) && event(acceptsI(A[],x,k',m_2)) ==> k_1 = k' is true.Query event(termR(x,y,k_1,m_2)) && event(acceptsI(x',y',k_1,m')) ==> x = x' && y = y' is false.--------------------------------------------------------------

Proverif docs

Proverif docs可以提供丰富的示例供初学者学习，在网站有相应的文档下载链接，下载之后将该压缩包与proverif包放在同级目录下，解压之后，在proverif文件夹下的docs文件内容就被替换了，此时docs文件夹下存在了一些协议的程序。

ProVerif Editor安装(可选)

从上面的描述我们可以发现，ProVerif基于命令行的分析，ProVerif Editor建立了图形化界面
1、Proverif Editor运行条件

ProVerif
Python (>= 2.6)
PyGTK2
PyGTKSourceView2

2、安装 PyGTK2

sudo apt-get install -y python-gtk2

3、安装 PyGTKSourceView2

sudo apt-get install -y python-gtksourceview2

4、简单使用
从命令行进入proverif editor源代码文件夹，输入

python editor.py

Scyther_Tool

安装

Ubuntu18.04这部分安装很简单，参考官网安装方法即可
Note for Ubuntu users: If you are using a recent version of Ubuntu, you can simply enter ‘sudo apt-get install graphviz python python-wxgtk3.0’ on the command line and continue at ‘Running Scyther’ below.
即：

sudo apt-get install graphviz python python-wxgtk3.0

运行

在文件目录下键入：

./scyther-gui.py

界面如下：

至此安装结束

Ubuntu18.04 安装Proverif 和Syther_tool相关推荐

Ubuntu18.04安装教程及SLAM常用软件安装教程
文章目录前言 Ubuntu18.04安装教程一.准备工作 1.1.下载ubuntu镜像 1.2.制作U盘启动项 1.3.给ubuntu分配硬盘空间二安装ubuntu18.04系统 2.1.设置 ...
Ubuntu18.04安装g2o，及问题解决_HyperZhu的博客-CSDN博客_ubuntu18.04安装g2o
Ubuntu18.04安装g2o,及问题解决_HyperZhu的博客-CSDN博客_ubuntu18.04安装g2o sudo apt-get install cmake libeigen3-dev ...
linux18.04安装显卡驱动,详细介绍ubuntu18.04安装NVIDIA显卡驱动（亲测有效！）
详细介绍ubuntu18.04安装NVIDIA显卡驱动(亲测有效!) 详细介绍ubuntu18.04安装NVIDIA显卡驱动(亲测有效!) 详细介绍ubuntu18.04安装NVIDIA显卡驱动(亲测 ...
Ubuntu18.04安装Dlib-19.19.0成功
VMware内Ubuntu18.04安装Dlib-19.19.0成功本人第一篇博客,如果哪里写的不好还请多多包涵. 说明一下,我是通过pip去安装的所有库,除了Cmake.因为Dlib需要C++环境 ...
ubuntu18.04安装python3.7并将python3指向python3.7
ubuntu18.04系统默认装了三个版本的python,如下: ubuntu18.04安装python3.7并将python3指向python3.7 参考此篇文章:https://blog.csdn ...
ubuntu18.04 安装qt5.12.8及环境配置的详细教程
这篇文章主要介绍了ubuntu18.04 安装qt5.12.8及环境配置的教程,本文通过图文并茂的形式给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下环境系统: ...
linux下anaconda3安装教程,Ubuntu18.04 安装 Anaconda3的教程详解
Anaconda指的是一个开源的Python发行版本,其包含了conda.Python等180多个科学包及其依赖项. 因为包含了大量的科学包,Anaconda 的下载文件比较大(约 531 MB),如 ...
Ubuntu18.04安装cuDNN和Tensorflow的正确姿势
文章目录 Ubuntu18.04安装cuDNN和Tensorflow的正确姿势一.检查NVIDIA驱动是否安装成功二.检查CUDA是否安装成功三.安装cuDNN 1. 确定版本 2. 下载安装包 ...
VMware linux 虚拟机(ubuntu18.04) 安装TL-WDN5200H 2.0网卡驱动完美使用(适用于vmware无法桥接网络使用此方法)
VMware linux 虚拟机(ubuntu18.04) 安装TL-WDN5200H 2.0网卡驱动完美使用(适用于vmware无法桥接网络使用此方法) # 以下操作均已root用户操作 # 安装 ...

Ubuntu18.04 安装Proverif 和Syther_tool

Ubuntu18.04 安装Proverif 和Syther_tool

Proverif安装

安装ocaml4.05

安装graphviz

安装GTK+2.24

安装LabelGTK2

安装ProVerif

Proverif docs

ProVerif Editor安装(可选)

Scyther_Tool

安装

运行

Ubuntu18.04 安装Proverif 和Syther_tool相关推荐

最新文章

热门文章