Understanding Link Fabrication Attack in Software Defined Network using Formal Methods
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 e...
Saved in:
Main Authors: | , , , , |
---|---|
Format: | Conference or Workshop Item |
Language: | English English |
Published: |
2020
|
Subjects: | |
Online Access: | https://eprints.ums.edu.my/id/eprint/30450/1/Understanding%20Link%20Fabrication%20Attack%20in%20Software%20Defined%20Network%20using%20Formal%20Methods%20abstract.pdf https://eprints.ums.edu.my/id/eprint/30450/2/Understanding%20Link%20Fabrication%20Attack%20in%20Software%20Defined%20Network%20using%20Formal%20Methods.pdf https://eprints.ums.edu.my/id/eprint/30450/ https://ieeexplore.ieee.org/document/9089520/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Universiti Malaysia Sabah |
Language: | English English |
id |
my.ums.eprints.30450 |
---|---|
record_format |
eprints |
spelling |
my.ums.eprints.304502021-09-06T05:34:37Z https://eprints.ums.edu.my/id/eprint/30450/ Understanding Link Fabrication Attack in Software Defined Network using Formal Methods Suleman Khan Mustapha Aminu Bagiwa Ainuddin Wahid Abdul Wahab Abdullah Gani Ahmed Abdelaziz TK7885-7895 Computer engineering. Computer hardware 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. 2020 Conference or Workshop Item NonPeerReviewed text en https://eprints.ums.edu.my/id/eprint/30450/1/Understanding%20Link%20Fabrication%20Attack%20in%20Software%20Defined%20Network%20using%20Formal%20Methods%20abstract.pdf text en https://eprints.ums.edu.my/id/eprint/30450/2/Understanding%20Link%20Fabrication%20Attack%20in%20Software%20Defined%20Network%20using%20Formal%20Methods.pdf 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. https://ieeexplore.ieee.org/document/9089520/ |
institution |
Universiti Malaysia Sabah |
building |
UMS Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Malaysia Sabah |
content_source |
UMS Institutional Repository |
url_provider |
http://eprints.ums.edu.my/ |
language |
English English |
topic |
TK7885-7895 Computer engineering. Computer hardware |
spellingShingle |
TK7885-7895 Computer engineering. Computer hardware Suleman Khan Mustapha Aminu Bagiwa Ainuddin Wahid Abdul Wahab Abdullah Gani Ahmed Abdelaziz Understanding Link Fabrication Attack in Software Defined Network using Formal Methods |
description |
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. |
format |
Conference or Workshop Item |
author |
Suleman Khan Mustapha Aminu Bagiwa Ainuddin Wahid Abdul Wahab Abdullah Gani Ahmed Abdelaziz |
author_facet |
Suleman Khan Mustapha Aminu Bagiwa Ainuddin Wahid Abdul Wahab Abdullah Gani Ahmed Abdelaziz |
author_sort |
Suleman Khan |
title |
Understanding Link Fabrication Attack in Software Defined Network using Formal Methods |
title_short |
Understanding Link Fabrication Attack in Software Defined Network using Formal Methods |
title_full |
Understanding Link Fabrication Attack in Software Defined Network using Formal Methods |
title_fullStr |
Understanding Link Fabrication Attack in Software Defined Network using Formal Methods |
title_full_unstemmed |
Understanding Link Fabrication Attack in Software Defined Network using Formal Methods |
title_sort |
understanding link fabrication attack in software defined network using formal methods |
publishDate |
2020 |
url |
https://eprints.ums.edu.my/id/eprint/30450/1/Understanding%20Link%20Fabrication%20Attack%20in%20Software%20Defined%20Network%20using%20Formal%20Methods%20abstract.pdf https://eprints.ums.edu.my/id/eprint/30450/2/Understanding%20Link%20Fabrication%20Attack%20in%20Software%20Defined%20Network%20using%20Formal%20Methods.pdf https://eprints.ums.edu.my/id/eprint/30450/ https://ieeexplore.ieee.org/document/9089520/ |
_version_ |
1760230765666238464 |