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

• 作者: 杨超 马建峰
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: 可生存性 可生存体系结构 形式化定义 可生存网络系统
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 综述
• 页码范围: 1-4,7
• 页数: 5页
• 分类号: TP393
• 字数: 3056字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2004.04.001

摘要

随着大规模、分布式网络系统对信息安全需求的进一步提高,其安全问题的研究重点已转移为网络系统的可生存性研究.那么,首要问题是建立统一、规范的网络系统的可生存性定义.文中从网络系统的可生存需求出发,借鉴了近年来国内外的可生存研究成果,提出了规范化的网络系统的可生存性定义,并给出其形式化的描述及其实现模型,为下一阶段的系统可生存性的定量分析提供统一、规范的可生存性定义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机学院	389	4956	30.0	50.0
2	杨超	西安电子科技大学计算机学院	41	333	13.0	16.0