{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T13:30:22Z","timestamp":1773408622635,"version":"3.50.1"},"reference-count":39,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T00:00:00Z","timestamp":1409702400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSAN"],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3390\/jsan3030224","type":"journal-article","created":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T11:04:54Z","timestamp":1409742294000},"page":"224-244","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks"],"prefix":"10.3390","volume":"3","author":[{"given":"Ismail","family":"Mansour","sequence":"first","affiliation":[{"name":"Clermont Universit\u00e9, Universit\u00e9 d'Auvergne, LIMOS, BP 10448, F-63000, Clermont-Ferrand, France"},{"name":"CNRS, UMR 6158, LIMOS, F-63173 Aubi\u00e8re, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e9rard","family":"Chalhoub","sequence":"additional","affiliation":[{"name":"Clermont Universit\u00e9, Universit\u00e9 d'Auvergne, LIMOS, BP 10448, F-63000, Clermont-Ferrand, France"},{"name":"CNRS, UMR 6158, LIMOS, F-63173 Aubi\u00e8re, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Lafourcade","sequence":"additional","affiliation":[{"name":"Clermont Universit\u00e9, Universit\u00e9 d'Auvergne, LIMOS, BP 10448, F-63000, Clermont-Ferrand, France"},{"name":"CNRS, UMR 6158, LIMOS, F-63173 Aubi\u00e8re, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"key":"ref_1","first-page":"31","article-title":"Security Vulnerabilities in Wireless Sensor Networks: A Survey","volume":"5","author":"Kavitha","year":"2010","journal-title":"J. Inf. Assur. Secur."},{"key":"ref_2","first-page":"93","article-title":"Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR","volume":"17","author":"Lowe","year":"1996","journal-title":"Soft. Concepts Tools"},{"key":"ref_3","unstructured":"Blanchet, B. (2004, January 9\u201312). Automatic Proof of Strong Secrecy for Security Protocols. Proceedings of the IEEE Symposium on Security and Privacy, Berkeley, CA, USA."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1016\/S0167-739X(02)00180-2","article-title":"AVISPA: Visualizing the performance prediction of parallel iterative solvers","volume":"19","author":"Cabaleiro","year":"2003","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_5","unstructured":"Cremers, C. (2008, January 7\u201314). The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. Proceedings of the 2008 20th International Conference Computer Aided Verification (CAV 2008), Princeton, NJ, USA."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","article-title":"On the Security of Public Key Protocols","volume":"29","author":"Dolev","year":"1983","journal-title":"IEEE Trans. Inf. Theory"},{"key":"ref_7","unstructured":"Basin, D., Cremers, C., and Meadows, C. (2014). Handbook of Model Checking, Springer. Chapter 24."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-642-02671-3_28","article-title":"Adaptive Approach to Network Security","volume":"Volume 39","author":"Ksiezopolski","year":"2009","journal-title":"Computer Networks"},{"key":"ref_9","unstructured":"Mansour, I., Lafourcade, P., and Chalhoub, G. Scyther code of our authentication protocols, 2014. Available online: http:\/\/sancy.univ-bpclermont.fr\/~lafourcade\/jsan-scyther-code.tar."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Mansour, I., Rusinek, D., Chalhoub, G., Lafourcade, P., and Ksiezopolski, B. (, January 22\u201327June). Multihop Node Authentication Mechanisms for Wireless Sensor Networks. Proceedings of the 13th International Conference (ADHOC-NOW 2014), Benidorm, Spain.","DOI":"10.1007\/978-3-319-07425-2_30"},{"key":"ref_11","unstructured":"Mansour, I., Chalhoub, G., and Misson, M. (2014). Security for Multihop Wireless Networks, CRC Press Book."},{"key":"ref_12","first-page":"10","article-title":"Secure Sensor Node Authentication in Wireless Sensor Networks","volume":"46","author":"Akhtar","year":"2012","journal-title":"Int. J. Comput. Appl."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"1086","DOI":"10.1109\/TWC.2008.080128","article-title":"Two-factor user authentication in wireless sensor networks","volume":"8","author":"Das","year":"2009","journal-title":"IEEE Trans. Wirel. Commun."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"4767","DOI":"10.3390\/s110504767","article-title":"A Secured Authentication Protocol for Wireless Sensor Networks Using Elliptic Curves Cryptography","volume":"11","author":"Yeh","year":"2011","journal-title":"Sensors"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"36","DOI":"10.20533\/ijrfidsc.2046.3715.2012.0005","article-title":"Sensor Authentication in Dynamic Wireless Sensor Network Environments","volume":"1","author":"Han","year":"2012","journal-title":"Int. J. RFID Secur. Cryptogr."},{"key":"ref_16","unstructured":"and Rananavare, L.B. (2013). A Robust Message Authentication Scheme in Multihop WSN Using Elliptical Curve Cryptography and Elgamal Signature. Int. J. Eng. Res. Technol. (IJERT), 2."},{"key":"ref_17","unstructured":"Zhang, J., Shankaran, R., Orgun, M.A., Sattar, A., and Varadharajan, V. (2010, January 6\u20139). A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks. Proceedings of the 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Bala, S., Sharma, G., and Verma, A. (2013). Classification of Symmetric Key Management Schemes for Wireless Sensor Networks. Int. J. Secur. Its Appl.","DOI":"10.1145\/2381716.2381828"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1023\/A:1016598314198","article-title":"SPINS: Security Protocols for Sensor Networks","volume":"8","author":"Perrig","year":"2002","journal-title":"Wirel. Netw. J. (WINE)"},{"key":"ref_20","unstructured":"Perrig, A., Canetti, R., Tygar, J., and Song, D. (2000, January 14\u201317). Efficient authentication and signing of multicast streams over lossy channels. Proceedings of the 2000 IEEE Symposium on Security and Privacy, Berkeley, CA, USA."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Munivel, E., and Ajit, G. (2010, January 2\u20134). Efficient Public Key Infrastructure Implementation in Wireless Sensor Networks. Proceedings of the International Conference on Wireless Communication and Sensor Computing, Chennai, India.","DOI":"10.1109\/ICWCSC.2010.5415904"},{"key":"ref_22","unstructured":"Chan, H., and Perrig, A. (2005, January 13\u201317). PIKE: Peer Intermediaries for Key Establishment in Sensor Networks. Proceedings of the 24th Annual Joint Conference of the IEEE Computer and Communications Societies, Miami, FL, USA."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Yu, C., Lu, C., and Kuo, S. (2009, January 22\u201326). A Simple Non-Interactive Pairwise Key Establishment Scheme in Sensor Networks. Proceedings of the IEEE International Conference on Sensing, Communication, and Networking (SECON 2009), Rome, Italy.","DOI":"10.1109\/SAHCN.2009.5168906"},{"key":"ref_24","unstructured":"Blom, R. (1984, January 9\u201311). An optimal class of symmetric key generation systems. Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Zhang, W., Tran, M., Zhu, S., and Cao, G. (2007, January 9\u201314). A Random Perturbation-Based Scheme for Pairwise Key Establishment in Sensor Networks. Proceedings of the ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc 2007), Montr\u00e9al, QC, Canada.","DOI":"10.1145\/1288107.1288120"},{"key":"ref_26","unstructured":"Pister, K.S., Kahn, J.M., and Boser, B.E. Smart dust: Wireless networks of millimeter-scale sensor nodes. Available online: http:\/\/robotics.eecs.berkeley.edu\/ pister\/SmartDust\/."},{"key":"ref_27","unstructured":"Jiang, T., Li, Q., and Ruan, Y. (2004, January 14\u201316). Secure dynamic source routing protocol. Proceedings of the 2004 Fourth International Conference on Computer and Information Technology (CIT \u201904), Wuhan, China."},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, J., Drielsma, P.H., He\u00e1m, P.C., Kouchnarenko, O., and Mantovani, J. (2005, January 6\u201310). The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. Proceedings of the 17th International Conference (CAV\u20192005), Edinburgh, Scotland, UK.","DOI":"10.1007\/11513988_27"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/978-3-642-02002-5_5","article-title":"Comparing State Spaces in Automatic Protocol Analysis","volume":"Volume 5458","author":"Cremers","year":"2009","journal-title":"Formal to Practical Security"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Kerckhof, S., Durvaux, F., Hocquet, C., Bol, D., and Standaert, F. (2012, January 9\u201312). Towards Green Cryptography: A Comparison of Lightweight Ciphers from the Energy Viewpoint. Proceedings of the 14th International Workshop, Leuven, Belgium.","DOI":"10.1007\/978-3-642-33027-8_23"},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Eisenbarth, T., Gong, Z., Guneysu, T., Heyse, S., Indesteege, S., Kerckhof, S., Koeune, F., Nad, T., Plos, T., and Regazzoni, F. (2012, January 10\u201312). Compact Implementation and Performance Evaluation of Block Ciphers in ATtiny Devices. Proceedings of the 5th International Conference on Cryptology in Africa, Ifrance, Morocco.","DOI":"10.1007\/978-3-642-31410-0_11"},{"key":"ref_32","unstructured":"Balasch, J., Ege, B., Eisenbarth, T., Gerard, B., Gong, Z., Guneysu, T., Heyse, S., Kerckhof, S., Koeune, F., and Plos, T. (2012, January 28\u201330). Compact Implementation and Performance Evaluation of Hash Functions in ATtiny Devices. Proceedings of the 11th International Conference (CARDIS 2012), Graz, Austria."},{"key":"ref_33","unstructured":"Cazorla, M., Marquet, K., and Minier, M. (2013, January 29\u201331). Survey and Benchmark of Lightweight Block Ciphers for Wireless Sensor Networks. Proceedings of the 10th International Conference on Security and Cryptography (SECRYPT 2013), Reykjavik, Iceland."},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Liu, A., and Ning, N. (2008, January 22\u201324). TinyECC: A Configurable Library for Elliptic Curve Cryptography in Wireless Sensor Networks. Proceedings of the 7th International Conference on Information Processing in Sensor Networks, St. Louis, MO, USA.","DOI":"10.1109\/IPSN.2008.47"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"C644","DOI":"10.1109\/TIT.1976.1055638","article-title":"New directions in cryptography","volume":"22","author":"Diffie","year":"1976","journal-title":"IEEE Trans. Inf. Theory"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Daemen, J., and Rijmen, V. (2002). The Design of Rijndael: AES\u2014The Advanced Encryption Standard, Springer-Verlag.","DOI":"10.1007\/978-3-662-04722-4_1"},{"key":"ref_37","unstructured":"Toldo, P, Saloni, M., and Manica, N. (2008). AES implementation in TinyOS."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1007\/s11277-013-1419-y","article-title":"Reputation-Based Cooperative Detection Model of Selfish Nodes in Cluster-Based QoS-OLSR Protocol","volume":"75","author":"Moati","year":"2014","journal-title":"Wirel. Personal Commun."},{"key":"ref_39","unstructured":"Internet of Things Lab. Available online: https:\/\/www.iot-lab.info\/."}],"container-title":["Journal of Sensor and Actuator Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2224-2708\/3\/3\/224\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:15:32Z","timestamp":1760217332000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2224-2708\/3\/3\/224"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":39,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2014,9]]}},"alternative-id":["jsan3030224"],"URL":"https:\/\/doi.org\/10.3390\/jsan3030224","relation":{},"ISSN":["2224-2708"],"issn-type":[{"value":"2224-2708","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,3]]}}}