当前位置: X-MOL 学术IEEE Trans. Reliab. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals
IEEE Transactions on Reliability ( IF 5.0 ) Pub Date : 2020-10-12 , DOI: 10.1109/tr.2020.3026570
Junjun Zheng , Hiroyuki Okamura , Tadashi Dohi , Kishor S. Trivedi

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.

中文翻译:


马尔可夫到达的入侵容忍系统的定量安全评估



入侵容忍是基于容错技术,通过屏蔽入侵来保持正确服务的能力。随着虚拟化技术的快速发展,基于状态机复制概念和拜占庭容错技术的基于虚拟机(VM)的入侵容忍方案得到了发展。在本文中,我们提出了基于虚拟机的入侵容忍系统的安全失败时间的定量安全评估。我们假设到达流遵循马尔可夫到达过程(MAP),这是最常见的随机过程之一,并基于对 MAP/G/1/ 的分析,分析推导了安全故障时间的拉普拉斯-斯蒂尔切斯变换。无穷大队列。
更新日期:2020-10-12
down
wechat
bug