B. Sommaire, 1 Digital Contract Signing, p.79

S. Purpose and .. , 79 B.1.2 High-level description, p.86

A. Gavin-lowe, An attack on the needham-schroeder public-key authentication protocol, Information Processing Letters, vol.56, p.131133, 1995.

A. Deliverable, 3 : ASLan nal version with dynamic service and policy composition, 2010.

P. Balbiani, F. Cheikh, and G. Feuillade, Composition of Interactive Web Services Based on Controller Synthesis, 2008 IEEE Congress on Services, Part I, p.521528, 2008.
DOI : 10.1109/SERVICES-1.2008.11

M. Baudet, V. Cortier, and S. Delaune, YAPA, RTA'09, 20th International Conference on Rewriting Techniques and Applications, 2009.
DOI : 10.1145/2422085.2422089

URL : https://hal.archives-ouvertes.fr/inria-00426624

D. Berardi, D. Calvanese, G. De-giacomo, R. Hull, and M. Mecella, Automatic Composition of Transition-based semantic Web Services with Messaging, Proc. 31st Int. Conf. Very Large Data Bases, VLDB 2005, p.613624, 2005.

D. Beringer, H. Kuno, and M. Lemon, Using WSCL in a UDDI Registry 1.02. UDDI Working Draft Technical Note Document, 2001.

A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli, Automatic synthesis of behavior protocols for composable web-services, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, p.141150, 2009.
DOI : 10.1145/1595696.1595719

URL : https://hal.archives-ouvertes.fr/inria-00415421

. Leifer, Cryptographic protocol synthesis and verication for multiparty sessions, Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium, p.124140, 2009.

P. Bieber, A logic of communication in hostile environment, [1990] Proceedings. The Computer Security Foundations Workshop III, p.1422, 1990.
DOI : 10.1109/CSFW.1990.128181

A. Bucchiarone and S. Gnesi, A survey on services composition languages and models, Proceedings of International Workshop on Web Services Modeling and Testing, WS-MaTe2006, p.5163, 2006.

A. Bucchiarone and S. Gnesi, Web service composition approaches : From industrial standards to formal methods, Internet and Web Applications and Services, ICIW'07, p.15, 2007.

T. Bultan, X. Fu, R. Hull, and J. Su, Conversation specication : a new approach to design and analysis of e-service composition, WWW, p.403410, 2003.

C. Caleiro, L. Viganò, and D. Basin, On the semantics of alice&bob specications of security protocols, Theoretical Computer Science, vol.367, issue.12, p.88122, 2006.

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, Programming Languages and Systems, pp.217978-217981, 1007.
DOI : 10.1007/978-3-540-71316-6_2

U. Carlsen, Generating formal cryptographic protocol specications, Research in Security and Privacy Proceedings., 1994 IEEE Computer Society Symposium on, pp.137-146, 1994.
DOI : 10.1109/risp.1994.296586

Y. Chevalier, M. A. Mekki, and M. Rusinowitch, Orchestration under Security Constraints, Sixth International Workshop on Formal Aspects in Security and Trust (FAST2009) Eindhoven , the Netherlands, 2009.
DOI : 10.1007/11805618_21

URL : https://hal.archives-ouvertes.fr/hal-00642855

Y. Chevalier, Résolution de problèmes d'accessibilité pour la compilation et la validation de protocoles cryptographiques, 2003.

Y. Chevalier, L. Compagna, J. Cuellar, P. H. Drielsma, J. Mantovani et al., A High Level Protocol Specication Language for Industrial Security-Sensitive Protocols, Automated Software Engineering. Proceedings of the Workshop on Specication and Automated Processing of Security Requirements , SAPS'04, p.193205, 2004.

Y. Chevalier, M. A. Mekki, and M. Rusinowitch, Automatic Composition of Services with Security Policies, 2008 IEEE Congress on Services, Part I, p.529537, 2008.
DOI : 10.1109/SERVICES-1.2008.13

URL : https://hal.archives-ouvertes.fr/inria-00330338

Y. Chevalier and M. Rusinowitch, Compiling and securing cryptographic protocols, Information Processing Letters, vol.110, issue.3, p.116122, 2010.
DOI : 10.1016/j.ipl.2009.11.004

URL : https://hal.archives-ouvertes.fr/inria-00527633

O. Consortium, Business Process Modeling Notation (BPMN) http://www.omg.org/ spec, 2006.

F. Mccabe, E. Newcomer, M. Champion, C. Ferris, D. Booth et al., Web Services Architecture, 2007.

G. Denker, J. Millen, and H. Rueÿ, CAPSL integrated protocol environment, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00, 2000.
DOI : 10.1109/DISCEX.2000.824980

