@INPROCEEDINGS{TCCDC-WSAN07, 
author = "Llanos Tobarra and Diego Cazorla and Fernando Cuartero and Gregorio Díaz and Emilia Cambronero", 
title = "{Model Checking Wireless Sensor Network Security Protocols: TinySec $+$ LEAP}", 
booktitle = "{Proc. of the First IFIP International Conference on Wireless Sensor and Actor Networks (WSAN'07)}",
pages = "95--106",
publisher = "IFIP Main Series, Springer",
year = "2007",  
month = "September",  
address = "Albacete (Spain)"
}