Abstract: This paper provides a complete overview on survivability index from the aspects of index content, attack phases and evaluating standard. It proposes an index system which can present the survivability, formalizes the index system, and gives the mathematical model of index system. Analysis and validation results show that this index system has the features of standardization and completeness. It is significant to quantitative evaluation for information systems survivability.

Key words: survivability, quantitative evaluation, index system, formal specification

摘要： 从内容、攻击阶段、测定标准等不同角度综合分析可生存性指标，提出一种能系统地反映可生存性的指标体系，给出其形式化描述和数学模型。分析与验证结果表明，该指标体系具有规范性、完备性，对信息系统可生存性的定量评估具有指导意义。

关键词: 可生存性, 定量评估, 指标体系, 形式化描述

CLC Number: 

• TP393