Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK
- Tobarra, L.
- Cazorla, D.
- Cuartero, F.
- Díaz, G.
- Cambronero, E.
ISSN: 1018-4864, 1572-9451
Año de publicación: 2009
Volumen: 40
Número: 3-4
Páginas: 91-99
Tipo: Aportación congreso