Back close

C2L:A Formal Policy Language for Secure Cloud Configurations

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

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

Admissions Apply Now