Model checking wireless sensor network security protocols: TinySec + LEAP

  1. Tobarra, L.
  2. Cazorla, D.
  3. Cuartero, F.
  4. Díaz, G.
  5. Cambronero, E.
Liburu bilduma:
IFIP International Federation for Information Processing

ISSN: 1571-5736

ISBN: 9780387748986

Argitalpen urtea: 2007

Alea: 248

Orrialdeak: 95-106

Mota: Biltzar ekarpena

DOI: 10.1007/978-0-387-74899-3_9 GOOGLE SCHOLAR lock_openSarbide irekia editor

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus