Publications in collaboration with researchers from Instituto de Investigación en Informática de Albacete (1)

2009

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

    Telecommunication Systems