L: A Formal Policy Language for Secure Cloud Configurations.

Jayaraj Poroor Bharat Jayaraman

Published in: ANT/MobiWIS (2012)

Keyphrases

formal language
visual languages
cloud computing
programming language
operational semantics
highly expressive
formal languages
optimal policy
natural language
mathematical theory
formal model
precisely defined
dynamic programming
language learning
model theoretic
cloud storage