基于随机Petri网的容灾系统安全性分析
容灾是一种在灾难发生时，能够保证数据尽量少的丢失，系统能够不间断地运行，或者尽量快地恢复正常运行。我们提出了采用随机Petri网来建模和定量分析容灾系统的安全性，通过构建一个通用的远程容灾系统模型，使用随机回报网SRN对该系统模型进行建模，描述了SRN模型中的各个位置、变迁的含义以及对整个系统的抽象刻画。为了验证我们的方法，我们使用随机Petri网软件包SPNP进行了仿真，通过仿真实验对容灾系统可用性进行了定量分析，实验结果分析对于增强容灾系统的可用性方面是非常有用的。
容灾系统 数据安全 建模仿真 定量分析
张冬艳 陈红松
北京科技大学 计算机与通信学院,计算机科学与技术系,北京 100083
国内会议
北京
中文
518-528
2011-10-01（万方平台首次上网日期，不代表论文的发表时间）