Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals

TitleQuantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals
Publication TypeJournal Article
Year of Publication2021
AuthorsJ Zheng, H Okamura, T Dohi, and KS Trivedi
JournalIEEE Transactions on Reliability
Volume70
Issue2
Start Page547
Pagination547 - 562
Date Published06/2021
Abstract

Intrusion tolerance is an ability to keep the correct service by masking the intrusion based on fault-tolerant techniques. With the rapid development of virtualization, the virtual machine (VM)-based intrusion tolerance scheme has been developed according to the concept of state machine replication with Byzantine fault tolerant technique. In this article, we present the quantitative security evaluation of the VM-based intrusion tolerant system with the time to security failure. We assume that the arrival stream follows a Markovian arrival process (MAP), which is one of the most general stochastic processes, and analytically derive the Laplace-Stieltjes transform of time to security failure based on the analysis of the {MAP}/G/1/ queue.

DOI10.1109/TR.2020.3026570
Short TitleIEEE Transactions on Reliability