{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:48:43Z","timestamp":1743061723205,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":15,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387887746"},{"type":"electronic","value":"9780387887753"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-88775-3_6","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T17:55:18Z","timestamp":1240077318000},"page":"97-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Security and Dependability Solutions for Web Services and Workflows"],"prefix":"10.1007","author":[{"given":"Spyros","family":"Kokolakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiotis","family":"Rizomiliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Azzedine","family":"Benameur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Smriti Kumar","family":"Sinha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,31]]},"reference":[{"key":"6_CR1_6","unstructured":"Apache Software Foundation (2008) Apache Axis2 User Guide. http:\/\/ws.apache.org\/axis2\/1_4\/userguide.html. Accessed 19 July 2008"},{"key":"6_CR2_6","unstructured":"Benameur A, Abdul Kadir F, Fenet S (2008) XML Rewriting Attacks: Existing Solutions and their Limitation. In: Proceedings of IADIS Applied Computing 2008, Algarve, Portugal"},{"key":"6_CR3_6","doi-asserted-by":"crossref","unstructured":"Bhargavan K, Fournet C, Gordon A. (2004) Verifying policy-based security for Web services. In: Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS2004, ACM Press","DOI":"10.1145\/1030083.1030120"},{"key":"6_CR4_6","doi-asserted-by":"crossref","unstructured":"Delessy NA, Fernadez EB (2008) A Pattern-Driven Security Process for SOA Applications. In: Proceedings of ACM SAC 08","DOI":"10.1145\/1363686.1364217"},{"key":"6_CR5_6","doi-asserted-by":"crossref","unstructured":"Foster H, Uchitel S, Magee J, Krammer J (2006) LTSA-WS: A Tool for Model-Based Verification of Web Service Compositions and Choreography. In: Proceedings of the 28th International Conference on Software Engineering, ICSE2006, May 2006, Shanghai, China","DOI":"10.1145\/1134285.1134408"},{"key":"6_CR6_6","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S1389-1286(01)00214-6","volume":"37","author":"R Grimm","year":"2001","unstructured":"Grimm R, Ochsenschlager P (2001) Binding Cooperation, A Formal Model for Electronic Commerce. Comput Netw 37:171\u2013193","journal-title":"Comput Netw"},{"key":"6_CR7_6","unstructured":"Kokolakis S, Rudolph C, Velikova Z (2008) Enhanced Specification Language for Workflow S&D Requirements\/Properties. Deliverable A2.D2.3 Serenity Project. http:\/\/www.serenity-forum.org\/Work-package-1-2,8.html. Accessed 1 December 2008"},{"key":"6_CR8_6","unstructured":"OASIS (2006) Web Services Security, v1.1. http:\/\/www.oasis-open.org\/specs\/index.php#wssv1.1. Accessed 29 June 2008"},{"key":"6_CR9_6","unstructured":"OASIS (2007) WS-Security Policy v1.2. http:\/\/www.oasis-open.org\/specs\/index.php#wssecpolv1.2. Accessed 29 June 2008"},{"key":"6_CR10_6","unstructured":"OASIS (2007) Web Services Business Process Execution Language Version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html. Accessed 20 July 2008"},{"key":"6_CR11_6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s001650050033","volume":"11","author":"P Ochsenschlager","year":"1999","unstructured":"Ochsenschlager P, Repp J, Rieke R, Nitsche U (1999) The SH-Verification Tool \u2013 Abstraction-Based Verification of Co-operating Systems. Form Asp Comput 11:1\u201324","journal-title":"Form Asp Comput"},{"key":"6_CR12_6","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"M Rouached","year":"2006","unstructured":"Rouached M, Perrin O, Godart C (2006) Securing Web Service Compositions: Formalizing Authorization policies using Event Calculus. In: Dan A, Lamersdorf W (eds) Service-Oriented Computing \u2013 ICSOC 2006. Springer, Berlin, Germany"},{"key":"6_CR13_6","doi-asserted-by":"crossref","unstructured":"Sinha SK, Benameur A (2008) A Formal Solution to Rewriting Attacks on SOAP Messages. In: Proceedings of ACM Secure Web Service Workshop 2008, Fairfax, VA","DOI":"10.1145\/1456492.1456501"},{"key":"6_CR14_6","unstructured":"W3C (2007) SOAP Version 1.2 Part 1: Messaging Framework (Second Edition), April 2007. http:\/\/www.w3.org\/TR\/soap12-part1. Accessed 29 June 2008"},{"key":"6_CR15_6","doi-asserted-by":"crossref","unstructured":"Yang YP, Tan QP, Xiao Y (2005) Verifying Web Services Composition Based on Hierarchical Colored Petri Nets. In: Proceedings of IHIS'05, November 2005, Bremen, Germany","DOI":"10.1145\/1096967.1096977"}],"container-title":["Advances in Information Security","Security and Dependability for Ambient Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-88775-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T22:36:44Z","timestamp":1674167804000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-88775-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387887746","9780387887753"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-88775-3_6","relation":{},"ISSN":["1568-2633"],"issn-type":[{"type":"print","value":"1568-2633"}],"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"31 March 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}