Model checking wireless sensor network security protocols: TinySec + LEAP
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Díaz, G.
- Cambronero, E.
ISSN: 1571-5736
ISBN: 9780387748986
Año de publicación: 2007
Volumen: 248
Páginas: 95-106
Tipo: Aportación congreso