University of Tasmania
Compute cloud interoperability across heterogeneous distributed Virtual Machines (VM) is an emergent and challenging problem. Security administrators are currently unable to definitively audit cross platform transactions. In order to provide monitored cross platform support, this paper represents a first attempt to model security in cloud systems. A source theoretical policy framework is defined and a formal mapping model articulated that binds to specific VM attribute functional policies, which are used by the cloud environments within which the security administrator has applications deployed. These policies can be used to affect tangible yet flexible access control measures within these abstract environments.