资料介绍
本文研究并实现基于逻辑推理的网络攻击想定自动生成系统,用于网络安全模拟演练。采用Datalog描述与安全相关的网络配置信息和攻击规则,使用XSB推理引擎构造实现攻击目的的攻击路径图;遍历攻击路径图,得到所有可能的攻击路径;根据攻击路径生成攻击想定脚本,由仿真平台解释并执行相应的攻击操作序列。给出原型系统的设计与实现,及其实验结果。
基于仿真网络的安全模拟演练是企业、单位或其它组织进行信息保障训练的一种重要手段。在国外,NetSim 和Rinse 等仿真工具相继被开发并应用于安全演练;而国内,章英等人也开发了用于攻防演练的平台[1]。在基于仿真网络的安全演练中,攻击想定以攻击操作列表的形式存储于演练平台系统中;由控制系统定期触发相应的攻击操作[2,3]。李丽等人开发了用于网络安全演练的攻击想定描述语言ASDL及其相关的安全仿真平台[4]。基于仿真网络的安全演练形式更加灵活,且演练流程更加可控。但如何高效方便地设计和制定相关的攻击操作列表,以及如何动态调度攻击操作序列是一项值得研究的工作。
本文借鉴文献[5]提出的方法构造攻击路径图,设计并实现基于逻辑推理的网络攻击想定自动生成系统。但有所不同的是,本文基于“前提/效果”模型[6],从网络安全状态迁移的角度描述攻击规则,进而给出攻击路径图构造算法;通过攻击路径分解得到所有的攻击路径,并生成文献[4]中ASDL 格式的攻击想定脚本,以用于基于安全仿真平台GTNetS 的攻击/防御演练。本文第2 节详细讨论基于攻击路径图的攻击想定脚本生成方法;第3 节给出原型系统的实现及其实验结果;最后总结全文。
基于仿真网络的安全模拟演练是企业、单位或其它组织进行信息保障训练的一种重要手段。在国外,NetSim 和Rinse 等仿真工具相继被开发并应用于安全演练;而国内,章英等人也开发了用于攻防演练的平台[1]。在基于仿真网络的安全演练中,攻击想定以攻击操作列表的形式存储于演练平台系统中;由控制系统定期触发相应的攻击操作[2,3]。李丽等人开发了用于网络安全演练的攻击想定描述语言ASDL及其相关的安全仿真平台[4]。基于仿真网络的安全演练形式更加灵活,且演练流程更加可控。但如何高效方便地设计和制定相关的攻击操作列表,以及如何动态调度攻击操作序列是一项值得研究的工作。
本文借鉴文献[5]提出的方法构造攻击路径图,设计并实现基于逻辑推理的网络攻击想定自动生成系统。但有所不同的是,本文基于“前提/效果”模型[6],从网络安全状态迁移的角度描述攻击规则,进而给出攻击路径图构造算法;通过攻击路径分解得到所有的攻击路径,并生成文献[4]中ASDL 格式的攻击想定脚本,以用于基于安全仿真平台GTNetS 的攻击/防御演练。本文第2 节详细讨论基于攻击路径图的攻击想定脚本生成方法;第3 节给出原型系统的实现及其实验结果;最后总结全文。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 跨媒体数据分析与推理技术综述 15次下载
- 基于概率属性网络攻击图的攻击路径预测方法 14次下载
- 基于SQAG模型的网络攻击建模优化算法 6次下载
- 基于SQAG模型的网络攻击建模优化算法 14次下载
- 人工智能中的自动逻辑推理的算法介绍 26次下载
- 规则半自动学习的概率软逻辑推理模型 6次下载
- 模糊逻辑与模糊推理 2次下载
- 面向仿真的网络攻击知识描述技术 8次下载
- 基于网络拓扑的攻击响应系统设计 7次下载
- 网络攻击路径的生成研究 14次下载
- 战场目标的模糊逻辑检测与识别方法 22次下载
- 网络攻击图在自动渗透测试中的应用 35次下载
- 网络攻击图在自动渗透测试中的应用 4次下载
- 安全协议一阶逻辑模型中攻击重构的实现 25次下载
- 一种基于动态建链推理的网络攻击过程分析方法 12次下载
- CSRF攻击的基本原理 如何防御CSRF攻击 262次阅读
- 大型语言模型的逻辑推理能力探究 477次阅读
- 应对黑客攻击的10个网络安全小技巧 4321次阅读
- 当工作时遭遇网络攻击后,如何恢复数据? 2261次阅读
- 组合逻辑生成的时钟有哪些危害 3641次阅读
- 多传感器信息融合技术的设计方法解析 1706次阅读
- 如何避免供应链受到网络攻击 1462次阅读
- 如何用对抗样本修改图片,误导神经网络指鹿为马 5085次阅读
- 为什么针对SCADA系统的攻击行为正在急剧升级? 2053次阅读
- 介绍了主要的生成模型和代表性的应用 4654次阅读
- 测量神经网络的抽象推理能力 4848次阅读
- 生成对抗网络GAN,正在成为新的“深度学习” 4434次阅读
- dos攻击原理及攻击实例 3.9w次阅读
- 解析示波器使用的三重境界 3450次阅读
- 十大案例分析,机器学习的十种网络攻击 8998次阅读
下载排行
本周
- 1电源监控电路UC1544/2544/3544数据表
- 2.07MB | 2次下载 | 免费
- 2开关式升压 3A 双节锂电充电管理E6483数据手册
- 0.26 MB | 2次下载 | 免费
- 3适用于汽车导航系统的车载晶振FC-13A
- 146.02 KB | 1次下载 | 免费
- 4基于DSP的语音信号采集与回放系统设计报告
- 0.20 MB | 1次下载 | 5 积分
- 5基于“双 碳 ”目标的综合用电服务管理系统介绍
- 5.89 MB | 1次下载 | 免费
- 6全套DDR、DDR2、DDR3、DDR3L、LPDDR3 和 DDR4 电源解决方案同步降压控制器数据表
- 2.5MB | 1次下载 | 免费
- 7具有过压保护和阻断 FET控制功能的12V电子熔丝TPS25924x数据表
- 1.92MB | 1次下载 | 免费
- 8带自动重试功能的IEEE 802.3af PoE供电设备控制器TPS2375数据表
- 920.76KB | 1次下载 | 免费
本月
- 1电子元件基础知识介绍
- 8.76 MB | 58次下载 | 2 积分
- 2DC-DC电路(Buck)的设计与仿真
- 0.60 MB | 20次下载 | 2 积分
- 3GD32F10x系列MCU用户手册
- 11.5MB | 10次下载 | 免费
- 4多功能电源管理 SOC IP5306数据手册
- 0.20 MB | 8次下载 | 免费
- 5UHD智能显示SoC VS680产品简介
- 0.46 MB | 7次下载 | 免费
- 6东芝BiCD集成电路硅单片TB67S109AFNAG数据手册
- 1.93 MB | 6次下载 | 免费
- 716A 输出电流,高可靠、高效率 同步降压转换器PCD3201产品手册
- 0.47 MB | 6次下载 | 免费
- 8电池管理系统(BMS)软硬件介绍
- 0.23 MB | 5次下载 | 2 积分
总榜
- 1matlab软件下载入口
- 未知 | 935084次下载 | 免费
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420048次下载 | 免费
- 3Altium DXP2002下载入口
- 未知 | 233067次下载 | 免费
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191315次下载 | 免费
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183314次下载 | 免费
- 6labview8.5下载
- 未知 | 81567次下载 | 免费
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73786次下载 | 免费
- 8NI LabVIEW中实现3D视觉的工具和技术
- 未知 | 70088次下载 | 免费
评论
查看更多