网络可生存性定义研究

摘要：

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

关键词： 网络可生存性 大规模分布式网络系统 形式化定义

作者: 袁丹 张玉清

作者单位: 中国科学院研究生院国家计算机网络入侵防范中心,北京,100043

会议类型: 国内会议

会议名称: 第二届中国可信计算与信息安全学术会议

会议地点: 河北保定

会议语种:中文

页码: 525-529

在线出版日期: 2006-10-21（万方平台首次上网日期，不代表论文的发表时间）