Cloud Calculus: Security Verification in Elastic Cloud Computing Platform
Cloud orchestration involves cloud resources scaling up and down, management, as well as manipulation to better respond user's requests and to facilitate operational objectives of the service providers. These promote the elastic nature of cloud platform but force upon significant challenges to cloud service providers. Particularly, security issues such as inconsistency may arise while dynamic changes such as virtual machine migration occur. In this paper, the authors propose a formal framework for the specification of virtual machines migration and security policies updates.