M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio DÃaz, MarÃa-Emilia Cambronero. Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommunication Systems, 40(3-4):91-99, 2009. [doi]
Abstract is missing.