{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:36:54Z","timestamp":1742960214576,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252709"},{"type":"electronic","value":"9783642252716"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25271-6_2","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T20:56:11Z","timestamp":1323896171000},"page":"23-44","source":"Crossref","is-referenced-by-count":1,"title":["Orchestration under Security Constraints"],"prefix":"10.1007","author":[{"given":"Yannick","family":"Chevalier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed Anis","family":"Mekki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"Rusinowitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"AVANTSSAR. Deliverable 2.1: Requirements for modelling and ASLan v.1 (2008), \n                    \n                      http:\/\/www.avantssar.eu"},{"key":"2_CR2","unstructured":"AVANTSSAR. Deliverable 2.3: ASLan final version with dynamic service and policy composition (2010), \n                    \n                      http:\/\/www.avantssar.eu"},{"key":"2_CR3","unstructured":"AVANTSSAR. Deliverable 5.1: Problem cases and their trust and security requirements (2008), \n                    \n                      http:\/\/www.avantssar.eu"},{"key":"2_CR4","unstructured":"AVANTSSAR. Deliverable 5.4: Assessment of the AVANTSSAR Validation Platform (2010), \n                    \n                      http:\/\/www.avantssar.eu"},{"key":"2_CR5","unstructured":"AVANTSSAR. AVANTSSAR Platform (2010), \n                    \n                      http:\/\/www.avantssar.eu"},{"key":"2_CR6","unstructured":"Armando, A., et al.: The Avispa Tool for the automated validation of internet security protocols and applications, \n                    \n                      http:\/\/www.avispa-project.org\/"},{"key":"2_CR7","unstructured":"AVISPA Deliverable 2.3: The Intermediate Format (2003), \n                    \n                      http:\/\/www.avispa-project.org"},{"key":"2_CR8","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":"2_CR9","first-page":"613","volume-title":"Proceedings of the 31st International Conference on Very Large Data Bases","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30 - September 2, pp. 613\u2013624. ACM, New York (2005)"},{"key":"2_CR10","first-page":"18","volume-title":"Proceedings of the Internet Computing","author":"T. Bultan","year":"2006","unstructured":"Bultan, T., Su, J., Fu, X.: Analyzing conversations of Web services. In: Proceedings of the Internet Computing, pp. 18\u201325. IEEE, Los Alamitos (2006)"},{"key":"2_CR11","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: Proceedings of the International Conference on World Wide Web, WWW 2003, pp. 403\u2013410 (2003)","DOI":"10.1145\/775152.775210"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11948148_16","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"M. Colombo","year":"2006","unstructured":"Colombo, M., Di Nitto, E., Mauri, M.: SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 191\u2013202. Springer, Heidelberg (2006)"},{"key":"2_CR13","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":"2_CR14","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1145\/151261.151265","volume":"40","author":"D.A. McAllester","year":"1993","unstructured":"McAllester, D.A.: Automatic Recognition of Tractability in Inference Relations. Journal of the ACM\u00a040, 284\u2013303 (1993)","journal-title":"Journal of the ACM"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-88871-0_6","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"E. Monfroy","year":"2008","unstructured":"Monfroy, E., Perrin, O., Ringeissen, C.: Dynamic Web Services Provisioning with Constraints. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol.\u00a05331, pp. 26\u201343. Springer, Heidelberg (2008)"},{"key":"2_CR16","unstructured":"Oasis Technical Comittee on Secure Exchange. Ws-securitypolicy 1.2 (2007), \n                    \n                      http:\/\/doc.oasis-open.org\/ws-sx\/ws-securitypolicy\/200702\/ws-securitypolicy-1.2-spec-cd-02.pdf"},{"key":"2_CR17","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: International Joint Conference on Artificial Intelligence, IJCAI (2005)"},{"key":"2_CR18","series-title":"IFIP Transactions","first-page":"283","volume-title":"DS-5","author":"A.P. Sheth","year":"1992","unstructured":"Sheth, A.P., Kashyap, V.: So far (schematically) yet so near (semantically). In: Hsiao, D.K., Neuhold, E.J., Sacks-Davis, R. (eds.) DS-5. IFIP Transactions, vol.\u00a0A-25, pp. 283\u2013312. North-Holland, Amsterdam (1992)"},{"key":"2_CR19","unstructured":"World Wide Web Consortium. Simple Object Access Protocol 1.2 (April 2007), \n                    \n                      http:\/\/www.w3.org\/TR\/soap12-part1"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Rusinowitch, M., Turuani, M.: Protocol insecurity with finite number of sessions is NP-complete. In: Proc.14th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia (June 2001)","DOI":"10.1109\/CSFW.2001.930145"},{"key":"2_CR21","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)"},{"key":"2_CR22","unstructured":"Oasis Consortium. Web Services Business Process Execution Language Version 2.0. (January 23, 2006), \n                    \n                      http:\/\/www.oasis-open.org\/committees\/documents.php?wg_abbrev=wsbpel"},{"key":"2_CR23","unstructured":"World Wide Web Consortium. Web Services Description Language (WSDL) 1.1 (March 15, 2001), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl\n                    \n                    \n                  ,"},{"key":"2_CR24","unstructured":"Wu, Z., Gomadam, K., Ranabahu, A., Sheth, A., Miller, J.: Automatic Composition of Semantic Web Services Using Process Mediation. In: ICEIS, vol.\u00a0(4), pp. 453\u2013462 (2007)"},{"key":"2_CR25","unstructured":"World Wide Web Consortium. XML Path Language (XPath) 2.0. (January 23, 2007), \n                    \n                      http:\/\/www.w3.org\/TR\/xpath20\/"},{"key":"2_CR26","unstructured":"World Wide Web Consortium. XML Schema Definition (XSD) (March 2005), \n                    \n                      http:\/\/www.w3.org\/XML\/Schema"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25271-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T20:37:47Z","timestamp":1555879067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25271-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252709","9783642252716"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25271-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}