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

基于随机Petri网的容灾系统安全性分析 张冬艳 陈红松 (北京科技大学 计算机与通信学院，计算机科学与技术系，北京100083) 摘要：容灾是一种在灾难发生时，能够保证数据尽量少的丢失，系统能够不 阊断地运行，或者尽量快地恢复正常运行。人们对于客灾系统的研究主要 集中在提供容灾的功能，并使系统提供不间断的服务。目前还没有对客灾 系统安金性的研究。因此，我们提出了采用随机Petri网来建模和定量分析 容灾系统的安全性，通过构建一个通用的远程容灾系统模型，使用随机回报 网SRN对该系统模型进行建模，描述了SRN模型中的各个位置、变迁的含 义以及对整个系统的抽象刻画。为了验证我们的方法，我们使用随机Petri 网软件包SPNP进行了仿真，通过仿真实验对容灾系统可用性进行了定量分 析，实验结果分析对于增强容灾系统的可用性方面是非常有用的。 关键词：容灾系统；安全性；Petri网；随机回报网SRN ofdisaster basedon analysis recoverysystem Security StochasticPetriNet ZHANG Dongyan，CHENHongsong of of (Department ScienceTechnology，SchoolComputerCommunication Computer Engineering， of UniversityScience＆TechnologyBeijing。Beijing，100083) isthe and relatedtO for Abstract：Disaster recoveryprocess，policiesprocedures preparing orcontinuationof infrastructurecriticaltOan afteranaturalor recovery technology organization human—induceddisaster．Theresearchfocusedondisaster is tO recoverymainlysupportsystem andcontinuous seldomdoresearchon ofdisaster recovery service．People security recovery．We advocatetheuseof levelformalismbasedonstochasticPetrinetsfor and higher modelingquanti— ofdisaster the tative construct remotedisasterre— securityanalysis recovery．First，wegeneric the of andthe ofthe model，anddescribe