{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:15Z","timestamp":1725549975915},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_16","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"215-229","source":"Crossref","is-referenced-by-count":6,"title":["Application of Formal Methods to the Analysis of Web Services Security"],"prefix":"10.1007","author":[{"given":"Llanos","family":"Tobarra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregorio","family":"D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Dierks, T., Allen, C.: The TLS Protocol. Version 1.0. RFC 2246. Standards track, Network Working Group (January 1999)","DOI":"10.17487\/rfc2246"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D., Corin, R.: Secure Sessions for Web Services (August 2004), At, http:\/\/research.microsoft.com\/projects\/samoa\/secure-sessions-with-scripts.pdf","DOI":"10.1145\/1111348.1111355"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/1030083.1030120","volume-title":"CCS 2004: Proceedings of the 11th ACM conference on Computer and communications security","author":"K. Bhargavan","year":"2004","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D.: Verifying policy-based security for web services. In: CCS 2004: Proceedings of the 11th ACM conference on Computer and communications security, New York, USA, pp. 268\u2013277. ACM Press, New York (2004)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-30101-1_9","volume-title":"Formal Methods for Components and Objects","author":"K. Bhargavan","year":"2004","unstructured":"Bhargavan, K., Fournet, C., Gordon, A.D., Pucella, R.: Tulafale: A security tool for web services. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 197\u2013222. Springer, Heidelberg (2004)"},{"key":"16_CR5","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"16_CR6","unstructured":"Formal Systems (Europe) Limited. FDR Manual, http:\/\/www.fsel.com\/fdr2_manual.html"},{"key":"16_CR7","unstructured":"Alan Freier, O., Karlton, P., Kocher, P.C.: The SSL Protocol Version 3.0, Internet draft, Netscape (March 1996)"},{"key":"16_CR8","unstructured":"D\u00edaz, G., Pardo, J., Cambronero, E., Valero, V., Cuartero, F.: Verification of Web Services with Timed Automata. In: 1st Int\u2019l Workshop on Automated Specification and Verification of Web Sites (2005)"},{"key":"16_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"16_CR10","unstructured":"IBM and Microsoft. Security in a Web Services World: a proposed architecture and roadmap (April 2002), http:\/\/www.-106.ibm.com\/developerworks\/library\/ws-secmap\/"},{"key":"16_CR11","unstructured":"IBM, Microsoft, and VeriSign. Web Services Security (WS-Security). Version 1.0 (April 2002)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Johnson, J.E., Langworthy, D.E., Lamport, L., Vogt, F.H.: Formal Specification of a Web Services Protocol, February 2004. Electronic Notes in Theoretical Computer Science, vol.\u00a0105 (2004), pp. 147\u2013158 (2004)","DOI":"10.1016\/j.entcs.2004.02.022"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Kent, S., Seo, K.: Security architecture for the internet protocol. Internet Draft (october 2004)","DOI":"10.17487\/rfc4301"},{"key":"16_CR14","unstructured":"Kleiner, E., Roscoe, A.W.: Web Services Security: a preliminary study using Casper and FDR. In: Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2004) (June 2004)"},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/JCS-1998-61-204","volume":"6","author":"G. Lowe","year":"1998","unstructured":"Lowe, G.: Casper: A Compiler for the Analysis of Security Protocols. Journal of Computer Security\u00a06, 53\u201384 (1998)","journal-title":"Journal of Computer Security"},{"key":"16_CR16","unstructured":"Microsoft. Microsoft Web Services Enhacements (WSE) 2.0, http:\/\/msdn.microsoft.com\/webservices\/building\/wse\/"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Nakijima, S.: On verifying Web Services Flows. In: Proc. SAINT 2002 Workshop, January 2002, pp. 223\u2013224 (2002)","DOI":"10.1109\/SAINTW.2002.994574"},{"key":"16_CR18","unstructured":"OASIS. \u201cIdentity Federation. Liberty Alliance Project \u201d (2004)"},{"key":"16_CR19","unstructured":"OASIS. UDDI Version 3.0.2 (October 2004), http:\/\/www.oasis-open.org\/committees\/uddi-spec\/doc\/tcspecs.htm#uddiv3"},{"key":"16_CR20","unstructured":"OASIS. eXtensible Access Control Markup Language (XACML) v2.0 (February 2005)"},{"key":"16_CR21","unstructured":"OASIS. Security Assertion Markup Language (SAML) v2.0 (April 2005)"},{"key":"16_CR22","unstructured":"W3C. Simple Object Access Protocol (SOAP) 1.1(May 2000), http:\/\/www.w3c.org\/TR\/2000\/NOTE-SOAP-20000508"},{"key":"16_CR23","unstructured":"W3C. Web Services Description Language (WSDL) 1.1 (March 2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"16_CR24","unstructured":"W3C. XML Encryption Syntax and Processing (December 2002), http:\/\/www.w3c.org\/TR\/2002\/REC-xmldend-core-20021210"},{"key":"16_CR25","unstructured":"W3C. XML Signature Syntax and Processing (February 2002), http:\/\/www.w3c.org\/TR\/2002\/REC-xmldsig-core-20020212"},{"key":"16_CR26","unstructured":"W3C. Extensible Markup Language (XML)1.1 April (2004), http:\/\/www.w3.org\/TR\/2004\/REC-xml11-20040204\/"},{"key":"16_CR27","unstructured":"W3C. Web Services Architecture (February 2004), http:\/\/www.w3c.org\/TR\/2004\/NOTE-ws-arch-20040211"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:41:34Z","timestamp":1605642094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11549970_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}