Secure Choreography of Cooperating Web Services. - Alf Bengtsson; Lars Westerdahl (ECOWS, 2005)