Dependability Analysis of a Scalable Intrusion Tolerant Architecture with Two Detection Modes

Toshikazu Uemura ； Tadashi Dohi ； Naoto Kaio

《網際網路技術學刊》 11卷2期 (2010/03) Pp. 289-298

https://doi.org/10.6138/JIT.2010.11.2.15

並列摘要

In this paper we consider a discrete-time stochastic model of an intrusion tolerant system with two detection modes; automatic detection mode and manual detection mode. The stochastic behavior of the system is formulated by a discrete-time semi-Markov process and analyzed through an embedded Markov chain (EMC) approach. We derive the optimal time from an automatic detection mode to a manual detection mode, which maximizes the steady-state system availability. Also, we obtain analytically an explicit form of the mean time to security failure (MTTSF). Numerical examples are presented for illustrating the optimal switching of detection mode and its availability/MTTSF performance.

並列關鍵字

SITAR ； Availability ； Intrusion tolerance ； Discrete-time modeling ； Detection mode ； MTTSF ； EMC approach ； Cloud computing circumstance