| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 486060 | Procedia Computer Science | 2012 | 8 Pages |
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
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
