M. Llanos Tobarra Diego Cazorla Fernando Cuartero Gregorio Díaz Application of Formal Methods to the Analysis of Web Services Security. 215-229 2005 conf/epew/2005 EPEW/WS-FM http://dx.doi.org/10.1007/11549970_16 db/conf/epew/epew2005.html#TobarraCCD05