@INPROCEEDINGS{TCCD-ICIW07, 
author = "Llanos Tobarra and Diego Cazorla and Fernando Cuartero and Gregorio Diaz", 
title = "{Analysis of Web Services Secure Conversation with Formal Methods}", 
booktitle = "{Proc. of the Second International Conference on Internet and Web Applications and Services (ICIW 2007)}",
pages = "",
publisher = "IEEE CS",
year = "2007",  
month = "May",  
address = "Mauritius"
}