本文研究并實(shí)現(xiàn)基于邏輯推理的網(wǎng)絡(luò)攻擊想定自動(dòng)生成系統(tǒng)，用于網(wǎng)絡(luò)安全模擬演練。采用Datalog描述與安全相關(guān)的網(wǎng)絡(luò)配置信息和攻擊規(guī)則，使用XSB推理引擎構(gòu)造實(shí)現(xiàn)攻擊目的的攻擊路徑圖；遍歷攻擊路徑圖，得到所有可能的攻擊路徑；根據(jù)攻擊路徑生成攻擊想定腳本，由仿真平臺(tái)解釋并執(zhí)行相應(yīng)的攻擊操作序列。給出原型系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)，及其實(shí)驗(yàn)結(jié)果。
基于仿真網(wǎng)絡(luò)的安全模擬演練是企業(yè)、單位或其它組織進(jìn)行信息保障訓(xùn)練的一種重要手段。在國(guó)外，NetSim 和Rinse 等仿真工具相繼被開發(fā)并應(yīng)用于安全演練；而國(guó)內(nèi)，章英等人也開發(fā)了用于攻防演練的平臺(tái)[1]。在基于仿真網(wǎng)絡(luò)的安全演練中，攻擊想定以攻擊操作列表的形式存儲(chǔ)于演練平臺(tái)系統(tǒng)中；由控制系統(tǒng)定期觸發(fā)相應(yīng)的攻擊操作[2,3]。李麗等人開發(fā)了用于網(wǎng)絡(luò)安全演練的攻擊想定描述語言ASDL及其相關(guān)的安全仿真平臺(tái)[4]。基于仿真網(wǎng)絡(luò)的安全演練形式更加靈活，且演練流程更加可控。但如何高效方便地設(shè)計(jì)和制定相關(guān)的攻擊操作列表，以及如何動(dòng)態(tài)調(diào)度攻擊操作序列是一項(xiàng)值得研究的工作。
本文借鑒文獻(xiàn)[5]提出的方法構(gòu)造攻擊路徑圖，設(shè)計(jì)并實(shí)現(xiàn)基于邏輯推理的網(wǎng)絡(luò)攻擊想定自動(dòng)生成系統(tǒng)。但有所不同的是，本文基于“前提/效果”模型[6]，從網(wǎng)絡(luò)安全狀態(tài)遷移的角度描述攻擊規(guī)則，進(jìn)而給出攻擊路徑圖構(gòu)造算法；通過攻擊路徑分解得到所有的攻擊路徑，并生成文獻(xiàn)[4]中ASDL 格式的攻擊想定腳本，以用于基于安全仿真平臺(tái)GTNetS 的攻擊/防御演練。本文第2 節(jié)詳細(xì)討論基于攻擊路徑圖的攻擊想定腳本生成方法；第3 節(jié)給出原型系統(tǒng)的實(shí)現(xiàn)及其實(shí)驗(yàn)結(jié)果；最后總結(jié)全文。