如何安裝「MulVAL-攻擊圖生成工具包」並使其工作？

如何安裝「MulVAL-攻擊圖生成工具包」並使其工作？如何安裝「MulVAL-攻擊圖生成工具包」並使其工作？

MulVAL-是一種基於邏輯的攻擊圖生成技術，由Xinming Ou發明。我已經按照（http://people.cis.ksu.edu/~xou/argus/software/mulval/readme.html）中給出的指令安裝了「MulVAL」，並試圖運行它在輸入文件（input.P）中給出的測試用例如下：

我正在使用cygwin：graph_gen.sh mulval/testcases /3host/input.P -v

但我收到以下錯誤：

貓：goals.txt：沒有這樣的文件或目錄

RM：無法刪除`goals.txt'：無這樣的文件或目錄

攻擊si仿真遇到錯誤。

請檢查xsb_log.txt。

這是什麼意思，我該如何解決？任何形式的幫助，將不勝感激

來源

2016-05-24 Komal Falodiya

我剛剛解決了這個問題。您必須將xsb路徑添加到PATH中。例如。我正在使用CentOS，並在我的HOME dir中有我的xsb，因此在我的bash_profile中：

# set variables for xsb 
export XSBROOT="$HOME/XSB" 
export PATH="$XSBROOT/bin:$XSBROOT/utils:$PATH"

來源

2017-01-15 14:22:05

如何安裝「MulVAL-攻擊圖生成工具包」並使其工作？

回答

相關問題