基于逻辑推理的网络攻击想定生成系统
本文研究并实现基于逻辑推理的网络攻击想定自动生成系统,用于网络安全模拟演练.采用Datalog描述与安全相关的网络配置信息和攻击规则,使用XSB推理引擎构造实现攻击目的的攻击路径图;遍历攻击路径图,得到所有可能的攻击路径;根据攻击路径生成攻击想定脚本,由仿真平台解释并执行相应的攻击操作序列.给出原型系统的设计与实现,及其实验结果.
逻辑推理、攻击规则、攻击路径、攻击路径图、攻击想定
24
TP393(计算技术、计算机技术)
国防基础科研项目JD100060517
2009-02-06(万方平台首次上网日期,不代表论文的发表时间)
36-38