可生存网络系统的形式化定义

A Formalized Definition of Network System Survivability

本文从网络系统的可生存需求出发,借鉴了近年来国内外的可生存研究成果,提出了规范化的网络系统的可生存性定义,并给出其形式化的描述及其实现模型,为下一阶段的系统可生存性的定量分析提供统一、规范的可生存性定义。

This paper puts forward a rigorous definition of network system survivability and gives the formalized descrip- tion of that system. The architecture of survivable network systems and methods for their design are also given in this paper. Making use of this formalized definition of network system survivability, quantitative analysis of the survivable network system can be achieved in the feature.