论文部分内容阅读
可信性是关键任务系统的核心属性，影响着关键任务的实现和系统整体的性能。然而，由于计算系统管理复杂性的急剧增长，导致传统的使用复杂结构实现可信的方式难于满足现实的需要。本文将现有入侵容忍、自毁技术与自律计算相结合提出了一种基于SM-PEPA的关键任务系统自律可信性模型，以支持自律可信性的形式化分析和推理。该模型具有一定程度的“自管理”能力，采用分级处理的方式应对各种程度的不可信威胁，满足了关键任务系统对可信性的特殊需求。在此基础上，从稳态概率角度提出了一种自律可信性度量方法。最后，结合具体实例，利用PEPA分析工具对模型参数进行了初步分析，确定影响关键任务系统自律可信性的关键因素。