摘要： 运用马尔可夫过程分析了容侵系统的可信性,结合SITAR容侵系统体系中的状态迁移模型,给出了一种基于随机过程的容侵系统可信性的可用度量化方法。最后在此基础上讨论了入侵容忍系统的性质。

关键词: 可信性, 入侵容忍, 量化, 随机过程

Abstract: This paper deals with an issues related to quantifying the security dependability of an intrusion tolerant system,such as the state transition model of the SITAR system.A security intrusion and the response of an intrusion tolerant system to an attack is modeled as a stochastic process.By using the theory on the Markov chain,the steady-state availability of an intrusion tolerant system is computed.At last,the character of intrusion tolerant system is also discussed according to the model.

中图分类号: 

• TP393.08