M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero. Formal Analysis of Sensor Network Encryption Protocol (SNEP). In IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, MASS 2007, 8-11 October 2007, Pisa, Italy. pages 1-6, IEEE, 2007. [doi]
Abstract is missing.