Nonlinear Phenomena in Complex Systems, 2014, Vol.17, No.3, pp.253-262

NONLINEAR PHENOMENA IN COMPLEX SYSTEMS
An Interdisciplinary Journal

2014, Vol.17, No.3, pp.253-262

On Formal Security Model for Virtual Machine Hypervisors in Cloud Computing Systems
D. P. Zegzhda and A. V. Nikolsky

The paper describes a formal security model for virtual machine hypervisors in cloud systems based on the graph theory. This model defines security properties and data access operations hierarchy inside virtual machines and hypervisors in the cloud. The proposed model makes it possible to formalize major security issues for cloud systems and define tasks for hypervisor security and methods to solve them as well as the security condition for the virtual machine hypervisors..

Key words: cloud computing, hypervisor security, virtualisation, graph theory, virtual machine

Full text: Acrobat PDF (360KB) Open Access