Security Evaluation of an Intrusion Tolerant System with MRSPNs

This paper proposes compositional stochastic models for an intrusion tolerant system to evaluate quantitative security measures for security. The models are described by MRSPNs (Markov regenerative stochastic Petrinets), which have high representation ability. Through modeling of an intrusion tolerant system, we present standardized components using MRSPNs, which would be useful to evaluate security measures for other systems as well as an intrusion tolerant system. In a numerical example, we carry out transient analysis by using developed compositional MRSPN-based models and evaluate the point availability.