Understanding Link Fabrication Attack in Software Defined Network using Formal Methods

Suleman Khan and Mustapha Aminu Bagiwa and Ainuddin Wahid Abdul Wahab and Abdullah Gani and Ahmed Abdelaziz (2020) Understanding Link Fabrication Attack in Software Defined Network using Formal Methods. In: 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), 11 May 2020, Doha, Qatar.

	Text Understanding Link Fabrication Attack in Software Defined Network using Formal Methods abstract.pdf Download (34kB)
	Text Understanding Link Fabrication Attack in Software Defined Network using Formal Methods.pdf Restricted to Registered users only Download (1MB)

Official URL: https://ieeexplore.ieee.org/document/9089520/

Abstract

The complex nature of SDN coupled with the huge number of services they provide; makes the system as a whole prone to some malicious attacks. An attack such as Link Fabrication Attack (LFA) is becoming more and more common with a high degree of sophistication. Different techniques exist which examine the occurrence of LFA in SDN. To ensure that SDN does not suffer from the same attack from the same origin, we have to consider in general the entire system liability, service information, dependencies, and switch as well as host vulnerabilities. However, due to the complex nature and scalability property of SDN, determining the origin of the LFA is not a straight forward. Although other solutions have been proposed to address this problem in traditional networks, a formal method to security in SDN is lacking. In this paper, we discuss a formal method for SDN using Higher-Order Logic (HOL) and as a case study used to examine the LFA in SDN.

Item Type:	Conference or Workshop Item (Paper)
Keyword:	Link Fabrication , SDN , Controller , High order logic
Subjects:	T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK1-9971 Electrical engineering. Electronics. Nuclear engineering > TK7800-8360 Electronics > TK7885-7895 Computer engineering. Computer hardware
Department:	FACULTY > Faculty of Computing and Informatics
Depositing User:	NORAINI LABUK -
Date Deposited:	06 Sep 2021 13:34
Last Modified:	06 Sep 2021 13:34
URI:	https://eprints.ums.edu.my/id/eprint/30450

Actions (login required)

View Item