DocumentCode
2749978
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
fYear
2007
fDate
8-11 Oct. 2007
Firstpage
1
Lastpage
6
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/MOBHOC.2007.4428765
Filename
4428765
Link To Document