基于逻辑推理的网络攻击想定生成系统.pdfVIP

信息安全 文章号-：1008-0570(2008)11—3-0036-03 基于逻辑推理的网络攻击想定生成系统 AutomatedNetworkAttack Basedon ScenarioGeneration System LogicalReasoning (1．北京航空航天大学网络技术北京市重点实验室12．北京航空航天大学软件学院)冯锦华1王海泉l，2别、芸芸I WANG Yun FENGJin-hua SUN Hai-quan 摘要：本文研究并实现基于逻辑推理的网络攻击想定自动生成系统，用于网络安全模拟演练。采用Datalog描述与安全相关 的网络配置信息和攻击规则，使用XSB推理引擎构造实现攻击目的的攻击路径图；遍历攻击路径图，得到所有可能的攻击 路径；根据攻击路径生成攻击想定脚本，由仿真平台解释并执行相应的攻击操作序列。给出原型系统的设计与实现，及其实 验结果。 关键词：逻辑推理；攻击规则；攻击路径；攻击路径图；攻击想定 中图分类号：TP393 文献标识码：A will Abstract：Inthis NetworkAttackScenarioGenerationisdiscussed，whichhasbeen and paper，Automated System implemented attack beusedfornetwork exercisebasedOil．simulatednetwork network’S and and security target configurations system．The topology rulesaredescribedin isa the At- Datalog，whichlogicalprogramminglanguage．Usingpowerfullogicalreasoningengine，XSB，An tackPath constructed records XSB．All attack are Graph(APG)isbyanalyzingproof generatedby possible pathsgeneratedthrough APGand redundantattack in withthe attack Sce· traversing eliminating operationsexistingAPG．Accordinggeneratedpaths，Attack be hasbeen nario are andcan simulationto conductattack Scriptsgenerated interpretedby system operations．Aprototypesystem and result