Title: Security and performance analysis of the SEAP authentication protocol in MANETs

Authors: Soumyadev Maity; R.C. Hansdah

Addresses: Department of Computer Science and Automation, Indian Institute of Science, Bangalore 560012, Karnataka, India ' Department of Computer Science and Automation, Indian Institute of Science, Bangalore 560012, Karnataka, India

Abstract: This paper describes and analyses a secure and efficient authentication protocol (SEAP) designed for mobile ad-hoc networks (MANETs). The SEAP protocol is a server coordination-based pairwise symmetric key management protocol which works on a hierarchical network architecture and supports dynamic membership. Besides, the protocol uses a passive external membership granting server (MGS) to provide stronger security. To ensure efficiency, the protocol uses only symmetric key cryptography, and to achieve storage scalability, it makes use of a pseudo random function (PRF). The protocol is also robust against authentication server (AS) compromise. We have formally proved the correctness of the security guarantees provided by the SEAP protocol using the strand space verification model. We have evaluated the proposed protocol using simulations on the QualNet simulator, and experimentations on a MANET testbed. Both simulation and experimental study demonstrate the effectiveness of the proposed protocol as compared to the other existing approaches.

Keywords: authentication protocols; MANETs; mobile ad hoc networks; PRF; pseudo random function; strand space model; symmetric key management; formal verification; network security; performance evaluation; SEAP; symmetric key cryptography; simulation.

DOI: 10.1504/IJAHUC.2017.082519

International Journal of Ad Hoc and Ubiquitous Computing, 2017 Vol.24 No.3, pp.183 - 203

Received: 14 Apr 2014
Accepted: 21 Oct 2014

Published online: 28 Feb 2017 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article