Using MulVAL
使用MulVAL
MulVAL是基于逻辑推理的网络安全分析工具，能够实现网络攻击路径发现和策略违规发现。2005年提出，是X Ou的博士论文成果。在2005年时，2000个节点规模网络的分析时间不超过1分钟。
环境搭建
安装步骤如下（doc/README文件中有很多有用信息）：
# install XSB
wget "http://xsb.sourceforge.net/downloads/XSB.tar.gz"
tar xvf XSB.tar.gz
cd XSB/build
./configure
./makexsb
cd ..
export XSB_HOME=`pwd`
cd ..
# download
wget "http://www.arguslab.org/software/mulval_1_1.tar.gz"
# uncompress
tar xvf mulval_1_1.tar.gz
# make
cd mulval
export MULVALROOT=`pwd`
make
案例测试
运行前要确保以下环境变量已设置：
export MULVALROOT=<>
export XSB_HOME=<>
export PATH=$MULVALROOT/bin:$MULVALROOT/utils:${XSB_HOME}/bin:$PATH
执行以下命令（-v选项表示生成.csv和.pdf格式的攻击图，-p表示对攻击图进行裁剪以优化视觉效果），执行成功后可以打开生成的AttackGraph.pdf文件查看攻击图：
cd $MULVALROOT/testcases/3host
graph_gen.sh input.P -v -p