期刊文献+

信息系统生存性分析模型研究 被引量:11

Research on analysis model of information systems survivability
下载PDF
导出
摘要 基于信息系统的开放复杂性,将整个生存性分析问题划分为环境、系统以及具体分析过程三个方面并分别进行建模:利用工作流的概念,提出了系统的层次模型;利用事件情景来表示环境对系统的作用,并通过事件分级以及不同级别事件集的分布权值调整表示各种环境;提出了基于FSM的分析过程模型,通过系统状态的层次结构,将传统的基于系统状态的直接分析转化为间接的层次分析。事件的量化使得该分析模型具有一定的量化分析应用前景。 As information systems were open and complex, the entire problem of survivability analysis was divided into three aspects, i.e. environment, system and analysis process, and models of these aspects were given: system hierarchical model was provided based on the concept of workflow; event scenarios were used to describe the impact of environment on systems, and the environment was presented by grading event and adjusting distribution rate of the event set in different grade; based on FSM, system hierarchical state was provided, which converted the traditional direct survivability analysis based on system state into indirect hierarchical analysis. This analysis model can be applied in quantitative analysis of system survivability because of its event quantification.
出处 《通信学报》 EI CSCD 北大核心 2006年第2期153-159,共7页 Journal on Communications
基金 国家重点基础研究发展计划("973"计划)基金资助项目(G1999035806) 中国科学院知识创新工程重大项目(KJCX1-09)~~
关键词 生存性 分析模型 有限状态机(FSM) 层次的 survivability analysis model finite state machine hierarchical
  • 相关文献

参考文献14

  • 1ELLISON R J,FISHER D A,LINGER R C,et al.Survivable Network System:An Emerging Discipline[R].Technical Report,CMU/SEI-97-TR-013,Carnegie Mellon University,1997.
  • 2MOITRA S D,KONDA S L.A Simulation Model for Managing Survivability of Networked Information Systems[R].Technical Report CMU/SEI-2000-TR-020,2000.
  • 3LOUCA S,PITSILLIDES A,SAMARAS G.On network survivability algorithms based on trellis graph transformations[A].Proceedings of the Fourth IEEE Symposium on Computers and Communications[C].Red Sea,Egypt,1999.235-243.
  • 4JHA S K,WING J M,LINGER R C,et al.Survivability analysis of network specifications[A].Proceedings of Workshop on Dependability Despite Malicious Faults,2000 International Conference on Dependable Systems and Networks (DSN 2000)[C].New York,USA:IEEE Computer Society,2000.613-622.
  • 5KRINGS A W,AZADMANESH M H.A Graph Based Model for Survivability Analysis[R].Technical Report UI-CS-TR-02-024,Computer Science Department,University of Idaho,2002.
  • 6ZOLFAGHARIO A,KAUDELI F J.Framework for network survivability performance[J].IEEE Journal on Selected Areas in Communications,1994,12(1):46-51.
  • 7GAO Z X,ONG C H,TAN W K.Survivability assessment:modeling dependencies in information systems[A].Proceedings of the 4th IEEE/CMU/SEI Information Survivability Workshop (ISW-2001/2002)[C].Vancouver,Canada,2001.
  • 8HEVNER A,LINGER R.The flow-service-quality framework:unified engineering for large-scale,adaptive systems[A].Proceedings of the 35th Hawaii International Conference on System Sciences[C].Hawaii,USA,2002.278.
  • 9郭渊博,马建峰.分布式系统中服务可生存性的定量分析[J].同济大学学报(自然科学版),2002,30(10):1190-1193. 被引量:34
  • 10包秀国,胡铭曾,张宏莉,张绍瑞.两种网络安全管理系统的生存性定量分析方法[J].通信学报,2004,25(9):34-41. 被引量:27

二级参考文献23

  • 1Hollway B A,Neumann P G.Survivable computer-communication systems:The problem and working group recommendations[R].Washington:US Army Research Laboratory,1993.
  • 2Neumann P.Commputer related risks[M].Boston:Addison-Wesley,1995.
  • 3Marsh T.Critical foundations:Protecting america's Infrastructures[R].Washington:President's Commission on Critical Infrastructure Protection,1997.
  • 4Ellison R,Fisher D,Linger R,et al.Survivable network systems:An emerging discpline[R].Pittsburgh:Software Engineering Institute,Carnegie Mellon Univesity,1997.
  • 5Vaidya N H.A case for two-level recovery schemes[J].IEEE Transactions on Computers,1998,47(6):656-666.
  • 6Ellison R,Linger R,Longstaff T,et al.Survivability network system analysis:A case study[J].IEEE Software,1999,16(4):70-77.
  • 7Ortalo R,Deswarte Y,Kaaniche M.Experimenting with quantitative evaluation tools for monitoring operational security[J].IEEE Transactions on Software Engineering,1999,25(5):633-650.
  • 8Courcoubetis C,Yannakakis M.The complexity of probabilistic verification[J].Journal of ACM,1995,42(4):857-907.
  • 9Lann G L.Predictability in critical systems[A].Lecture Notes in Computer Science,Formal Techniques in Real-Time and Fault-Tolerant Systems[C].Berlin:Springer-Verlag,1998.315-338.
  • 10Lann G L.Proof-based system engineering and embedded systems[A].Lecture Notes in Computer Science,Embedded Systems[C].Berlin:Springer-Veraly,1998.208-248.

共引文献44

同被引文献86

引证文献11

二级引证文献41

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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