Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK

  1. Tobarra, L.
  2. Cazorla, D.
  3. Cuartero, F.
  4. Díaz, G.
  5. Cambronero, E.
Aldizkaria:
Telecommunication Systems

ISSN: 1018-4864,  1572-9451

Argitalpen urtea: 2009

Alea: 40

Zenbakia: 3-4

Orrialdeak: 91-99

Mota: Biltzar ekarpena

DOI: 10.1007/S11235-008-9131-Z GOOGLE SCHOLAR

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus