ETD system

Electronic theses and dissertations repository

 

Tesi etd-07052011-105210


Thesis type
Tesi di laurea specialistica
Author
BASILE, DAVIDE
URN
etd-07052011-105210
Title
Secure multi-party contracts for web-services
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Commissione
relatore Prof. Degano, Pierpaolo
correlatore Prof. Ferrari, Gian Luigi
controrelatore Prof. Levi, Giorgio
Parole chiave
  • Secure multi-party contracts web-services lambda-r
Data inizio appello
22/07/2011;
Consultabilità
completa
Riassunto analitico
We consider two complementary formal approaches for describing services and their interactive behaviour.<br><br>The first approach is based on the notion of contracts. Contracts are<br>CCS-like processes that contain a description of the external observable behavior of a service. A notion of compliace has been introduced allowing<br>to check whether the interaction between two parties terminate or gets stuck. The second proposal is based on λ-req, a core calculus for services, with primitives for expressing security policies and for composing services in a call-by-contract fashion.<br>In the dissertation we express CCS contracts via λ-req expressions and we prove that the proposed transformation preserves compliance of contracts, by exploiting the security mechanism of λ-req.<br><br>The transformation enjoys further properties.<br>Multi-party and secure contracts are naturally handled. Moreover, the resulting notion of compliance is compositional: one can substitute a service with an equivalent one without breaking the security of the composition.
File