Security Issues in Service Composition

Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on each other's behaviour. Then, service interaction results in a call-by-property mechanism, that matches the client requests with service's. A static approach is also described, that determines how to compose services while guaranteeing that their execution is always secure, without resorting to any dynamic check.

• Type: Conference
• Year: 2006
• Where: FMOODS
• Authors: Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
• Keywords: Call-by-property Mechanism, FMOODS 2006, FMOODS 2007, Security Constraints, Static Approach