|
|||||
|
|
| 任务关键系统可生存性的形式化建模方法 | |
| 引用本文： | 王健,郭黎利,李扬.任务关键系统可生存性的形式化建模方法[J].山东大学学报(理学版),2011,46(9):89-94. |
| 作者姓名： | 王健 郭黎利 李扬 |
| 作者单位： | 1. 哈尔滨工程大学信息与通信工程学院,黑龙江哈尔滨150001／哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨150080 2. 哈尔滨工程大学信息与通信工程学院,黑龙江哈尔滨,150001 3. 哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨,150080 |
| 基金项目： | 黑龙江省教育厅2011年度科学技术研究项目资助(12511099) |
| 摘 要： | 通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。 |
| 关 键 词： | 可生存性 随机进程代数 性能评估进程代数 形式化建模 |
Study on a formal modeling method for survivability of mission-critical systems |
|
| WANG Jian,GUO Li-li,LI Yang.Study on a formal modeling method for survivability of mission-critical systems[J].Journal of Shandong University,2011,46(9):89-94. | |
| Authors: | WANG Jian GUO Li-li LI Yang |
| Institution: | WANG Jian1,2,GUO Li-li1,LI Yang2 (1.College of Information and Communication Engineering,Harbin Engineering University,Harbin 150001,Heilongjiang,China,2.School of Computer Science and Technology,Harbin University of Science and Technology,Harbin 150080,China) |
| Abstract: | 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 theore... |
| Keywords: | survivability stochastic process algebra performance evaluation process algebra formal modeling |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |