@inproceedings{DBLP:conf/epew/TobarraCCD05,
  author    = {M. Llanos Tobarra and
               Diego Cazorla and
               Fernando Cuartero and
               Gregorio D{\'{\i}}az},
  title     = {Application of Formal Methods to the Analysis of Web Services Security},
  booktitle = {Formal Techniques for Computer Systems and Business Processes, European
               Performance Engineering Workshop, {EPEW} 2005 and International Workshop
               on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
               September 1-3, 2005, Proceedings},
  pages     = {215--229},
  year      = {2005},
  crossref  = {DBLP:conf/epew/2005},
  url       = {https://doi.org/10.1007/11549970_16},
  doi       = {10.1007/11549970_16},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/epew/TobarraCCD05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"kJvtogZAAigoLW4wc","bibbaseid":"tobarra-cazorla-cuartero-daz-applicationofformalmethodstotheanalysisofwebservicessecurity-2005","downloads":0,"creationDate":"2017-11-08T09:52:20.019Z","title":"Application of Formal Methods to the Analysis of Web Services Security","author_short":["Tobarra, M. L.","Cazorla, D.","Cuartero, F.","Díaz, G."],"year":2005,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/c/Cuartero:Fernando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M.","Llanos"],"propositions":[],"lastnames":["Tobarra"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Cazorla"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Cuartero"],"suffixes":[]},{"firstnames":["Gregorio"],"propositions":[],"lastnames":["Díaz"],"suffixes":[]}],"title":"Application of Formal Methods to the Analysis of Web Services Security","booktitle":"Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings","pages":"215--229","year":"2005","crossref":"DBLP:conf/epew/2005","url":"https://doi.org/10.1007/11549970_16","doi":"10.1007/11549970_16","timestamp":"Fri, 02 Jun 2017 01:00:00 +0200","biburl":"http://dblp.org/rec/bib/conf/epew/TobarraCCD05","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/epew/TobarraCCD05,\n author = {M. Llanos Tobarra and\n Diego Cazorla and\n Fernando Cuartero and\n Gregorio D{\\'{\\i}}az},\n title = {Application of Formal Methods to the Analysis of Web Services Security},\n booktitle = {Formal Techniques for Computer Systems and Business Processes, European\n Performance Engineering Workshop, {EPEW} 2005 and International Workshop\n on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,\n September 1-3, 2005, Proceedings},\n pages = {215--229},\n year = {2005},\n crossref = {DBLP:conf/epew/2005},\n url = {https://doi.org/10.1007/11549970_16},\n doi = {10.1007/11549970_16},\n timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},\n biburl = {http://dblp.org/rec/bib/conf/epew/TobarraCCD05},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Tobarra, M. L.","Cazorla, D.","Cuartero, F.","Díaz, G."],"key":"DBLP:conf/epew/TobarraCCD05","id":"DBLP:conf/epew/TobarraCCD05","bibbaseid":"tobarra-cazorla-cuartero-daz-applicationofformalmethodstotheanalysisofwebservicessecurity-2005","role":"author","urls":{"Paper":"https://doi.org/10.1007/11549970_16"},"downloads":0},"search_terms":["application","formal","methods","analysis","web","services","security","tobarra","cazorla","cuartero","díaz"],"keywords":[],"authorIDs":[],"dataSources":["X6hizZFtb73ScJTEf"]}