可生存属性建模  

Survivability attribute modeling

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

机构地区：[1]哈尔滨工程大学计算机科学技术学院,哈尔滨150001

出　　处：《吉林大学学报（工学版）》2009年第4期1075-1079,共5页Journal of Jilin University:Engineering and Technology Edition

基　　金：'863'国家高技术研究发展计划项目(2006AA01Z451);国家'242'信息安全计划基金项目(2005A33)

摘　　要：为了对可生存关键属性进行建模和仿真,分析可生存性的4个关键属性;在提出对可生存关键属性进行建模的基础上,应用随机Petri网理论对这4个属性分别进行了建模;用Renew工具进行了试验,并给出了相关的java算法和程序;对试验进行了分析,验证了建模的正确性。研究结果对信息系统的可生存性量化分析和评估提供了有力的支持。To model and simulate the key survivability attributes, the definitions of four key attributes were analyzed, including resistance, recognition, recovery and adaptation. Then the concept of modeling survivability attributes was presented and the SPN theory was applied to model the attributes. An efficient PSN tool, Renew, was used to exam the model. The relevant algorithm and program were given in Java language. Simulation was performed to verify the correctness of the model. The proposed model of survivability attributes can provide strong support to the quantitative analysis and evaluation of information system survivability.

关 键 词：计算机应用 可生存属性 随机PETRI网 工作流 

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