入侵容忍系统的状态转移模型定量分析

摘要

对入侵容忍系统状态转移模型进行了改进,以此构建了半马尔可夫过程(SMP)模型,并用该模型计算了各状态的稳态概率.针对4类不同的攻击行为,运用SMP模型研究入侵容忍系统的可用性、完整性与机密性,定量评估入侵容忍系统的安全属性.比较分析了系统安全属性的数值结果,为在不同攻击行为下采取有效的容侵策略提供了依据.