Publication Type : Journal Article
Thematic Areas : Amrita Center for Cybersecurity Systems and Networks
Publisher : Elsevier
Source : Procedia Computer Science, Elsevier, Volume 10, p.499 - 506 (2012). DOI: https://doi.org/10.1016/j.procs.2012.06.064
Url : http://www.sciencedirect.com/science/article/pii/S1877050912004218
Keywords : Cloud computing, Mobile ambients, policylanguage, Security, spatio-temporal logic
Campus : Amritapuri
School : Centre for Cybersecurity Systems and Networks, Department of Electronics and Communication Engineering, School of Computing
Center : Cyber Security
Department : cyber Security
Year : 2012
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 : J. Poroor and B. Jayaraman, “C2L:A Formal Policy Language for Secure Cloud Configurations”, Procedia Computer Science, Elsevier, Volume 10, p.499 - 506 (2012). DOI: https://doi.org/10.1016/j.procs.2012.06.064