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]
@inproceedings{TobarraCC07, title = {Formal Analysis of Sensor Network Encryption Protocol (SNEP)}, author = {M. Llanos Tobarra and Diego Cazorla and Fernando Cuartero}, year = {2007}, doi = {10.1109/MOBHOC.2007.4428763}, url = {http://dx.doi.org/10.1109/MOBHOC.2007.4428763}, tags = {protocol, analysis}, researchr = {https://researchr.org/publication/TobarraCC07}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, MASS 2007, 8-11 October 2007, Pisa, Italy}, publisher = {IEEE}, isbn = {978-1-4244-1454-3}, }