@inproceedings{wsns07,
	author={Llanos Tobarra, Diego Cazorla and Fernando Cuartero},
	title={Formal Analysis of Sensor Network Encryption Protocol (SNEP)},
	booktitle={ 3rd IEEE International Workshop on Wireless and Sensor Networks Security
		(IEEE WSNS 2007)},
	year={2007},
	month={October},
	publisher={IEEE}
}