| 王健,王慧强,赵国生.分布式任务关键系统生存性自动分析与验证[J].高技术通讯(中文),2009,19(6):572~579 |
| 分布式任务关键系统生存性自动分析与验证 |
|
| |
| DOI： |
| 中文关键词: 生存性，概率模型检测，形式化规约，任务关键系统，量化分析 |
| 英文关键词: |
| 基金项目: |
| 作者 | 单位 | | 王健 | 哈尔滨工程大学计算机科学与技术学院 | | 王慧强 | 哈尔滨工程大学计算机科学与技术学院 | | 赵国生 | 哈尔滨工程大学计算机科学与技术学院
哈尔滨师范大学网络中心 |
|
| 摘要点击次数: 2963 |
| 全文下载次数: 2072 |
| 中文摘要: |
| 提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象，在此基础上使用PRISM高级语言构造连续时间马尔可夫链系统概率模型。针对不同程度的攻击故障及系统服务水平，以连续随机逻辑建立系统生存性的形式化规约。借助概率模型检测工具PRISM对模型进行统计和验证，并图形化地表示出系统生存性的自动分析结果。理论分析和实验结果验证了上述方法的合理性和有效性，这些结果可在理论上指导可生存系统的设计和实现。 |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
