The security proof of a link-state routing protocol for wireless sensor networks

Gergely Ács, Levente Buttyán, István Vajda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

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.

Original languageEnglish
Title of host publication2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS
DOIs
Publication statusPublished - Dec 1 2007
Event2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS - Pisa, Italy
Duration: Oct 8 2007Oct 11 2007

Publication series

Name2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS

Other

Other2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS
CountryItaly
CityPisa
Period10/8/0710/11/07

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'The security proof of a link-state routing protocol for wireless sensor networks'. Together they form a unique fingerprint.

  • Cite this

    Ács, G., Buttyán, L., & Vajda, I. (2007). The security proof of a link-state routing protocol for wireless sensor networks. In 2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS [4428765] (2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, MASS). https://doi.org/10.1109/MOBHOC.2007.4428765