{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:08:07Z","timestamp":1725667687626},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288784"},{"type":"electronic","value":"9783642288791"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28879-1_16","type":"book-chapter","created":{"date-parts":[[2012,3,12]],"date-time":"2012-03-12T10:00:09Z","timestamp":1331546409000},"page":"235-252","source":"Crossref","is-referenced-by-count":1,"title":["Distributed Orchestration of Web Services under Security Constraints"],"prefix":"10.1007","author":[{"given":"Tigran","family":"Avanesov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Chevalier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Anis Mekki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"Rusinowitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Turuani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Automated Validation of Trust and Security of Service-Oriented Architectures, AVANTSSAR project, \n                    \n                      http:\/\/www.avantssar.eu"},{"key":"16_CR2","unstructured":"Network of Excellence on Engineering Secure Future Internet Software Services and Systems, NESSoS project, \n                    \n                      http:\/\/www.nessos-project.eu"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Avanesov, T., Chevalier, Y., Rusinowitch, M., Turuani, M.: Satisfiability of General Intruder Constraints with and without a Set Constructor. Research Report RR-7276, INRIA (May 2010), \n                    \n                      http:\/\/hal.inria.fr\/inria-00480632\/en\/","DOI":"10.1109\/CRISIS.2010.5764919"},{"key":"16_CR4","unstructured":"Baresi, L., Maurino, A., Modafferi, S.: Towards distributed bpel orchestrations. ECEASST\u00a03 (2006)"},{"key":"16_CR5","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic Composition of Transition-based semantic Web Services with Messaging. In: Proc. 31st Int. Conf. Very Large Data Bases, VLDB 2005, pp. 613\u2013624 (2005)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Corin, R., Deni\u00e9lou, P.M., Fournet, C., Leifer, J.J.: Cryptographic protocol synthesis and verification for multiparty sessions. In: 2009 22nd IEEE Computer Security Foundations Symposium, pp. 124\u2013140. IEEE (2009)","DOI":"10.1109\/CSF.2009.26"},{"key":"16_CR8","unstructured":"Bucchiarone, A., Gnesi, S.: A survey on services composition languages and models. In: Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe 2006), pp. 51\u201363 (2006)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW, pp. 403\u2013410 (2003)","DOI":"10.1145\/775209.775210"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-10622-4_3","volume-title":"Advances in Computer Science - ASIAN 2009. Information Security and Privacy","author":"S. Bursuc","year":"2009","unstructured":"Bursuc, S., Comon-Lundh, H., Delaune, S.: Deducibility Constraints. In: Datta, A. (ed.) ASIAN 2009. LNCS, vol.\u00a05913, pp. 24\u201338. Springer, Heidelberg (2009)"},{"issue":"3","key":"16_CR11","first-page":"18","volume":"31","author":"D. Calvanese","year":"2008","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M., Patrizi, F.: Automatic service composition and synthesis: the roman model. IEEE Data Eng. Bull.\u00a031(3), 18\u201322 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Camara, J., Martin, J.A., Salaun, G., Cubo, J., Ouederni, M., Canal, C., Pimentel, E.: Itaca: An integrated toolbox for the automatic composition and adaptation of web services. In: ICSE 2009, pp. 627\u2013630 (2009)","DOI":"10.1109\/ICSE.2009.5070572"},{"issue":"1-3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.tcs.2005.01.015","volume":"338","author":"Y. Chevalier","year":"2005","unstructured":"Chevalier, Y., K\u00fcsters, R., Rusinowitch, M., Turuani, M.: An np decision procedure for protocol insecurity with xor. Theo. Comp. Sci.\u00a0338(1-3), 247\u2013274 (2005)","journal-title":"Theo. Comp. Sci."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/SERVICES-1.2008.13","volume-title":"Proceedings of the 2008 IEEE Congress on Services - Part I, SERVICES 2008","author":"Y. Chevalier","year":"2008","unstructured":"Chevalier, Y., Mekki, M.A., Rusinowitch, M.: Automatic composition of services with security policies. In: Proceedings of the 2008 IEEE Congress on Services - Part I, SERVICES 2008, pp. 529\u2013537. IEEE, Washington, DC (2008)"},{"issue":"3","key":"16_CR15","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.ipl.2009.11.004","volume":"110","author":"Y. Chevalier","year":"2010","unstructured":"Chevalier, Y., Rusinowitch, M.: Compiling and securing cryptographic protocols. Inf. Process. Lett.\u00a0110(3), 116\u2013122 (2010)","journal-title":"Inf. Process. Lett."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the Security of Public-Key Protocols. IEEE Transactions on Information Theory\u00a02(29) (1983)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Fabrega, F.J.T., Herzog, J.C., Guttman, J.D.: Strand spaces: why is a security protocol correct? In: Proceedings of the 1998 IEEE Symposium on Security and Privacy, pp. 160\u2013171 (May 1998)","DOI":"10.21236\/ADA459060"},{"issue":"2","key":"16_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jlap.2011.08.001","volume":"81","author":"J.A. Mart\u00ecn","year":"2012","unstructured":"Mart\u00ecn, J.A., Martinelli, F., Pimentel, E.: Synthesis of secure adaptors. Journal of Logic and Algebraic Programming\u00a081(2), 99\u2013126 (2012), doi:10.1016\/j.jlap.2011.08.001","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"16_CR19","unstructured":"Mazar\u00e9, L.: Computational Soundness of Symbolic Models for Cryptographic Protocols. PhD thesis, Institut National Polytechnique de Grenoble (October 2006)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Patrizi, F.: An introduction to simulation-based techniques for automated service composition. In: YR-SOC 2009, Pisa, Italy. EPTCS, vol.\u00a02, pp. 37\u201349 (June 2009)","DOI":"10.4204\/EPTCS.2.4"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-642-01680-6_9","volume-title":"Trustworthy Software Development Processes","author":"G. Pedraza","year":"2009","unstructured":"Pedraza, G., Estublier, J.: Distributed Orchestration Versus Choreography: The FOCAS Approach. In: Wang, Q., Garousi, V., Madachy, R., Pfahl, D. (eds.) ICSP 2009. LNCS, vol.\u00a05543, pp. 75\u201386. Springer, Heidelberg (2009)"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Peltz, C.: Web Services Orchestration, HP white paper (2003)","DOI":"10.1109\/MC.2003.1236471"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C. Peltz","year":"2003","unstructured":"Peltz, C.: Web services orchestration and choreography. Computer\u00a036, 46\u201352 (2003)","journal-title":"Computer"},{"key":"16_CR24","unstructured":"Quinton, S., Ben-Hafaiedh, I., Graf, S.: From orchestration to choreography: Memoryless and distributed orchestrators. In: Proc. of FLACOS 2009 (2009)"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"ter Beek, M., Bucchiarone, A., Gnesi, S.: Web service composition approaches: From industrial standards to formal methods. In: Second International Conference on Internet and Web Applications and Services, ICIW 2007, page 15 (2007)","DOI":"10.1109\/ICIW.2007.71"},{"key":"16_CR26","unstructured":"The AVISPA Project, \n                    \n                      http:\/\/www.avispa-project.org\/"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/11596141_39","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Trainotti","year":"2005","unstructured":"Trainotti, M., Pistore, M., Calabrese, G., Zacco, G., Lucchese, G., Barbon, F., Bertoli, P.G., Traverso, P.: ASTRO: Supporting Composition and Execution of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 495\u2013501. Springer, Heidelberg (2005), \n                    \n                      http:\/\/sra.itc.it\/projects\/astro\/"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/11805618_21","volume-title":"Term Rewriting and Applications","author":"M. Turuani","year":"2006","unstructured":"Turuani, M.: The CL-Atse Protocol Analyser. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 277\u2013286. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management and Autonomous Spontaneus Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28879-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:30:38Z","timestamp":1556465438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28879-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288784","9783642288791"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28879-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}