The Community for Technology Leaders
IEEE International Conference on Mobile Adhoc and Sensor Systems Conference (2007)
Pisa, Italy
Oct. 8, 2007 to Oct. 11, 2007
ISBN: 978-1-4244-1454-3
pp: 1-6
Gergely Acs , Laboratory of Cryptography and Systems Security (CrySyS), Budapest University of Technology and Economics, Hungary, acs@crysys.hu
Levente Buttyan , Laboratory of Cryptography and Systems Security (CrySyS), Budapest University of Technology and Economics, Hungary, buttyan@crysys.hu
Istvan Vajda , Laboratory of Cryptography and Systems Security (CrySyS), Budapest University of Technology and Economics, Hungary, vajda@crysys.hu
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.
INDEX TERMS
CITATION

G. Acs, L. Buttyan and I. Vajda, "The Security Proof of a Link-state Routing Protocol for Wireless Sensor Networks," IEEE International Conference on Mobile Adhoc and Sensor Systems Conference(MAHSS), Pisa, Italy, 2007, pp. 1-6.
doi:10.1109/MOBHOC.2007.4428765
92 ms
(Ver 3.3 (11022016))