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

摘要：

　　通过剖析影响可生存性的本质特征，将服务请求与服务器、攻击者与服务器描述为不同的组件，使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程，从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型，并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性，并可在理论上指导可生存系统的设计和实现。

关键词： 计算机网络安全 可生存性 形式化建模 性能评估 进程代数

作者: 王健 郭黎利 李扬

作者单位: 哈尔滨工程大学信息与通信工程学院，黑龙江哈尔滨 150001 哈尔滨理工大学计算机科学与技术学院，黑龙江哈尔滨 150080 哈尔滨工程大学信息与通信工程学院，黑龙江哈尔滨 150001 哈尔滨理工大学计算机科学与技术学院，黑龙江哈尔滨 150080

会议类型: 国内会议

会议名称: 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)

会议地点: 贵阳

会议语种:中文

页码: 89-94

在线出版日期: 2011-08-01（万方平台首次上网日期，不代表论文的发表时间）