@INPROCEEDINGS{TCCD-WSFM05,  
author = "Llanos Tobarra and Diego Cazorla and Fernando Cuartero and Gregorio Diaz",  
title = "{Application of Formal Methods to the  Analysis of Web Services Security}",  
booktitle = "Formal Techniques for Computer Systems and Business processes  (EPEW'05 \& WSFM'05), LNCS 3670",
pages = "215-229",  
publisher = "Springer",   
year = "2005",  
month = "September",  
address = "Versailles, France"
}