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 *