基于Petri网的网络入侵检测研究

发布时间：2019-10-09 13:18

【摘要】：随着计算机网络的普及,计算机病毒攻击等入侵行为日益突出,对网络的安全构成极大威胁。深刻理解计算机病毒等入侵行为在互联网中的传播机理,要增强互联网抵御病毒入侵的能力,就有必要在充分认知互联网的复杂网络特性基础之上,建立网络入侵的数学模型并分析其传播机理,是计算机网络安全研究的一个重要组成部分。 Petri网是一种图形化、数学化的建模语言,采用可视化图形描述,能表达具有同步、并发、冲突的离散事件动态系统的静态结构和动态变化,适用于分析网系统静态的结构以及仿真时动态的行为,但经典Petri网模型存在着状态空间“爆炸”和缺乏分析系统性能的数学方法等问题,而着色Petri网具有层次化结构特征,在描述系统静态模型方面进行了比较完整的形式化定义,能同时用于评估系统性能、逻辑的正确性和验证系统功能,还能交互地或自动地进行仿真,因而适于大型系统建模。本文利用着色Petri网建模技术来设计网络入侵系统,将复杂的网络入侵系统划分为几个简单网络子域,从而大大降低了构建网络模块的复杂度,同时针对网络入侵系统随机不可预测性,结合规则库,引入随机Petri网特性,并通过对此模型的仿真分析,得出此模型的相关特性,为构建网络入侵系统以及网络安全理论的发展提供了参考。 本文通过引入安全策略域和域间通信信道的概念,结合着色和随机两大约束条件,进行有界企业级网的简单网络模型建模,简化了网络模型的建模任务量,并为宏观分析网络系统提供了实例模型,同时也为更进一步细化深入研究奠定了理论基础。
【学位授予单位】：天津科技大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.08;TP301.1

【参考文献】

相关期刊论文 前10条

1 唐淑君;李肖坚;屠守中;韦刚;;一种面向攻击树建模的描述语言[J];北京航空航天大学学报;2007年12期

2 肖竟华;王熠;;基于攻击模式的攻击图自动生成方法研究[J];计算机安全;2008年07期

3 邱岚;谭彬;;安全域划分研究与应用[J];计算机安全;2012年06期

4 李波;;入侵检测技术面临的挑战与未来发展趋势[J];电子科技;2007年07期

5 何永明;浅析入侵检测系统(IDS)[J];甘肃科技;2005年07期

6 郭仁东;;计算机网络病毒及其防御探析[J];电脑知识与技术;2012年30期

7 吴新民;两种典型的入侵检测方法研究[J];计算机工程与应用;2002年10期

8 周伟;王丽娜;张焕国;;一种基于攻击树的网络攻击系统[J];计算机工程与应用;2006年24期

9 薛静锋,曹元大;Petri网在IDS中的应用研究[J];计算机工程;2004年15期

10 赵芳芳;陈秀真;李建华;;基于权限提升的网络攻击图生成方法[J];计算机工程;2008年23期

，

本文编号：2546797