1 Digital Contract Signing, p.79 ,
79 B.1.2 High-level description, p.86 ,
An attack on the needham-schroeder public-key authentication protocol, Information Processing Letters, vol.56, p.131133, 1995. ,
3 : ASLan nal version with dynamic service and policy composition, 2010. ,
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
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
Automatic Composition of Transition-based semantic Web Services with Messaging, Proc. 31st Int. Conf. Very Large Data Bases, VLDB 2005, p.613624, 2005. ,
Using WSCL in a UDDI Registry 1.02. UDDI Working Draft Technical Note Document, 2001. ,
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
Cryptographic protocol synthesis and verication for multiparty sessions, Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium, p.124140, 2009. ,
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 survey on services composition languages and models, Proceedings of International Workshop on Web Services Modeling and Testing, WS-MaTe2006, p.5163, 2006. ,
Web service composition approaches : From industrial standards to formal methods, Internet and Web Applications and Services, ICIW'07, p.15, 2007. ,
Conversation specication : a new approach to design and analysis of e-service composition, WWW, p.403410, 2003. ,
On the semantics of alice&bob specications of security protocols, Theoretical Computer Science, vol.367, issue.12, p.88122, 2006. ,
Structured Communication-Centred Programming for Web Services, Programming Languages and Systems, pp.217978-217981, 1007. ,
DOI : 10.1007/978-3-540-71316-6_2
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
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
Résolution de problèmes d'accessibilité pour la compilation et la validation de protocoles cryptographiques, 2003. ,
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. ,
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
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
Business Process Modeling Notation (BPMN) http://www.omg.org/ spec, 2006. ,
Web Services Architecture, 2007. ,
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
Automatic service composition and synthesis : the roman model, IEEE Data Eng. Bull, vol.3, p.1822, 2008. ,
On the Security of Public-Key Protocols, IEEE Transactions on Information Theory, vol.2, issue.29, 1983. ,
Strand spaces : why is a security protocol correct ? In Security and Privacy, Proceedings. 1998 IEEE Symposium on, p.160171, 1998. ,
Trust Management in Strand Spaces: A Rely-Guarantee Method ,
DOI : 10.1007/978-3-540-24725-8_23
Web services composition : A story of models, automata, and logics, Proceedings of the 2005 IEEE International Conference on Services Computing, 2005. ,
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
Automatic recognition of tractability in inference relations, Journal of the ACM, vol.40, p.284303, 1993. ,
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
Cryptographic protocol explication and end-point projection, Proceedings of ESORICS'08, p.533547, 2008. ,
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
Algebraic Properties in Alice and Bob Notation, 2009 International Conference on Availability, Reliability and Security, p.433440, 2008. ,
DOI : 10.1109/ARES.2009.95
Algebraic Properties in Alice and Bob Notation, 2009 International Conference on Availability, Reliability and Security, p.433440, 2009. ,
DOI : 10.1109/ARES.2009.95
Using encryption for authentication in large networks of computers, Commun. ACM, vol.21, p.993999, 1978. ,
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
Web services orchestration, HP white paper, 2003. ,
Web services orchestration and choreography, Computer, vol.36, issue.10, p.4652, 2003. ,
DOI : 10.1109/MC.2003.1236471
Protocol insecurity with nite number of sessions is NPcomplete, Proceedings of CSFW'01, p.174190, 2001. ,
Web services verication and prudent implementation, 4th SETOP International Workshop on Autonomous and Spontaneous Security, pp.15-16, 2011. ,
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
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
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. ,
Web Services Description Language (WSDL) 1.1, 2001. ,
Orchestration under security constraints, Formal Methods for Components and Objects, International Symposium, 2010. ,