Title :
The Security Proof of a Link-state Routing Protocol for Wireless Sensor Networks
Author :
Ács, Gergely ; Buttyán, Levente ; Vajda, István
Author_Institution :
Budapest Univ. of Technol. & Econ., Budapest
Abstract :
In this paper, we present a flexible and mathematically rigorous modeling framework for analyzing the security of sensor network routing protocols. Then, we demonstrate the usage of this framework by formally proving that INSENS (Intrusion-Tolerant Routing in Wireless Sensor Networks), which is a secure sensor network routing protocol proposed in the literature independently of our work, can be proven to be secure in our model.
Keywords :
routing protocols; telecommunication security; wireless sensor networks; INSENS; intrusion-tolerant routing; link-state routing protocol; security proof; sensor network routing protocols; wireless sensor networks; Ad hoc networks; Analytical models; Cryptography; Information security; Laboratories; Mathematical model; Routing protocols; Sensor systems; Wireless application protocol; Wireless sensor networks;
Conference_Titel :
Mobile Adhoc and Sensor Systems, 2007. MASS 2007. IEEE International Conference on
Conference_Location :
Pisa
Print_ISBN :
978-1-4244-1454-3
Electronic_ISBN :
978-1-4244-1455-0
DOI :
10.1109/MOBHOC.2007.4428765
