基于PEPA的信息系统可生存性形式化模型  

Formal Modeling for Information System Survivability based on PEPA

作　　者：赵国生[1] 刘海龙[1] 苏岩[1] 

机构地区：[1]哈尔滨师范大学网络中心,哈尔滨150001

出　　处：《价值工程》2010年第27期166-166,共1页Value Engineering

基　　金：黑龙江省教育厅科学技术研究项目(11531237);哈尔滨师范大学科学技术研究项目(KM2007-14)

摘　　要：本文提出了一种基于PEPA的可生存性形式化建模方法,对攻击者和信息系统的交互行为进行精简抽象,构建面向系统可生存性的状态转换图。在此基础上,建立可量化的生存性形式化模型,为可生存系统的设计提供理论指导。This paper proposes a formal modeling and analysis method for survivability based on stochastic process algebra, Through abstracting the interaction between attackers and information system, it constructs a transferring graph of system state for survivability, On the basis, it establishes quantitative survivability model which can help to direct the designation of survivable system.

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

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]