Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks

被引:5
作者
Mansour, Ismail [1 ,2 ]
Chalhoub, Gerard [1 ,2 ]
Lafourcade, Pascal [1 ,2 ]
机构
[1] Univ Auvergne, Clermont Univ, LIMOS, BP 10448, F-63000 Clermont Ferrand, France
[2] CNRS, LIMOS, UMR 6158, F-63173 Aubiere, France
关键词
authentication; wireless sensor networks; security; overhead of protection; multi-hop; formal verification;
D O I
10.3390/jsan3030224
中图分类号
TN [电子技术、通信技术];
学科分类号
0809 ;
摘要
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.
引用
收藏
页码:224 / 244
页数:21
相关论文
共 38 条
[1]  
Al-Mahmud Abdullah, 2012, INT J COMPUTER APPL, V46, P10
[2]  
Armando A, 2005, LECT NOTES COMPUT SC, V3576, P281
[3]  
Bala S., 2013, INT J SECUR ITS APPL
[4]  
Balasch Josep, 2012, Smart Card Research and Advanced Applications. 11th International Conference (CARDIS 2012). Revised Selected Papers, P158, DOI 10.1007/978-3-642-37288-9_11
[5]  
Basin D., 2014, HDB MODEL CHECKING
[6]  
Blanchet B, 2004, P IEEE S SECUR PRIV, P86
[7]   AVISPA:: visualizing the performance prediction of parallel iterative solvers [J].
Blanco, V ;
González, P ;
Cabaleiro, JC ;
Heras, DB ;
Pena, TF ;
Pombo, JJ ;
Rivera, FF .
FUTURE GENERATION COMPUTER SYSTEMS, 2003, 19 (05) :721-733
[8]  
BLOM R, 1985, LECT NOTES COMPUT SC, V209, P335
[9]  
Cazorla M, 2013, PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY (SECRYPT 2013), P543
[10]  
Chan HW, 2005, IEEE INFOCOM SER, P524