M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero. Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. In Luis Orozco-Barbosa, Teresa Olivares, Rafael Casado, Aurelio Bermúdez, editors, Wireless Sensor and Actor Networks - IFIP WG 6.8 First International Conference on Wireless Sensor and Actor Networks, WSAN'07, Albacete, Spain, September 24-26, 2007. Volume 248 of IFIP, pages 95-106, Springer, 2007. [doi]
@inproceedings{TobarraCCDC07,
title = {Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP},
author = {M. Llanos Tobarra and Diego Cazorla and Fernando Cuartero and Gregorio Díaz and María-Emilia Cambronero},
year = {2007},
doi = {10.1007/978-0-387-74899-3_9},
url = {http://dx.doi.org/10.1007/978-0-387-74899-3_9},
researchr = {https://researchr.org/publication/TobarraCCDC07},
cites = {0},
citedby = {0},
pages = {95-106},
booktitle = {Wireless Sensor and Actor Networks - IFIP WG 6.8 First International Conference on Wireless Sensor and Actor Networks, WSAN'07, Albacete, Spain, September 24-26, 2007},
editor = {Luis Orozco-Barbosa and Teresa Olivares and Rafael Casado and Aurelio Bermúdez},
volume = {248},
series = {IFIP},
publisher = {Springer},
isbn = {978-0-387-74898-6},
}