Safer in the Clouds (Extended Abstract)

Chiara Bodei,Viet Dung Dinh,Gian Luigi Ferrari
DOI: https://doi.org/10.48550/arXiv.1010.5568
2010-10-27
Cryptography and Security
Abstract:We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by adopting a pro-active approach, where explicit security policies regulate server's behaviour.
What problem does this paper attempt to address?