𝔖 Bobbio Scriptorium
✦   LIBER   ✦

C2L:A Formal Policy Language for Secure Cloud Configurations

✍ Scribed by Poroor, Jayaraj; Jayaraman, Bharat


Book ID
123538381
Publisher
Elsevier
Year
2012
Tongue
English
Weight
233 KB
Volume
10
Category
Article
ISSN
1877-0509

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


ConSpec — A formal language for policy s
✍ Irem Aktug; Katsiaryna Naliuka 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 716 KB

The paper presents ConSpec, an automata-based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle,