| 基于SPN的信息系统生存性分析建模研究 |
| |
| 引用本文： | 张乐君, 国 林, 张 冰, 杨 武, 王 巍, 杨永田. 基于SPN的信息系统生存性分析建模研究[J]. 计算机研究与发展, 2009, 46(6): 1019-1027. |
| |
| 作者姓名： | 张乐君 国林 张冰 杨武 王巍 杨永田 |
| |
| 作者单位： | 1(哈尔滨工程大学信息安全研究中心 哈尔滨 150001) 2(国家计算机网络应急技术处理技术协调中心 北京 100029) (zhanglejun@hrbeu.edu.cn) |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先，将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分；其次，将信息系统工作流程形式化描述和生存性分析建模相结合，并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析；最后，仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性，并为可生存的信息系统设计提供理论基础和指导.
|
| 关 键 词： | 信息系统 生存性 随机Petri网 服务生存性 生存性分析模型 |
Modeling of Information System Survivability Analysis Based on SPN |
| |
| Zhang Lejun, Guo Lin, Zhang Bing, Yang Wu, Wang Wei, Yang Yongtian. Modeling of Information System Survivability Analysis Based on SPN[J]. Journal of Computer Research and Development, 2009, 46(6): 1019-1027. |
| |
| Authors: | Zhang Lejun Guo Lin Zhang Bing Yang Wu Wang Wei Yang Yongtian |
| |
| Affiliation: | 1(Information Security Research Center, Harbin Engineering University, Harbin 150001) 2(National Computer Network Emergency Response Technical TeamCoordination Center, Beijing 100029) |
| |
| Abstract: | |
| |
| Keywords: | information system survivability stochastic Petri net service survivability survivability analysis model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 |
|
点击此处可从《计算机研究与发展》下载全文 |
