| 可生存网络系统的形式化定义 |
| |
| 引用本文： | 杨超,马建峰.可生存网络系统的形式化定义[J].电子科技,2004(4):1-4. |
| |
| 作者姓名： | 杨超 马建峰 |
| |
| 作者单位： | 西安电子科技大学计算机学院,陕西,西安,710071 |
| |
| 基金项目： | 教育部科学技术研究项目 |
| |
| 摘 要： | 随着大规模、分布式网络系统对信息安全需求的进一步提高,其安全问题的研究重点已转移为网络系统的可生存性研究.那么,首要问题是建立统一、规范的网络系统的可生存性定义.文中从网络系统的可生存需求出发,借鉴了近年来国内外的可生存研究成果,提出了规范化的网络系统的可生存性定义,并给出其形式化的描述及其实现模型,为下一阶段的系统可生存性的定量分析提供统一、规范的可生存性定义.
|
| 关 键 词： | 可生存性 可生存体系结构 形式化定义 可生存网络系统 |
| 修稿时间： | 2004年3月7日 |
A Formalized Definition of Network System Survivability |
| |
| Yang Chao,Ma Jianfeng.A Formalized Definition of Network System Survivability[J].Electronic Science and Technology,2004(4):1-4. |
| |
| Authors: | Yang Chao Ma Jianfeng |
| |
| Abstract: | |
| |
| Keywords: | Survivability survivability system architecture formalized definition survivability network systems |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
