Modelling Secure Wireless Sensor Networks Routing Protocols with Timed Automata

被引：0

作者：

Tobarra, Llanos ^{[1
]}

Cazorla, Diego ^{[1
]}

Cuartero, Fernando ^{[1
]}

Jose Pardo, J. ^{[1
]}

机构：

[1] Univ Castilla La Mancha, Albacete Comp Sci Res Inst I3A, Albacete, Spain

来源：

PM2HW2N'08: PROCEEDINGS OF THE THIRD ACM INTERNATIONAL WORKSHOP ON PERFORMANCE MONITORING, MEASUREMENT, AND EVALUATION OF HETEROGENEOUS WIRELESS AND WIRED NETWORKS | 2008年

关键词：

Security; Timed Automata; Wireless Sensor Networks;

D O I：

10.1145/1454630.1454638

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：51 / 58

页数：8

共 6 条

[1]

ACS G, 2007, P 3 IEEE WORKSH WIR

[2]

Armando A, 2005, LECT NOTES COMPUT SC, V3576, P281

[3]

Behrmann G, 2004, LECT NOTES COMPUT SC, V3185, P200

[4]

Clarke EM, 1999, MODEL CHECKING, P1

[5] Secure routing in wireless sensor networks: Attacks and countermeasures [J].

Karlof, C ;

Wagner, D .

PROCEEDINGS OF THE FIRST IEEE INTERNATIONAL WORKSHOP ON SENSOR NETWORK PROTOCOLS AND APPLICATIONS, 2003, :113-127

[6] Uppaal in a nutshell [J].

Larsen K.G. ;

Pettersson P. ;

Yi W. .

International Journal on Software Tools for Technology Transfer, 1997, 1 (1-2) :134-152

← 1 →