首页 期刊 电子科技 可生存网络系统的形式化定义 【正文】

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

作者:杨超; 马建峰 西安电子科技大学计算机学院,陕西西安710071
分布式网络系统   可生存性   体系结构   形式化定义   网络安全  

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

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

学术咨询 免费咨询 杂志订阅