摘要： 在运用Jha方法进行信息系统生存性研究时，没有分析不同攻击场景与系统节点失效之间的关联性，也未考虑系统提供多个服务情形下的生存性分析。针对上述问题，提出运用模型检查技术评价系统生存性的改进算法，建立多攻击场景、多个服务情形下系统生存性的计算模型，实例分析证明其具有较好的适用性。

关键词: 信息系统, 生存性分析, 模型检查

Abstract: When Jha makes research on the survivability of information system with the method of model checking, it lacks the research on the relation between the different attacking scenes and failed system nodes, and it does not consider how to measure the survivability when the system provides multi-services at the same time. Aiming at such problems, this paper proposes an improved algorithm of measuring the survivability of information system based on Model Checking(MC), and constructs the survivability model of the system supplying multi-services at the same time facing different test scenes. It is proved that the new method is suit for survivability analysis.

Key words: information system, survivability analysis, Model Checking(MC)

中图分类号: 

• N945