一种基于广义随机着色Petri网的网络攻击组合模型
[Abstract]:Attack behavior modeling plays an important role in network security analysis and evaluation. In this paper, a network attack combination model based on generalized random colored Petri nets is defined. The model can clearly express the relationship among the components of attack combination, and give the attack behavior. The definition of attack combination operation and the establishment algorithm of attack combination are given, and the structural complexity of the combination model is measured. On this basis, the time cost is evaluated from the point of view of system performance analysis. The effectiveness of the proposed combination model and related calculation methods is further verified by the analysis of network examples.
【作者单位】： 解放军信息工程大学数学工程与先进计算国家重点实验室;
【基金】：国家自然科学基金(60902102,61272489) 郑州市科技创新团队项目(10CXTD150)资助课题
【分类号】：TP393.08
【参考文献】
相关期刊论文 前5条
1 林闯,曲扬,郑波,田立勤;一种随机Petri网性能等价化简与分析方法[J];电子学报;2002年11期
2 陈锋;刘德辉;张怡;苏金树;;基于威胁传播模型的层次化网络安全评估方法[J];计算机研究与发展;2011年06期
3 冯萍慧;连一峰;戴英侠;李闻;张颖君;;面向网络系统的脆弱性利用成本估算模型[J];计算机学报;2006年08期
4 王永杰;鲜明;刘进;王国玉;;基于攻击图模型的网络安全评估研究[J];通信学报;2007年03期
5 吴迪;冯登国;连一峰;陈恺;;一种给定脆弱性环境下的安全措施效用评估模型[J];软件学报;2012年07期
【共引文献】
相关期刊论文 前10条
1 马俊春;孙继银;王勇军;赵宝康;陈珊;;基于分布并行处理的攻击图构建方法研究[J];兵工学报;2012年01期
2 肖军;邓海鸿;高允锋;周春贵;刘雷;;基于Petri网的工作流建模及时间性能分析[J];吉林大学学报(信息科学版);2009年01期
3 刘念;张建华;段斌;刘文霞;张昊;;网络环境下变电站自动化通信系统脆弱性评估[J];电力系统自动化;2008年08期
4 赵慧;;使用Petri网对网格服务进行建模[J];大众科技;2008年05期
5 黄敏,陈国龙;利用随机Petri网进行系统性能评价的探讨[J];福建电脑;2004年11期
6 李卫民;徐炳雪;;基于NuSMV的攻击图模型生成技术研究[J];硅谷;2010年19期
7 林绍森;李晓兰;;采用Petri技术构建高校应急预案管理模型[J];硅谷;2010年24期
8 洪亚玲;;探究计算机网络安全性分析建模研究[J];计算机光盘软件与应用;2013年02期
9 周华;周海军;马建锋;;基于博弈论的入侵容忍系统安全性分析模型[J];电子与信息学报;2013年08期
10 胡亮;解男男;努尔布力;刘志宇;柴胜;;基于智能规划的多步攻击场景识别算法[J];电子学报;2013年09期
相关会议论文 前1条
1 黄福鑫;郑康锋;胡影;张玲;;一种基于渗透图的信息安全风险过程模型[A];第十三届中国科协年会第11分会场-中国智慧城市论坛论文集[C];2011年
相关博士学位论文 前10条
1 郭迟;基于复杂网络的Internet脆弱性研究[D];武汉大学;2010年
2 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
3 刘雪娇;网络脆弱性评估及入侵报警分析技术研究[D];华中师范大学;2011年
4 赵金辉;基于可变模糊集理论的系统生存性关键技术研究[D];中国矿业大学（北京）;2011年
5 张镇;面向迎宾机器人组件化系统的建模与控制研究[D];上海交通大学;2011年
6 姜伟;基于攻防博弈模型的主动防御关键技术研究[D];哈尔滨工业大学;2010年
7 韩正强;突发事件应急过程能力评价研究[D];华中科技大学;2011年
8 谭兴烈;IP层安全体系结构研究与实践[D];四川大学;2003年
9 朱海平;支持业务流程管理的工作流建模和分析理论研究[D];华中科技大学;2004年
10 林松;电子支付安全体系结构的研究与实现[D];四川大学;2005年
相关硕士学位论文 前10条
1 徐飞;网络安全评估的研究与实现[D];郑州大学;2010年
2 王磊;大连市财政系统网络安全设计与实现[D];大连海事大学;2010年
3 吴迪;高维空间中基于空间划分的离群点挖掘算法研究[D];河北工程大学;2010年
4 张娜;基于Token行为Petri网及其应用研究[D];沈阳大学;2011年
5 王建红;基于网络的安全评估技术研究与设计[D];中原工学院;2011年
6 廖扬振;基于工作流的仓库备用物料信息管理系统的研究与设计[D];武汉理工大学;2011年
7 邵长明;基于Petri网的几个并发问题的建模与分析[D];西华大学;2011年
8 赵宁;基于流程化攻击场景重构的网络风险评估[D];华中师范大学;2011年
9 谈革新;复杂网络拓扑层抗毁性测度研究[D];南京理工大学;2011年
10 李旭光;基于粗糙集的网络安全评估模型研究与实现[D];电子科技大学;2011年
【二级参考文献】
相关期刊论文 前8条
1 田立勤,林闯,周文江;随机Petri网模型中变迁的串、并联性能等价化简技术[J];电子学报;2002年08期
2 王晓程,刘恩德,谢小权;攻击分类研究与分布式网络入侵检测系统[J];计算机研究与发展;2001年06期
3 林闯;一种资源共享系统的模型和近似性能分析[J];计算机学报;1997年10期
4 邢栩嘉,林闯,蒋屹新;计算机系统脆弱性评估研究[J];计算机学报;2004年01期
5 林闯;汪洋;李泉林;;网络安全的随机模型方法与评价技术[J];计算机学报;2005年12期
6 陈秀真;郑庆华;管晓宏;林晨光;;层次化网络安全威胁态势量化评估方法[J];软件学报;2006年04期
7 陈锋;张怡;苏金树;韩文报;;攻击图的两种形式化分析[J];软件学报;2010年04期
8 张永铮,云晓春,胡铭曾;基于特权提升的多维量化属性弱点分类法的研究[J];通信学报;2004年07期
相关硕士学位论文 前1条
1 庄朝晖;基于攻击树的多层次入侵检测及其在Linux上的原型[D];厦门大学;2002年
【相似文献】
相关期刊论文 前10条
1 余道华;黄瑾娉;王振宇;;基于Petri网的安全协议分析[J];网络安全技术与应用;2008年11期
2 印玉兰;崔焕庆;;基于Petri网的点到点通信并行程序验证[J];安徽理工大学学报(自然科学版);2007年01期
3 王晓媛;左风朝;;基本数据链路层协议的Petri网模型分析与优化[J];中国科技信息;2005年23期
4 王清阳,王越超,席宁;基于Petri网的Web数据库访问的建模研究[J];计算机应用与软件;2003年04期
5 王春江,符意德,黄志同;Petri网在C3I系统建模分析和综合中的应用[J];火力与指挥控制;1996年02期
6 程永上;王志坚;;语义Web服务组合的形式化描述与验证研究[J];计算机科学;2008年04期
7 马玉祥,李远军,刘彦明;智能网业务中的Petri网建模及验证方法[J];西安电子科技大学学报;2004年02期
8 黄绍龙;;基于Petri网的Web服务组合化简方法的研究[J];硅谷;2010年02期
9 雷丽晖;段振华;;语义标记Petri网的组合Web服务建模与验证(英文)[J];计算机科学与探索;2009年02期
10 赵宏波,郑会颂,卢学虎;Petri网在电信管理网可信性建模中的应用[J];南京邮电学院学报(自然科学版);1998年Z1期
相关会议论文 前10条
1 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
2 方娟;王志杰;;SOA架构下基于Petri网的Web服务协商模型[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
3 常欣;袁华;逄焕利;胡亮;王U，
本文编号：2462013
本文链接：https://www.wllwen.com/guanlilunwen/ydhl/2462013.html
