期刊文献+

基于着色Petri网的系统可生存性仿真平台

Simulation Platform for System Survivability Based on Coloured Petri Net
下载PDF
导出
摘要 对可生存系统组件在攻击、抵抗、恢复3种因素作用下的状态转换过程进行分析,设计基于着色Petri网的系统可生存性仿真平台,从攻击强度、攻击密度、恢复强度、攻击策略、恢复策略5个方面模拟可生存系统的行为特性。以一个IPTV网络服务系统为例,利用平台仿真其在遭受不同攻击时的服务提供能力。仿真结果表明,该平台能较好地实现系统可生存性分析。 By analyzing the state transition process of components of survivable system under action of attack,resistance and recovery,this paper designs the simulation platform for system survivability based on Coloured Petri Net(CPN),which simulates the behavior of survivable system from aspects of attack intensity,attack density,recovery intensity,attack strategy and recovery strategy.The structure and operating mechanism of the platform is illustrated in detail,and by using an IPTV network service system as an example,it simulates its service delivery capacity under different attacks with the platform.Simulation results show it can realize the survivability analysis well.
出处 《计算机工程》 CAS CSCD 2012年第2期14-16,20,共4页 Computer Engineering
基金 国家"863"计划基金资助项目"新一代业务运行管控协同支撑环境的开发"(2008AA01A317)
关键词 可生存性 分布式服务系统 仿真平台 攻击 恢复 着色PETRI网 survivability distributed service system simulation platform attack recovery Coloured Petri Net(CPN)
  • 相关文献

参考文献6

  • 1llison R J, Fisher D A, Linger R C, et al. Survivable Network Systems: An Emerging Discipline[R]. Software Engineering Institute, Carnegie Mellon University, Tech. Rep.: 97-013, 1997. 被引量:1
  • 2王健,王慧强,赵国生.分布式任务关键系统生存性自动分析与验证[J].高技术通讯,2009,19(6):572-579. 被引量:4
  • 3Zuo Y, Lande S, Pimple M. Analysis and Simulation of System Survivability[C] //Proc. of the 7th International Conference on Information Technology: New Generations. Washington D. C., USA: IEEE Computer Society, 2010: 36-41. 被引量:1
  • 4熊琦,王丽娜,刘陶,余荣威.面向容侵系统可生存性量化的随机博弈模型研究[J].小型微型计算机系统,2008,29(10):1794-1798. 被引量:3
  • 5Kristensen L M, Christensen S, Jensen K. The Practitioner’s Guide to Coloured Petri Nets[J]. International Journal on Software Tools for Technology Transfer, 1998, 2(2): 98-132. 被引量:1
  • 6Jensen K, Kristensen L M. Coloured Petri Nets: Modeling and Validation of Concurrent Systems[M]. New York, USA: Springer Publishing Company Inc., 2009. 被引量:1

二级参考文献27

  • 1包秀国,胡铭曾,张宏莉,张绍瑞.两种网络安全管理系统的生存性定量分析方法[J].通信学报,2004,25(9):34-41. 被引量:27
  • 2殷丽华,方滨兴.入侵容忍系统安全属性分析[J].计算机学报,2006,29(8):1505-1512. 被引量:27
  • 3Ellison R J, Fisher D A, Linger R C, et al. Survivable network system: an emerging discipline: [ Technical Report, CMU/SEI-97-TR-013]. Pittsburgh: Carnegie Mellon Software Engineering Institute, USA, 1997. 被引量:1
  • 4Louca S, Pitsillides A, Samaras G. On network survivability algorithms based on trellis graph transformations. In: Proceedings of the 4th IEEE Symposium on Computers and Communications, Red Sea, Egypt, 1999. 235-243. 被引量:1
  • 5Krings A W, Azadmanesh A. A graph based model for survivability apphcations. European Journal of Operational Research, 2005, 164(3): 680-689. 被引量:1
  • 6Gao Z X, Ong C H, Tan W K. Survivability assessment: modeling dependencies in information systems. In: Proceedings of the 4th IEEE/CMU/SEI Information Survivabihty Workshop, Vancouver, Canada, 2001. 被引量:1
  • 7Hevner A, Linger R, Sobel A, et al. The tlow-service-quality framework: unified engineering for large-scale, adaptive systems. In: Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Hawaii, USA, 2002. 4006-4015. 被引量:1
  • 8Casey F, Chen Y L, Wang X Y, et al. Survivability analysis of distributed systems using attack tree methodology. In: Proceeding of IEEE Military Communications Conference, Atlantic City, New Jersey, 2005. 583-589. 被引量:1
  • 9Jha S, Wing J, Linger R, et al. Survivability analysis of network specifications. In: Proceedings of the 2000 International Conference on Dependable Systems and Networks, New York, USA, 2000. 613-622. 被引量:1
  • 10Jha S, Wing J M. Survivability analysis of network System. In: Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, 2001. 307-317. 被引量:1

共引文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部