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

A. Armando, The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
DOI : 10.1007/11513988_27

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

D. Berardi, D. Calvanese, G. De-giacomo, M. Lenzerini, and M. Mecella, Automatic Composition of E-services That Export Their Behavior, ICSOC, vol.2003, pp.43-58
DOI : 10.1007/978-3-540-24593-3_4

D. Berardi, D. Calvanese, G. De-giacomo, R. Hull, and M. Mecella, Automatic composition of transition-based semantic web services with messaging, Proceedings of the 31st International Conference on Very Large Data Bases, pp.613-624, 2005.

T. Bultan, J. Su, and X. Fu, Analyzing conversations of Web services, Proceedings of the Internet Computing, pp.18-25, 2006.
DOI : 10.1109/MIC.2006.1

T. Bultan, X. Fu, R. Hull, and J. Su, Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003.
DOI : 10.1145/775152.775210

M. Colomb, D. Nitto, E. Mauri, and M. , CENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules Service-Oriented Computing -ICSOC, 4th International Conference, 2006.

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

A. David, McAllester Automatic Recognition of Tractability in, Inference Relations Journal of the ACM, vol.40, pp.284-303, 1993.

A. P. Sheth and V. Kashyap, So Far (Schematically) yet So Near (Semantically), DS-5. Volume A-25 of IFIP Transactions, pp.283-312, 1992.
DOI : 10.1016/B978-0-444-89879-1.50022-1

W. World-wide and . Consortium, Simple Object Access Protocol 1.2. http://www.w3. org, pp.12-13, 2007.

M. Rusinowitch and M. Turuani, Protocol insecurity with finite number of sessions is NPcomplete, Proc.14th IEEE Computer Security Foundations Workshop, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100411

M. Turuani, The CL-Atse Protocol Analyser, Term Rewriting and Applications -Proc. of RTA, pp.277-286, 2006.
DOI : 10.1007/11805618_21

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

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

Z. Wu, K. Gomadam, A. Ranabahu, A. Sheth, and J. Miller, Automatic Composition of Semantic Web Services Using Process Mediation, ICEIS, issue.4, pp.453-462, 2007.

W. World-wide and . Consortium, XML Path Language (XPath) 2.0, p.23, 2007.

W. World-wide and . Consortium, XML Schema Definition (XSD) http://www.w3.org, 2005.

M. Ok, } inv(pkts)) ·timestamp ok(sha1(contract · s2 · signaturepolicy) · n258(N ) ·{sha1(sha1(contract · s2 · signaturepolicy) · n258(N ))} inv(pkts) · n267, (contract · s1 · signaturepolicy) · n267(N ))} inv(pkts) · n258(N ) ·{sha1(sha1(contract · s2 · signaturepolicy) · n258(N ))} inv, pp.1-1