@INPROCEEDINGS{TCC-WSNS07, 
author = "Llanos Tobarra and Diego Cazorla and Fernando Cuartero", 
title = "{Formal Analysis of Sensor Network Encryption Protocol (SNEP)}", 
booktitle = "{Proc. of the 3rd IEEE International Workshop on Wireless and Sensor Networks Security (WSNS 2007)}",
pages = "",
publisher = "IEEE CS",
year = "2007",  
month = "October",  
address = "Pisa (Italy)"
}