An improvement in the state transition model of intrusion tolerance system is proposed and a semi-Markov process(SMP) model is built.

• 对入侵容忍系统状态转移模型进行了改进,以此构建了半马尔可夫过程(SMP)模型,并用该模型计算了各状态的稳态概率。