MulVal工具的安装以及配置

mulval工具下载和安装说明：http://people.cs.ksu.edu/~xou/argus/software/mulval/readme.html

1、安装JDK，配置java环境

第一步需要配置好java环境，安装JDK，这是为后面的准备，并且最好安装版本较新的JDK.网上都有相关的教程，所以这里就不在另外赘述了。

2、安装gcc（g++,make)

在我安装的过程中就因为缺少gcc所以出错了，如果是新系统就需要安装gcc。为了不会出错，最好先准备一下：

//更新包列表
sudo apt update

//安装build-essential
sudo apt install build-essential

//查看gcc是否成功安装，并且查看版本
gcc --version

3、安装XSB

（1）自己新建一个文件夹，可以在/home目录下创建，如创建的路径为/home/tools,解压XSB到自己创建的文件夹下。依次运行以下命令：

cd /home/tools/XSB/build 

./configure

执行这两条命令后最末尾会出现这条语句：

（2）编译：

./makexsb

编译成功后，同样最末尾会出现这个：

（3）XSB环境变量配置
和JDK环境变量的配置一样，在linux的环境变量配置文件中加入下面一行：

export PATH=/home/tools/XSB/bin:$PATH

（4）安装graphviz工具

sudo apt-get install graphviz graphviz-doc

（5）安装MySQL

sudo apt-get install mysql-server mysql-client

4、安装MulVal

(1)解压下载的压缩包到之前的路径（这里是/home/tools),然后将路径添加到环境变量中，这里还需要在Linux根目录中设置MULVALROOT的环境变量：

export MULVALROOT=/home/tools/mulval
export PATH=$MULVALROOT/bin:$MULVALROOT/utils:$PATH

5、可能会出现的一些问题

flex命令未找到，需要安装：

sudo apt-get install flex

bison命令未找到，需要安装：

sudo apt-get install bison

6、编译并试验环境运行结果

（1）进入mulval的目录，并编译：

cd /home/tools/mulval

make

(2)试验结果，执行以下命令顺利的话可以得到攻击图：

cd /home/tools/mulval/utils

给graph_gen.sh文件添加执行权限：

chmod u+x graph_gen.sh

cd /home/tools/mulval/testcases/3host

graph_gen.sh input.P -v -p

如果不加-p的话，只能得到AttackGraph.txt和AttackGraph.xml,命令最后加了-p就可以得到pdf文件。