Modelling secure wireless sensor networks routing protocols with timed automata

ABSTRACT

In this work we focus on secure routing protocols in wireless sensor networks. Routing is a fundamental task in sensor networks and, consequently, attacks on the routing functionality can have a serious impact in the network performance. In order to deal with this problem we propose the application of an existing modelling framework for secure routing protocols which reflects the node capabilities. This framework describes an adversary model adapted to the capabilities of the sensor network. Our proposal is based on timed automata and the UPPAAL tool.

REFERENCES

• 1: A. Armando, D. A. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuéllar, P. H. Drielsma, P.-C. Héam, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron. The AVISPA tool for the automated validation of internet security protocols and applications. In K. Etessami and S. K. Rajamani, editors, CAV, volume 3576 of Lecture Notes in Computer Science, pages 281--285. Springer, 2005.
• 2: G. Behrmann, A. David, and K. G. Larsen. A tutorial on Uppaal. In M. Bernardo and F. Corradini, editors, SFM, volume 3185 of Lecture Notes in Computer Science, pages 200--236. Springer, 2004.
• 3: Edmund M. Clarke, Jr. , Orna Grumberg , Doron A. Peled, Model checking, MIT Press, Cambridge, MA, 2000
• 4: G. ács, L. Buttyán, and I. Vajda. The security proof of a link-state routing protocol for wireless sensor networks. In October, editor, In Proceedings of the 3rd IEEE Workshop on Wireless and Sensor Networks Security (WSNS 2007), Pisa, Italy, 2007. IEEE Press.
• 5: C. Karlof and D. Wagner. Secure routing in wireless sensor networks: Attacks and countermeasures. In First IEEE International Workshop on Sensor Network Protocols and Applications, pages 113--127, May 2003.
• 6: K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134--152, Oct. 1997.
• 7: Gavin Lowe, Casper: a compiler for the analysis of security protocols, Journal of Computer Security, v.6 n.1-2, p.53-84, Sept. 1998
• 8: Adrian Perrig , Robert Szewczyk , Victor Wen , David Culler , J. D. Tygar, SPINS: security protocols for sensor networks, Proceedings of the 7th annual international conference on Mobile computing and networking, p.189-199, July 2001, Rome, Italy [doi>10.1145/381677.381696]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.m Miscellaneous

Additional Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development
          Subjects: Modeling methodologies

General Terms:
Security, Verification

Keywords:
security, timed automata, wireless sensor networks