wireless sensor network security

Model checking wireless sensor network security protocols TinySec+ LEAP+ TinyPK

FREE-DOWNLOAD L Tobarra, D Cazorla, F Cuartero, G Díaz… – Telecommunication
Abstract In this paper, a formal analysis of security pro- tocols in the field of wireless sensor networks
is pre- sented. Three complementary protocols, TinySec, LEAP and TinyPK, are modelled using
the high-level formal lan- guage HLPSL, and verified using the model checking tool