| 基于PEPA的信息系统可生存性形式化模型 |
| |
| 引用本文： | 赵国生,刘海龙,苏岩. 基于PEPA的信息系统可生存性形式化模型[J]. 价值工程, 2010, 29(27): 166-166 |
| |
| 作者姓名： | 赵国生 刘海龙 苏岩 |
| |
| 作者单位： | 哈尔滨师范大学,网络中心,哈尔滨,150001 |
| |
| 基金项目： | 黑龙江省教育厅科学技术研究项目，哈尔滨师范大学科学技术研究项目 |
| |
| 摘 要： | 本文提出了一种基于PEPA的可生存性形式化建模方法,对攻击者和信息系统的交互行为进行精简抽象,构建面向系统可生存性的状态转换图。在此基础上,建立可量化的生存性形式化模型,为可生存系统的设计提供理论指导。
|
| 关 键 词： | 可生存性 随机进程代数 形式化建模 |
Formal Modeling for Information System Survivability based on PEPA |
| |
| Zhao Guosheng,Liu Hailong,Su Yan. Formal Modeling for Information System Survivability based on PEPA[J]. Value Engineering, 2010, 29(27): 166-166 |
| |
| Authors: | Zhao Guosheng Liu Hailong Su Yan |
| |
| Affiliation: | (Center of Computer Network, Harbin Normal University,Harbin 150001,China ) |
| |
| Abstract: | 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. |
| |
| Keywords: | survivability stochastic process algebra tbrmal modeling |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
