中国邮电高校学报(英文) ›› 2008, Vol. 15 ›› Issue (2): 88-96.doi: 1005-8885 (2008) 02-0088-09

• Artificial Intelligence • 上一篇    下一篇

Formal modeling and quantitative evaluation for information system survivability based on PEPA

王健,王慧强,赵国生   

  1. Institute of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China
  • 收稿日期:2007-08-10 修回日期:1900-01-01 出版日期:2008-06-30
  • 通讯作者: 王健

Formal modeling and quantitative evaluation for information system survivability based on PEPA

WANG Jian, WANG Hui-qiang, ZHAO Guo-sheng   

  1. Institute of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China
  • Received:2007-08-10 Revised:1900-01-01 Online:2008-06-30
  • Contact: WANG Jian

摘要:

Survivability should be considered beyond security for information system. To assess system survivability accurately, for improvement, a formal modeling and analysis method based on stochastic process algebra is proposed in this article. By abstracting the interactive behaviors between intruders and information system, a transferring graph of system state oriented survivability is constructed. On that basis, parameters are defined and system behaviors are characterized precisely with performance evaluation process algebra (PEPA), simultaneously considering the influence of different attack modes. Ultimately the formal model for survivability is established and quantitative analysis results are obtained by PEPA Workbench tool. Simulation experiments show the effectiveness and feasibility of the developed method, and it can help to direct the designation of survivable system.

关键词:

;survivability,;stochastic;process;algebra,;performance;evaluation;process;algebra,;formal;modeling,;quantitative;evaluation

Abstract:

Survivability should be considered beyond security for information system. To assess system survivability accurately, for improvement, a formal modeling and analysis method based on stochastic process algebra is proposed in this article. By abstracting the interactive behaviors between intruders and information system, a transferring graph of system state oriented survivability is constructed. On that basis, parameters are defined and system behaviors are characterized precisely with performance evaluation process algebra (PEPA), simultaneously considering the influence of different attack modes. Ultimately the formal model for survivability is established and quantitative analysis results are obtained by PEPA Workbench tool. Simulation experiments show the effectiveness and feasibility of the developed method, and it can help to direct the designation of survivable system.

Key words:

survivability;stochastic process algebra;performance evaluation process algebra;formal modeling;quantitative evaluation

中图分类号: