Modelling secure wireless sensor networks routing protocols with timed automata

Authors:
Llanos Tobarra;Diego Cazorla;Fernando Cuartero;J. Jose Pardo
Affiliations:
University of Castilla-La Mancha, Albacete, Spain;University of Castilla-La Mancha, Albacete, Spain;University of Castilla-La Mancha, Albacete, Spain;University of Castilla-La Mancha, Albacete, Spain
Venue:
Proceedings of the 3nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
Year:
2008

Citing 4
Cited 1

Model checking

Model checking
Casper: a compiler for the analysis of security protocols

Journal of Computer Security
SPINS: security protocols for sensor networks

Proceedings of the 7th annual international conference on Mobile computing and networking
The AVISPA tool for the automated validation of internet security protocols and applications

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

Modeling a risk detection system for elderly's home-care with a network of timed automata

IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care

Quantified Score

Hi-index	0.01

Visualization

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.