Università di Pisa
Sistema bibliotecario di ateneo

Safer in the Clouds

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.

[img] Other (GZip)
Available under License Creative Commons Attribution No Derivatives.

Download (251Kb)


    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