基于随机Petri网的容灾系统安全性分析  

Security analysis of disaster recovery systems using Stochastic Petri Nets

作　　者：张冬艳[1] 陈红松[1] 

机构地区：[1]北京科技大学计算机与通信学院,计算机科学与技术系,北京100083

出　　处：《清华大学学报（自然科学版）》2011年第10期1281-1286,共6页Journal of Tsinghua University(Science and Technology)

基　　金：网络与交换技术国家重点实验室开放课题资助项目(SKLNST-2008-1-12);国家自然科学基金资助项目(No.90818016);中国博士后科学基金资助项目(20090460245)

摘　　要：该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。The security of disaster recovery systems was analyzed using Stochastic Petri Nets.A generic remote disaster recovery model was constructed with system backup and recovery using Stochastic Petri Nets,including finding the meanings of places and transitions.Then,simulation was made using Stochastic Petri Nets software package（SPNP）.Value of the availability can be obtained by the various probability parameters setting.Simulations show that probability parameters have different effects on the system availability.Failure of the local backup has the greatest influence on the system availability while failure of the remote backup has the least influence on the system availability.

关 键 词：容灾系统 安全性 PETRI网 随机回报网SRN 

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