一、安装组件依赖
ProVerif组件依赖
OCaml
这里注意,在写password时,不会显示。
graphviz
(可选)
LablGTK2
(可选)
GTK+2.24
如果需要使用
ProVerif
的交互式模拟功能,则需要安装上述的两个可选组件。该实验不需要可选组件,我们这次不对它们进行讲述。
二、安装proverif
到官网下载源码文件:http://proverif.inria.fr/
对下载的压缩包进行解压安装
解压
注意:这里的解压过程只能在原目录下进行。
安装
注意:由于没有安装两个可选组件,在执行上述目录是会报错,进行下一个命令查看proverif是否可用。
三、握手协议过程
利用vim将握手协议代码写进txt
sudo apt install vim
四、proverif分析协议
将文件名后缀改为.pv
使用proverif对pv文件进行分析
中间省略了一部分截图。
五、感悟
这次试验,让我了解到了ubuntu虚拟机的相关命令语句,了解到握手协议的工作过程;遇到了一些困难,例如改变文件后缀、怎样将握手协议写入txt等;通过超找资料都一一解决。希望我的这份报告能对大家有所帮助。