ENGINEERING RESEARCH PAPERS

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 




Related
COMMENT free research papers, wireless





FREE IEEE PAPERS




BIG DATA
CLOUD COMPUTING
IOT-INTERNET OF THINGS
ROBOTICS
CONTACT US

NEW IEEE PROJECTS


IEEE PROJECT PAPERS FOR CSE
IEEE PROJECTS DOWNLOAD
IEEE PROJECTS FOR EEE
IEEE PROJECT PAPERS FOR ECE
IEEE PROJECTS FOR ECE 2016
IEEE PROJECTS FOR ECE 2017
IEEE PROJECTS 2017
IEEE MINI PROJECTS