D. Allam, Extension of the service model for security and aspects. Deliverable D1.3, CESSA ANR project, 2011.

G. Berry and G. Boudol, The chemical abstract machine, Theoretical Computer Science, vol.96, issue.1, 1992.
DOI : 10.1016/0304-3975(92)90185-i
URL : https://hal.archives-ouvertes.fr/inria-00075426

U. Keller, On the Semantics of Functional Descriptions of Web Services, The Semantic Web: Research and Applications , 3rd European Semantic Web Conference, pp.605-619, 2006.
DOI : 10.1007/11762256_44

L. Lamport and N. Lynch, Distributed Computing: Models and Methods, Handbook of Theoretical Computer Science, 1990.
DOI : 10.1016/B978-0-444-88074-1.50023-8

P. Lindstrom, Attacking and defending web services, 2004.

T. Sans and I. Cervesato, Qwesst for typesafe web programming, 3rd International Workshop on Logics, Agents, and Mobility (LAM'10) Edinburgh , Scotland, 2010.

F. Seehusen and K. Stolen, Information flow security, abstraction and composition, IET Information Security, vol.3, issue.1, pp.9-33, 2009.
DOI : 10.1049/iet-ifs:20080069