Date Added: Jan 2011
The authors use a distributed, enriched ?-calculus for describing networks of services. Both services and the 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 services. A static approach is also described, that determines how to compose services while guaranteeing that the execution is always secure, without resorting to any dynamic check. Service-Oriented Computing (SOC) is an emerging paradigm to design distributed applications. In this paradigm, applications are built by assembling together independent computational units, called services.