Bodei, Chiara and Dung, Dinh and Gian Luigi, Ferrari (2010) Safer in the Clouds. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Other (GZip) Available under License Creative Commons Attribution No Derivatives. Download (251Kb) |
Official URL: http://compass2.di.unipi.it/TR/Files/TR-10-15.pdf....
Abstract
We outline the design of a framework for modelling <br />cloud computing systems.<br />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. <br />We will focus on the server side of cloud systems, by adopting a pro-active approach, where explicit security policies regulate server's behaviour. <br />
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Cloud Computing Resource Usage Security |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 04 Dec 2014 09:49 |
Last Modified: | 04 Dec 2014 09:49 |
URI: | http://eprints.adm.unipi.it/id/eprint/2259 |
Repository staff only actions
View Item |