Skip to main content

Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals

Publication ,  Journal Article
Zheng, J; Okamura, H; Dohi, T; Trivedi, KS
Published in: IEEE Transactions on Reliability
June 1, 2021

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.

Duke Scholars

Published In

IEEE Transactions on Reliability

DOI

EISSN

1558-1721

ISSN

0018-9529

Publication Date

June 1, 2021

Volume

70

Issue

2

Start / End Page

547 / 562

Related Subject Headings

  • Operations Research
  • 4612 Software engineering
  • 4010 Engineering practice and education
  • 0906 Electrical and Electronic Engineering
  • 0803 Computer Software
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Zheng, J., Okamura, H., Dohi, T., & Trivedi, K. S. (2021). Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals. IEEE Transactions on Reliability, 70(2), 547–562. https://doi.org/10.1109/TR.2020.3026570
Zheng, J., H. Okamura, T. Dohi, and K. S. Trivedi. “Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals.” IEEE Transactions on Reliability 70, no. 2 (June 1, 2021): 547–62. https://doi.org/10.1109/TR.2020.3026570.
Zheng J, Okamura H, Dohi T, Trivedi KS. Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals. IEEE Transactions on Reliability. 2021 Jun 1;70(2):547–62.
Zheng, J., et al. “Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals.” IEEE Transactions on Reliability, vol. 70, no. 2, June 2021, pp. 547–62. Scopus, doi:10.1109/TR.2020.3026570.
Zheng J, Okamura H, Dohi T, Trivedi KS. Quantitative Security Evaluation of Intrusion Tolerant Systems with Markovian Arrivals. IEEE Transactions on Reliability. 2021 Jun 1;70(2):547–562.

Published In

IEEE Transactions on Reliability

DOI

EISSN

1558-1721

ISSN

0018-9529

Publication Date

June 1, 2021

Volume

70

Issue

2

Start / End Page

547 / 562

Related Subject Headings

  • Operations Research
  • 4612 Software engineering
  • 4010 Engineering practice and education
  • 0906 Electrical and Electronic Engineering
  • 0803 Computer Software