電子發燒友網>電子資料下載>電子論文>網絡協議論文>基于邏輯推理的網絡攻擊想定生成系統

基于邏輯推理的網絡攻擊想定生成系統

1860193 2009-08-11 | rar | 228 | 次下載 | 3積分

資料介紹

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