proverif软件的下载与安装

一、proverif 的下载与安装

先哭诉下，这个软件的安装可是太不容易了，官网都成这个熊样子了，我以为这里没有安装包了呢，于是全网寻安装包未得又回来看了一眼，妈呀，这杂乱的几乎不知道东西南北的网页里竟然有下载地址。 

网页链接： http://prosecco.gforge.inria.fr/personal/bblanche/proverif/(可下载)

下载后是个.tar.gz的文件，在我的电脑（win10系统）上显示是一个空白的文档，上网查看之后发现这是linux系统中的压缩软件，有很多种解压方式，我选择了最省时省力的方式——代码解压。

首先进入任务管理模式（win+R  cmd），进入下载.tar.gz的文件夹，我放在了D盘，先进入D盘，然后进入文件夹。输入tar -zxvf (文件夹名)proverifbin2.02.tar.gz，然后再将proverifdoc2.0.tar.gz用同样的方式解压，就会出现一个文件夹。