网络可生存性定义研究

作者：袁丹; 张玉清网络可生存性大规模分布式网络系统形式化定义

摘要：对已经提出的网络可生存性定义进行了分析与研究,归纳并总结了网络可生存性的关键要素,然后基于这些要素给出了一个网络可生存性的定义;在该定义的基础上,提出了更加精确、全面、利于实现的七元组的形式化定义,为网络可生存性需求分析、设计和实现提供理论框架,同时也为验证实现的系统是否满足可生存性定义了标准.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社