Publication Type:

Journal Article

Source:

Procedia Computer Science, Volume 10, p.499 - 506 (2012)

URL:

http://www.sciencedirect.com/science/article/pii/S1877050912004218

Keywords:

Cloud computing, Mobile ambients, policylanguage, Security, spatio-temporal logic

Abstract:

We present a formal policy language (C2L) for stating permissible cloud configurations. Syntactically, C2L is based upon a spatio-temporal modal logic and provides a concise and clear statement of policy constraints for colocation, hosting, migration, security, andavailability.We illustrate the language witha numberof policyspecificationexamples and also present an algorithm forverifying whethera cloud configuration along with its history satisfiesaC2Lpolicy specification.We provide complexity analysisof the algorithm, and conclude thatC2Lisa useful and viable formalism for specifying and verifying cloud configuration policies

Cite this Research Publication

Jayaraj Poroor and Bharat Jayaraman, “C2L:A Formal Policy Language for Secure Cloud Configurations”, Procedia Computer Science, vol. 10, pp. 499 - 506, 2012.