M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio DÃaz, MarÃa-Emilia Cambronero. Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommunication Systems, 40(3-4):91-99, 2009. [doi]
@article{TobarraCCDC09,
title = {Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK},
author = {M. Llanos Tobarra and Diego Cazorla and Fernando Cuartero and Gregorio DÃaz and MarÃa-Emilia Cambronero},
year = {2009},
doi = {10.1007/s11235-008-9131-z},
url = {http://dx.doi.org/10.1007/s11235-008-9131-z},
tags = {model checking, meta-model, protocol, wireless sensor networks, security, Meta-Environment},
researchr = {https://researchr.org/publication/TobarraCCDC09},
cites = {0},
citedby = {0},
journal = {Telecommunication Systems},
volume = {40},
number = {3-4},
pages = {91-99},
}