Types and Effects for Secure Service Orchestration

A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security constraints that make their composition safe. A static approach is then proposed to determine how to compose services and guarantee that their execution is always secure, without resorting to any dynamic check.

• Type: Conference
• Year: 2006
• Where: CSFW
• Authors: Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
• Keywords: Call-by-property Invocation Mechanism, CSFW 2006, Distributed Calculus, Security Privacy, Static Approach