URL : http://www.csl.sri.com/~millen/capsl/cipe.ps

M. Lenzerini-massimo-mecella-diego-calvanese, G. D. Giacomo, and F. Patrizi, Automatic service composition and synthesis : the roman model, IEEE Data Eng. Bull, vol.3, p.1822, 2008.

D. Dolev and A. Yao, On the Security of Public-Key Protocols, IEEE Transactions on Information Theory, vol.2, issue.29, 1983.

F. J. Fabrega, J. C. Herzog, and J. D. Guttman, Strand spaces : why is a security protocol correct ? In Security and Privacy, Proceedings. 1998 IEEE Symposium on, p.160171, 1998.

J. D. Guttman, F. J. Thayer, J. A. Carlson, J. C. Herzog, J. D. Ramsdell et al., Trust Management in Strand Spaces: A Rely-Guarantee Method
DOI : 10.1007/978-3-540-24725-8_23

R. Hull, Web services composition : A story of models, automata, and logics, Proceedings of the 2005 IEEE International Conference on Services Computing, 2005.

F. Jacquemard, M. Rusinowitch, and L. Vigneron, Compiling and Verifying Security Protocols, Proceedings of LPAR 2000, p.131160, 1955.
DOI : 10.1007/3-540-44404-1_10

URL : https://hal.archives-ouvertes.fr/inria-00099161

A. David and . Mcallester, Automatic recognition of tractability in inference relations, Journal of the ACM, vol.40, p.284303, 1993.

J. Mccarthy and S. Krishnamurth, Trusted Multiplexing of Cryptographic Protocols, Sixth International Workshop on Formal Aspects in Security and Trust (FAST2009) Eindhoven, the Netherlands, 2009.
DOI : 10.1007/978-3-642-12459-4_16

A. Jay, S. Mccarthy, and . Krishnamurthi, Cryptographic protocol explication and end-point projection, Proceedings of ESORICS'08, p.533547, 2008.

J. A. Mccarthy, S. Krishnamurthi, J. D. Guttman, and J. D. , Compiling cryptographic protocols for deployment on the web, Proceedings of the 16th international conference on World Wide Web , WWW '07, p.687696, 2007.
DOI : 10.1145/1242572.1242665

S. Mödersheim, Algebraic Properties in Alice and Bob Notation, 2009 International Conference on Availability, Reliability and Security, p.433440, 2008.
DOI : 10.1109/ARES.2009.95

S. Mödersheim, Algebraic Properties in Alice and Bob Notation, 2009 International Conference on Availability, Reliability and Security, p.433440, 2009.
DOI : 10.1109/ARES.2009.95

M. Roger, M. D. Needham, and . Schroeder, Using encryption for authentication in large networks of computers, Commun. ACM, vol.21, p.993999, 1978.

F. Patrizi, An Introduction to Simulation-Based Techniques for Automated Service Composition, Proceedings of the Fourth European Young Researchers Workshop on Service Oriented Computing, p.3749, 2009.
DOI : 10.2168/LMCS-4(2:5)2008

C. Peltz, Web services orchestration, HP white paper, 2003.

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, p.4652, 2003.
DOI : 10.1109/MC.2003.1236471

M. Rusinowitch and M. Turuani, Protocol insecurity with nite number of sessions is NPcomplete, Proceedings of CSFW'01, p.174190, 2001.

M. Anis-mekki-michaël-rusinowitch-tigran-avanesov and Y. Chevalier, Web services verication and prudent implementation, 4th SETOP International Workshop on Autonomous and Spontaneous Security, pp.15-16, 2011.

M. Turuani, The CL-Atse Protocol Analyser, Term Rewriting and Applications (Proceedings of RTA'06), p.277286, 2006.
DOI : 10.1007/11805618_21

URL : https://hal.archives-ouvertes.fr/inria-00103573

M. Turuani, The CL-Atse Protocol Analyser, Term Rewriting and Applications (Proceedings of RTA'06), p.277286, 2006.
DOI : 10.1007/11805618_21

URL : https://hal.archives-ouvertes.fr/inria-00103573

S. Claus-von-riegen, I. Trickovic, L. Clément, A. Hately, and T. Bellwood, Using BPEL4WS in a UDDI registry. http://www.oasis-open.org/committees/uddi-spec/ doc/tn/uddi-spec-tc-tn-bpel-20040725.pdf, 66] W3C Consortium. XML Path Language (XPath) 2.0, 2004.

W. World-wide and . Consortium, Web Services Description Language (WSDL) 1.1, 2001.

Y. Michaël-rusinowitch, M. A. Chevalier, and . Mekki, Orchestration under security constraints, Formal Methods for Components and Objects, International Symposium, 2010.