| Journal of Sensor and Actuator Networks | |
| Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks | |
| Ismail Mansour1  Gérard Chalhoub1  | |
| [1] Clermont Université, Université d’Auvergne, LIMOS, BP 10448, F-63000, Clermont-Ferrand, France; E-Mails: | |
| 关键词: authentication; wireless sensor networks; security; overhead of protection; multi-hop; formal verification; | |
| DOI : 10.3390/jsan3030224 | |
| 来源: mdpi | |
PDF
|
|
【 摘 要 】
Designing secure authentication mechanisms in wireless sensor networks in order to associate a node to a secure network is not an easy task due to the limitations of this type of networks. In this paper, we propose different multi-hop node authentication protocols for wireless sensor networks. For each protocol, we provide a formal proof to verify the security of our proposals using Scyther, which is an automatic cryptographic protocols verification tool. We also provide implementation results in terms of execution time consumption obtained by real measurements on TelosB motes. These protocols offer different security mechanisms depending on the design of the protocol itself. Moreover, we evaluate the overhead of protection of each solution by studying the effect on execution time overhead of each protocol. Finally, we propose a mechanism to detect possible attack based on our evaluation results.
【 授权许可】
CC BY
© 2014 by the authors; licensee MDPI, Basel, Switzerland.
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| RO202003190022297ZK.pdf | 220KB |
PDF