基于SM-PEPA的关键任务系统自律可信性模型与量化分析
可信性是关键任务系统的核心属性，影响着关键任务的实现和系统整体的性能。然而，由于计算系统管理复杂性的急剧增长，导致传统的使用复杂结构实现可信的方式难于满足现实的需要。本文将现有入侵容忍、自毁技术与自律计算相结合提出了一种基于SM-PEPA的关键任务系统自律可信性模型，以支持自律可信性的形式化分析和推理。该模型具有一定程度的“自管理”能力，采用分级处理的方式应对各种程度的不可信威胁，满足了关键任务系统对可信性的特殊需求。在此基础上，从稳态概率角度提出了一种自律可信性度量方法。最后，结合具体实例，利用PEPA分析工具对模型参数进行了初步分析，确定影响关键任务系统自律可信性的关键因素。
自律计算 可信性模型 量化分析 入侵容忍 自毁技术 分级处理 关键任务系统
王慧强 吕宏武 赵倩 董玺坤
哈尔滨工程大学计算机科学与技术学院，哈尔滨 150001
国内会议
沈阳
中文
34-43
2009-09-22（万方平台首次上网日期，不代表论文的发表时间）