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

摘要：

本文研究并实现基于逻辑推理的网络攻击想定自动生成系统,用于网络安全模拟演练.采用Datalog描述与安全相关的网络配置信息和攻击规则,使用XSB推理引擎构造实现攻击目的的攻击路径图;遍历攻击路径图,得到所有可能的攻击路径;根据攻击路径生成攻击想定脚本,由仿真平台解释并执行相应的攻击操作序列.给出原型系统的设计与实现,及其实验结果.

关键词：逻辑推理、攻击规则、攻击路径、攻击路径图、攻击想定

所属期刊栏目：24

分类号：TP393(计算技术、计算机技术)

资助基金：国防基础科研项目JD100060517

在线出版日期：2009-02-06（万方平台首次上网日期，不代表论文的发表时间）

页码：36-38