Title: A security framework for node-to-node communications based on the LISP architecture

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.

DOI: 10.1504/IJESDF.2018.093024

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 *

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