期刊文献+

信息系统可生存性的定量分析模型

Quantitative Analysis Model for Information System Survivability
下载PDF
导出
摘要 提出一种基于冲突分析方法的信息系统可生存性的定量分析模型。基于冲突的三维状态空间求得各局中人在其可信移动集上的效用矩阵,再由移动欲望最强的局中人发起移动,从而得到系统全局状态转移矩阵。讨论了局势的最终结局,并将冲突的稳定性分析转化为一个Markov分析过程。数值分析结果表明,该模型具有较好的量化分析应用前景。 This paper proposes a quantitative analysis model for information system survivability based on conflict analysis method. Each player's efficiency matrix on its credible motion collection can be obtained based on the three dimensional state space of conflict; then the player whose desires moving are strongest initiates the moving, thus the overall state transition matrix of information system is gotten. The final result of situation, and changing the stability analysis of conflict into a Markov analysis process is discussed. Numerical results indicate that the proposed method may effectively be applied in the quantitative analysis of survivability.
出处 《计算机工程》 CAS CSCD 北大核心 2008年第6期41-42,56,共3页 Computer Engineering
基金 国家“863”计划基金资助项目(2007AA012401) 高等学校博士学科点专项科研基金资助项目(20050217007)
关键词 生存性 冲突 定量分析 局势 survivability conflict , quantitative analysis situation
  • 相关文献

参考文献7

  • 1Westmark R. A Definition for Information System Survivability[C]//Proc, of the 37th Hawaii Internal Conference on System Sciences. USA: IEEE Computer Press, 2004: 2086-2096.
  • 2Jha S, Wing J, Linger R. Survivability Analysis of Network Specifications[C]//Proceedings of International Conference on Dependable Systems and Networks. New York, USA: IEEE Press, 2000: 613-622.
  • 3Hevner A, Linger R. The Flow-service-quality Framework: Unified Engineering for Large-scale, Adaptive Systems[C]//Proceedings of the 35th Hawaii International Conference on System Sciences. Hawaii, USA: IEEE Press. 2002: 4006-4015.
  • 4郭渊博,马建峰.分布式系统中服务可生存性的定量分析[J].同济大学学报(自然科学版),2002,30(10):1190-1193. 被引量:34
  • 5林雪纲,许榕生,熊华,朱淼良.一种信息系统生存性的量化分析框架[J].电子与信息学报,2006,28(9):1721-1726. 被引量:17
  • 6Fraser N M, Hipel K W. Conflict Analysis: Models and Resolutions[M]. New York: North-Holland. 1984.
  • 7Goseva-Popstojanova K. Characterizing Intrusion Tolerant Systems Using a State Transition Model[C]//Proc. of DARPA Information Survivability Conference and Exposition II (DISCEX-II). California, USA: IEEE Press, 2001:211-221.

二级参考文献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.

共引文献45

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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