可生存属性建模

摘要：

为了对可生存关键属性进行建模和仿真,分析可生存性的4个关键属性;在提出对可生存关键属性进行建模的基础上,应用随机Petri网理论对这4个属性分别进行了建模;用Renew工具进行了试验,并给出了相关的java算法和程序;对试验进行了分析,验证了建模的正确性.研究结果对信息系统的可生存性量化分析和评估提供了有力的支持.

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

所属期刊栏目：39

分类号：TP393(计算技术、计算机技术)

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

在线出版日期：2016-05-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1075-1079