Authors: Mohammad Muneer Kallash; Jonathan Loo; Aboubaker Lasebae; Mahdi Aiash
Addresses: Faculty of Engineering, University of Kalamoon, Syrian Arab Republic, Syria ' School of Computing and Engineering, University of West London, London, UK ' Faculty of Science and Technologies, Middlesex University, London, UK ' Faculty of Science and Technologies, Middlesex University, London, UK
Abstract: The locator/ID separation protocol (LISP) is a routing architecture that provides new semantics for IP addressing to support communications between peripheral networks of different technologies. Securing the LISP architecture has been investigated in the literature, while securing communications in peripheral networks is left to individual technologies. The authors in this paper advocate the need for a comprehensive solution to secure communications based on LISP. Therefore, the paper introduces a new node-to-node authentication and key agreement protocol. The protocol is formally verified using formal method based on Casper/FDR. Furthermore, the paper demonstrates how to integrate the proposed protocol with existing LISP's security mechanisms in the form of a security framework.
Keywords: authentication and key agreement protocols; node-to-node; formal verification; location/ID split protocol.
International Journal of Electronic Security and Digital Forensics, 2018 Vol.10 No.3, pp.276 - 291
Received: 06 Apr 2017
Accepted: 06 Oct 2017
Published online: 15 May 2018 *