Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach

被引:5
作者
Torquato, Matheus [1 ,2 ]
Maciel, Paulo [3 ]
Vieira, Marco [1 ]
机构
[1] Univ Coimbra, CISUC, DEI, Coimbra, Portugal
[2] Fed Inst Alagoas, Campus Arapiraca, Arapiraca, Brazil
[3] Univ Fed Pernambuco CIn UFPE, Ctr Informat, Recife, PE, Brazil
来源
2022 IEEE 33RD INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2022) | 2022年
关键词
Software aging and rejuvenation; Moving Target Defense; VM migration; Stochastic Petri Nets;
D O I
10.1109/ISSRE55969.2022.00029
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The use of Virtual Machine (VM) migration as support for software rejuvenation was introduced more than a decade ago. Since then, several works have validated this approach from experimental and theoretical perspectives. Recently, some works shed light on the possibility of using the same technique as Moving Target Defense (MTD). However, to date, no work evaluated the availability and security levels while applying VM migration for both rejuvenation and MTD (multipurpose VM migration). In this paper, we conduct a comprehensive evaluation using Stochastic Petri Net (SPN) models to tackle this challenge. The evaluation covers the steady-state system availability, expected MTD protection, and related metrics of a system under time-based multipurpose VM migration. Results show that the availability and security improvement due to VM migration deployment surpasses 50% in the best scenarios. However, there is a trade-off between availability and security metrics, meaning that improving one implies compromising the other.
引用
收藏
页码:205 / 216
页数:12
相关论文
共 45 条
[1]   Evaluating the effectiveness of shuffle and redundancy MTD techniques in the cloud [J].
Alavizadeh, Hooman ;
Hong, Jin B. ;
Kim, Dong Seong ;
Jang-Jaccard, Julian .
COMPUTERS & SECURITY, 2021, 102 (102)
[2]   Model-based evaluation of combinations of Shuffle and Diversity MTD techniques on the cloud [J].
Alavizadeh, Hooman ;
Kim, Dong Seong ;
Jang-Jaccard, Julian .
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 111 :507-522
[3]   A formal analysis of performance-security tradeoffs under frequent task reconfigurations [J].
Alhozaimy, Sarah ;
Menasce, Daniel A. .
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2022, 127 :252-262
[4]  
[Anonymous], 2010, PROC IEEE 2 INT WORK, DOI DOI 10.1109/WOSAR.2010.5722098
[5]  
[Anonymous], PERSISTENCE TACTIC M
[6]  
Araujo J., 2011, P MIDDLEWARE 2011 IN, P1
[7]   Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models [J].
Araujo, Julian ;
Maciel, Paulo ;
Andrade, Ermeson ;
Callou, Gustavo ;
Alves, Vandi ;
Cunha, Paulo .
JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS, 2018, 7
[8]  
Ashino Y., 2012, 2012 IEEE Workshops of International Conference on Advanced Information Networking and Applications (WAINA), P1089, DOI 10.1109/WAINA.2012.172
[9]  
Awasthi A, 2016, 2016 6th International Conference - Cloud System and Big Data Engineering (Confluence), P130, DOI 10.1109/CONFLUENCE.2016.7508101
[10]   Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views [J].
Bai, Jing ;
Chang, Xiaolin ;
Machida, Fumio ;
Trivedi, Kishor S. ;
Han, Zhen .
IEEE ACCESS, 2020, 8 :6448-6459