基于SPN的信息系统生存性分析建模研究  

Modeling of Information System Survivability Analysis Based on SPN

作　　者：张乐君[1] 国林[1] 张冰 杨武[1] 王巍[1] 杨永田[1] 

机构地区：[1]哈尔滨工程大学信息安全研究中心,哈尔滨150001 [2]国家计算机网络应急技术处理技术协调中心,北京100029

出　　处：《计算机研究与发展》2009年第6期1019-1027,共9页Journal of Computer Research and Development

基　　金：国家"八六三"高技术研究发展计划基金项目(2006AA01Z451)~~

摘　　要：研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导.The modeling method of information system survivability analysis based on stochastic Petri net is presented for system survivability design in this paper. First, network information system is divided into request modules, communication modules, processing modules, and storage modules for simplifying the SPN model according to its work flow. Next, formal description of system working flow is combined with survivability analysis modeling, and also described are the SPN modeling method of universal information system model, service disabled models, failure-recovery models, modules redundancy models, and survivability attribute models which include resistance, recognition, recovery and adaptation. Accordingly, Renew is used, which is an efficient SPN tool to exam and then puts forward relevant algorithms and programs which are realized by Java language to make quality and quantity analysis of system survivability. Finally, simulation experiment shows that this approach has more description ability and expansibility than the stochastic process algebra method. When there are some changes in the simulation system, the model can 0nly change its corresponding modules to make a new experimental result. All the experiments prove correctness and effectiveness of the modeling method of information system survivability analysis based on SPN. This survivability analysis model can provide theoretical basis and guide for designing a survivable information system.

关 键 词：信息系统 生存性 随机PETRI网 服务生存性 生存性分析模型 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]