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 

COMMENT free research papers, wireless





FREE IEEE PAPERS

IEEE PROJECTS

GLASS CLIMBING ROBOT
ENERGY FROM SPEED BRAKER
GPS TRACKING SYSTEM
ROBOTICS ARMY
CLOUD SECURITY
SOLAR ENERGY
BIG DATA
CLOUD COMPUTING
IOT-INTERNET OF THINGS
ROBOTICS
CONTACT US

Related




NEW IEEE PROJECTS