基于随机过程的容侵系统可信性量化方法

Quantifying Dependability of Intrusion Tolerant System Based on Stochastic Processes

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

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.