C2L:A Formal Policy Language for Secure Cloud Conﬁgurations | Zendy

Jayaraj Poroor | Zendy; Bharat Jayaraman | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

C2L:A Formal Policy Language for Secure Cloud Conﬁgurations

Author(s) -

Jayaraj Poroor,

Bharat Jayaraman

Publication year - 2012

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2012.06.064

Subject(s) - computer science , cloud computing , formalism (music) , security policy , modal , statement (logic) , specification language , programming language , formal description , theoretical computer science , temporal logic , computer security , distributed computing , operating system , linguistics , art , musical , chemistry , philosophy , polymer chemistry , visual arts

We present a formal policy language (C2L) for stating permissible cloud congurations. 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 policyspecicationexamples and also present an algorithm forverifying whethera cloud conguration along with its history satisesaC2Lpolicy specication.We provide complexity analysisof the algorithm, and conclude thatC2Lisa useful and viable formalism for specifying and verifying cloud conguration policie

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research