{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T00:40:16Z","timestamp":1742690416583,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288784"},{"type":"electronic","value":"9783642288791"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28879-1_12","type":"book-chapter","created":{"date-parts":[[2012,3,12]],"date-time":"2012-03-12T10:00:09Z","timestamp":1331546409000},"page":"173-189","source":"Crossref","is-referenced-by-count":4,"title":["Web Services Verification and Prudent Implementation"],"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"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Network of Excellence on Engineering Secure Future Internet Software Services and Systems, NESSoS project, http:\/\/www.nessos-project.eu"},{"key":"12_CR2","unstructured":"Automated Validation of Trust and Security of Service-Oriented Architectures, AVANTSSAR project (2008-2010), http:\/\/www.avantssar.eu"},{"key":"12_CR3","unstructured":"AVANTSSAR. Deliverable 2.3: ASLan final version with dynamic service and policy composition (2010), http:\/\/www.avantssar.eu\/pdf\/deliverables\/avantssar-d2-3.pdf"},{"key":"12_CR4","unstructured":"AVANTSSAR. Deliverable 5.4: Assessment of the AVANTSSAR Validation Platform (2010), http:\/\/www.avantssar.eu"},{"key":"12_CR5","unstructured":"AVANTSSAR. The AVANTSSAR Validation Platform (2010), http:\/\/www.avantssar.eu"},{"key":"12_CR6","unstructured":"AVISPA. Deliverable 2.3: The Intermediate Format (2003), http:\/\/www.avispa-project.org"},{"key":"12_CR7","unstructured":"Barros, A., Dumas, M., Oaks, P.: A Critical Overview of the Web Services Choreography Description Language (WS-CDL). BPTrends (2005)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1109\/CSF.2009.26","volume-title":"Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium","author":"K. Bhargavan","year":"2009","unstructured":"Bhargavan, K., Corin, R., Deni\u00e9lou, P.-M., Fournet, C., Leifer, J.J.: Cryptographic protocol synthesis and verification for multiparty sessions. In: Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium, pp. 124\u2013140. IEEE Computer Society, Washington, DC (2009)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Bieber, P.: A logic of communication in hostile environment. In: Proceedings of the Computer Security Foundations Workshop III, pp. 14\u201322 (June 1990)","DOI":"10.1109\/CSFW.1990.128181"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MIC.2006.1","volume":"10","author":"T. Bultan","year":"2006","unstructured":"Bultan, T., Su, J., Fu, X.: Analyzing conversations of web services. IEEE Internet Computing\u00a010(1), 18\u201325 (2006)","journal-title":"IEEE Internet Computing"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Carlsen, U.: Generating formal cryptographic protocol specifications. In: Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 137\u2013146 (May 1994)","DOI":"10.1109\/RISP.1994.296586"},{"key":"12_CR13","unstructured":"Chevalier, Y., Mekki, M.A., Rusinowitch, M.: Orchestration under security constraints. In: Sixth International Workshop on Formal Aspects in Security and Trust (FAST 2009), Eindhoven, the Netherlands, November 5-6 (2009)"},{"key":"12_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 Computer Society, Washington, DC (2008)"},{"issue":"3","key":"12_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":"12_CR16","doi-asserted-by":"crossref","unstructured":"Denker, G., Millen, J.: CAPSL integrated protocol environment. In: DARPA Information Survivability Conference (DISCEX 2000), pp. 207\u2013221. IEEE Computer Society (2000)","DOI":"10.1109\/DISCEX.2000.824980"},{"key":"12_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"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/11580850_8","volume-title":"Trustworthy Global Computing","author":"J.D. Guttman","year":"2005","unstructured":"Guttman, J.D., Herzog, J.C., Ramsdell, J.D., Sniffen, B.T.: Programming Cryptographic Protocols. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 116\u2013145. Springer, Heidelberg (2005)"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-12459-4_16","volume-title":"Formal Aspects in Security and Trust","author":"J. McCarthy","year":"2010","unstructured":"McCarthy, J., Krishnamurthi, S.: Trusted Multiplexing of Cryptographic Protocols. In: Degano, P., Guttman, J.D. (eds.) FAST 2009. LNCS, vol.\u00a05983, pp. 217\u2013232. Springer, Heidelberg (2010)"},{"key":"12_CR20","unstructured":"Millen, J., Muller, F.: Cryptographic protocol generation from CAPSL. Technical Report SRI-CSL-01-07, SRI International (December 2001)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"M\u00f6dersheim, S.: Algebraic properties in alice and bob notation. In: ARES, pp. 433\u2013440. IEEE Computer Society (2009)","DOI":"10.1109\/ARES.2009.95"},{"key":"12_CR22","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":"12_CR23","unstructured":"W3C Consortium. XML Path Language (XPath) 2.0, 2nd edn. December 14 (2010), http:\/\/www.w3.org\/TR\/xpath20\/"},{"key":"12_CR24","unstructured":"World Wide Web Consortium. Web Services Choreography Description Language Version 1.0, November 9 (2005), http:\/\/www.w3.org\/TR\/ws-cdl-10\/"}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management and Autonomous Spontaneus Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28879-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T23:51:38Z","timestamp":1742687498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28879-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288784","9783642288791"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28879-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}