Publicaciones en colaboración con investigadores/as de Instituto de Investigación en Informática de Albacete (1)

2009

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

    Telecommunication Systems