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