Formal model of cyber attacks on virtualization tools and a measure of hypervisor vulnerability

• Published in: Automatic control and computer sciences Vol. 49; no. 8; pp. 751 - 757
• Main Authors: Nikolskiy, A. V., Vasil’ev, Yu. S.
• Format: Journal Article
• Language: English
• Published: New York Allerton Press 01-12-2015
• Subjects: Computer Science; Control Structures and Microprogramming; formal model; hypervisor security; cyber attack; virtualization; vulnerability measure
• ISSN: 0146-4116; 1558-108X
• DOI: 10.3103/S014641161508012X

A description has been provided for a formal model of cyber attack on virtualization tools that allow one to formulate condition for the security of virtualization tools. The concept of measuring the vulnerability of virtualization tools has been introduced that characterizes the predisposition of a system to vulnerabilities that contribute to the implementation of cyber attacks in the proposed formal model. These characteristics of virtualization tools allow one to compare different hypervisors and estimate the presence of vulnerabilities in them.