@INPROCEEDINGS{TCCD-IADIS-AC06,  
author = "Llanos Tobarra and Diego Cazorla and Fernando Cuartero and Gregorio Diaz",  
title = "{Formal Verification of TLS Handshake and Extensions for Wireless Networks}",  
booktitle = "Proc. of IADIS International Conference on Applied Computing  (AC'05)",
pages = "57--64",  
publisher = "IADIS Press",   
year = "2006",  
month = "February",  
address = "San Sebastián, Spain"
}