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.
['Alexey V. Nikolskiy', 'Yu. S. Vasil’ev']
Formal model of cyber attacks on virtualization tools and a measure of hypervisor vulnerability