M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero. Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. In Luis Orozco-Barbosa, Teresa Olivares, Rafael Casado, Aurelio Bermúdez, editors, Wireless Sensor and Actor Networks - IFIP WG 6.8 First International Conference on Wireless Sensor and Actor Networks, WSAN'07, Albacete, Spain, September 24-26, 2007. Volume 248 of IFIP, pages 95-106, Springer, 2007. [doi]
Abstract is missing.