任务关键系统可生存性的形式化建模方法  

Study on a formal modeling method for survivability of mission-critical systems

作　　者：王健[1,2] 郭黎利[1] 李扬[2] 

机构地区：[1]哈尔滨工程大学信息与通信工程学院,黑龙江哈尔滨150001 [2]哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨150080

出　　处：《山东大学学报（理学版）》2011年第9期89-94,共6页Journal of Shandong University(Natural Science)

基　　金：黑龙江省教育厅2011年度科学技术研究项目资助(12511099)

摘　　要：通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。By analyzing the essential characters affecting survivability,service request and server,intruder and server are described as different components.The survivability model which accurately depicts system behaviors and properties is constructed from the perspectives of users＇ service requests and attack impact respectively with PEPA,and then similarities and differences are compared.Theoretical analysis and experimental results show that the model can exactly reflect key attributes of survivability and theoretically direct the designation of survivable systems.

关 键 词：可生存性 随机进程代数 性能评估进程代数 形式化建模 

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