基于随机Petri网的虚拟网可生存性模型研究
Survivability model for reconfigurable service carrying network based on the stochastic Petri net
- 通信学报 2016年37卷第3期 页码：71-78
- 作者机构：
1. 国家数字交换系统工程技术研究中心，河南 郑州450002
2. 国家网络空间安全发展创新中心，河南 郑州450000
- 作者简介：
[ "赵靓（1979-），女，山西盂县人，博士，国家数字交换系统工程技术研究中心工程师、讲师，主要研究方向为新一代信息网络关键技术与理论、可重构网络安全等。" ]
[ "邹宏（1976-），男，天津人，国家网络空间安全发展创新中心工程师，主要研究方向为计算机应用技术。" ]
[ "张校辉（1979-），男，河南洛阳人，博士，国家数字交换系统工程技术研究中心工程师、讲师，主要研究方向为SDN。" ]
- 基金信息：国家高技术研究发展计划（“863”计划）基金资助项目(2015AA016102);国家重点基础研究发展计划（“973”计划）基金资助项目(2012CB315905);国家科技支撑计划基金资助项目(2012BAH02B01)
DOI：10.11959/j.issn.1000-436x.2016054
中图分类号： TP393-
网络首发：2016-03，
纸质出版：2016-03-25
- 稿件说明：
移动端阅览
赵靓, 邹宏, 张校辉. 基于随机Petri网的虚拟网可生存性模型研究[J]. 通信学报, 2016,37(3):71-78.
Liang ZHAO, Hong ZOU, Xiao-hui ZHANG. Survivability model for reconfigurable service carrying network based on the stochastic Petri net[J]. Journal on Communications, 2016, 37(3): 71-78.
赵靓, 邹宏, 张校辉. 基于随机Petri网的虚拟网可生存性模型研究[J]. 通信学报, 2016,37(3):71-78. DOI： 10.11959/j.issn.1000-436x.2016054.
Liang ZHAO, Hong ZOU, Xiao-hui ZHANG. Survivability model for reconfigurable service carrying network based on the stochastic Petri net[J]. Journal on Communications, 2016, 37(3): 71-78. DOI： 10.11959/j.issn.1000-436x.2016054.
摘要
针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题，提出了一种RSCN可生存性模型。模型基于随机Petri网构建，首先构建RSCN的非马尔可夫随机Petri网模型，再基于最常用的先到先服务(FCFS)故障修复策略得到系统状态可达图，通过引入补充变量建立系统状态概率方程，并最终求解得到该模型。通过仿真实验对该可生存性模型的有效性进行验证，仿真结果表明，理论模型计算结果与仿真结果拟合性较好，可用于描述基于FCFS故障修复策略的RSCN可生存性能。
Abstract
Aiming at the defect that the security attribute of RSCN couldn't be described with measurement
a survivabil-ity model for RSCN was proposed based on the stochastic Petri net.Firstly
a non-Markovian stochastic Petri net for RSCN was proposed
and then the state schematics was educed based on the FCFS fault repair policy subsequently.Fina-ly
the survivability model was concluded based on the probability equation of system state by importing supplementary variable.The model was analyzed and validated for validity through emu ational experiments.The emulational results show that the comparability between the computed-results of model and emulational results is good
and the model can be used to discribe the survivability for RSCN.
关键词
Keywords
references
程东年 ， 汪斌强 , 等 . 网络结构自调整的柔性内涵初探 [J ] . 通信学报 ， 2012 , 33 ( 8 ): 214 - 222 .
CHENG D N , WANG B Q , et al . Preliminary study on the connotation of flexibility in dynamically reconfigurable networks [J ] . Journal on Communications , 2012 , 33 ( 8 ): 214 - 222 .
兰巨龙 ， 邢池强 ， 胡宇翔 , 等 . 可重构技术与未来网络体系架构 [J ] . 电信科学 ， 2012 , 29 ( 8 ): 16 - 23 .
LAN J L , XING C Q , HU Y X , et al . Reconfiguration technology and future network architecture [J ] . Telecommunications Science , 2012 , 29 ( 8 ): 16 - 23 .
齐宁 ， 汪斌强 ， 王志明 . 可重构服务承载网容错构建算法研究 [J ] . 电子与信息学报 ， 2012 , 34 ( 2 ): 468 - 473 .
QI N , WANG B Q , WANG Z M . Research on reconfigurable service carrying network resilient construction algorithms [J ] . Journal of Elec-tronics ＆ Information Technology , 2012 , 34 ( 2 ): 468 - 473 .
王志明 ， 汪斌强 . 基于备份的可重构服务承载网可靠性映射方法 [J ] . 电子与信息学报 ， 2013 , 35 ( 1 ): 126 - 132 .
WANG Z M , WANG B Q . Reliable mapping method for reconfigura-ble service carrying netwok based on path backup [J ] . Journal of Elec-tronics ＆ Information Technology , 2013 , 35 ( 1 ): 126 - 132 .
张博 ， 汪斌强 ， 袁博 . 面向可重构服务承载网的分域混合承载组调度研究 [J ] . 电子与信息学报 ， 2012 , 34 ( 5 ): 1231 - 1238 .
ZHANG B , WANG B Q , YUAN B . Research on partition domain hy-brid carrying group scheduling based on reconfigurable service carry-ing network [J ] . Journal of Electronics ＆ Information Technology , 2012 , 34 ( 5 ): 1231 - 1238 .
ELLISION R J , FISHER D A , LINGER R C , et al . Survivable network systems:an emerging discipline [J ] . Carnegie Mellon University , 1999 .
WESTMARK V R . A definition for information system surv vabili-ty [C ] // The 37th Internal Conference on System Sciences . Hawaii,USA , c 2004 : 127 - 136 .
卢山 . 网络生存性评估模型的仿真分析 [J ] . 计算机仿真 ， 2013 ( 9 ): 270 - 273 .
LU S . Simulation analysis of network survivability assessment model [J ] . Computer Simulation , 2013 ( 9 ): 270 - 273 .
LITTLEWOOD B , BROCKLEHURST S , FENTON N , et al . Towards operational measures of computer security [J ] . Computer Security , 1993 , 2 ( 2 / 3 ): 211 - 230 .
LANDWEHR C . Formal models for computer security [J ] . Computer Security , 1981 , 13 ( 3 ): 247 - 278 .
LIEW S C , LU K W . A framework for characterizing disaster-based network survivability [J ] . IEEE Journal on Selected Areas in Commu-nications , 1994 , 12 ( 1 ): 52 - 58 .
JHA S , WING J , LINGER R , et al . Survivability analysis of network specifications [C ] // International Conference on Dependable Systems and Networks (DSN). New York,USA , c 2000 : 613 - 622 .
LIU Y , TRIVEDI K S . A general framework for network survivability quantification [C ] // The 12th GI/ITG Conf Measuring,Modeling and Evaluation of Computer and Comm.Systems(MMB) together with Thid Polish-German Teletraffic Symposium (PGTS). Dresdes,Germany , c 2004 : 369 - 378 .
SODIYA A S , ABORISADE D O , IKUOMOLA A J . A survivability model for object-oriented software systems [C ] // Computational As-pects of Social Networdk (CASoN). Sao Carlos , c 2012 : 283 - 290 .
XIE L , JIANG Y M , HEEGAARD P E . Modelling and analysis of the survivability of telecommunication networks [C ] // Performance Evalua-tion of Computer and Telecommunication Systems (SPECTS). Toronto , c 2013 : 91 - 98 .
WANG C L , FANG L , DAI Y Q , et al . Network survivability evalua-tion model based on immune evolution and multiple criteria decision making [C ] // Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC). Sanya,China , c 2012 : 178 - 184 .
原菊梅 . 复杂系统可靠性Petri网建模及其智能分析方法 [M ] . 北京 ： 国防工业出版社 ， 2011 . 42 - 64 .
YUAN J M . Reliability Petri net modeling of complex systems a intelligent analysis [M ] . Beijing : Defense Industry Press , 2011 . 42 - 64 .
0
浏览量
875
下载量
0
CSCD
- 网络PDF下载
- XML下载
- Meta-XML下载
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
关联资源
相关文章
相关作者
相关机构
AI问答- 技术支持由北京北大方正电子有限公司提供 京ICP备09064830号-19
京公网安备11010802024621 - 本系统建议在Chrome、 IE9+ 以上版本浏览器阅读本站内容，360浏览器请切换至极速模式
- Cookies帮助我们提供服务并提供个性化体验。使用本网站，即表示您同意我们使用Cookies
- 总访问量：582278 今日访问量：94