{"id":"https://openalex.org/W3026004502","doi":"https://doi.org/10.1109/iciot48696.2020.9089520","title":"Understanding Link Fabrication Attack in Software Defined Network using Formal Methods","display_name":"Understanding Link Fabrication Attack in Software Defined Network using Formal Methods","publication_year":2020,"publication_date":"2020-02-01","ids":{"openalex":"https://openalex.org/W3026004502","doi":"https://doi.org/10.1109/iciot48696.2020.9089520","mag":"3026004502"},"language":"en","primary_location":{"id":"doi:10.1109/iciot48696.2020.9089520","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iciot48696.2020.9089520","pdf_url":null,"source":{"id":"https://openalex.org/S4306498678","display_name":"2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005292451","display_name":"Suleman Khan","orcid":"https://orcid.org/0000-0003-1190-258X"},"institutions":[{"id":"https://openalex.org/I32394136","display_name":"Northumbria University","ror":"https://ror.org/049e6bc10","country_code":"GB","type":"education","lineage":["https://openalex.org/I32394136"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Suleman Khan","raw_affiliation_strings":["Department of Computer and Information Sciences, Northumbria University, Newcastle upon Tyne, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Sciences, Northumbria University, Newcastle upon Tyne, UK","institution_ids":["https://openalex.org/I32394136"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034687963","display_name":"Mustapha Aminu Bagiwa","orcid":"https://orcid.org/0000-0003-2656-7905"},"institutions":[{"id":"https://openalex.org/I12789410","display_name":"Ahmadu Bello University","ror":"https://ror.org/019apvn83","country_code":"NG","type":"education","lineage":["https://openalex.org/I12789410"]}],"countries":["NG"],"is_corresponding":false,"raw_author_name":"Mustapha Aminu Bagiwa","raw_affiliation_strings":["Department of Computer Science, Ahmadu Bello University, Zaria, Nigeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Ahmadu Bello University, Zaria, Nigeria","institution_ids":["https://openalex.org/I12789410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004213577","display_name":"Ainuddin Wahid Abdul Wahab","orcid":"https://orcid.org/0000-0003-1062-0329"},"institutions":[{"id":"https://openalex.org/I33849332","display_name":"University of Malaya","ror":"https://ror.org/00rzspn62","country_code":"MY","type":"education","lineage":["https://openalex.org/I33849332"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Ainuddin Wahid Abdul Wahab","raw_affiliation_strings":["Faculty of Computer Science and Information Technology, University of Malaya, Malaysia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science and Information Technology, University of Malaya, Malaysia","institution_ids":["https://openalex.org/I33849332"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091401182","display_name":"Abdullah Gani","orcid":"https://orcid.org/0000-0002-4388-020X"},"institutions":[{"id":"https://openalex.org/I161371597","display_name":"Universiti of Malaysia Sabah","ror":"https://ror.org/040v70252","country_code":"MY","type":"education","lineage":["https://openalex.org/I161371597"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Abdullah Gani","raw_affiliation_strings":["Faculty of Computing and Informatics, Universiti Malaysia Sabah, Kota, Kinabalu, Malaysia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computing and Informatics, Universiti Malaysia Sabah, Kota, Kinabalu, Malaysia","institution_ids":["https://openalex.org/I161371597"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070694324","display_name":"Ahmed Abdelaziz","orcid":"https://orcid.org/0000-0002-3685-5997"},"institutions":[{"id":"https://openalex.org/I4210090078","display_name":"The Future University","ror":"https://ror.org/0092t1z08","country_code":"SD","type":"education","lineage":["https://openalex.org/I4210090078"]}],"countries":["SD"],"is_corresponding":false,"raw_author_name":"Ahmed Abdelaziz","raw_affiliation_strings":["Faculty of Computer Science, Future University, Khartoum, Sudan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Future University, Khartoum, Sudan","institution_ids":["https://openalex.org/I4210090078"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6663,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.82791136,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"555","last_page":"562"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.804696261882782},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6898349523544312},{"id":"https://openalex.org/keywords/host","display_name":"Host (biology)","score":0.5602625012397766},{"id":"https://openalex.org/keywords/sophistication","display_name":"Sophistication","score":0.5501502156257629},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5281006693840027},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5261361598968506},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.4663502275943756},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42567726969718933},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3367667496204376},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0841958224773407}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.804696261882782},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6898349523544312},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.5602625012397766},{"id":"https://openalex.org/C168725872","wikidata":"https://www.wikidata.org/wiki/Q991663","display_name":"Sophistication","level":2,"score":0.5501502156257629},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5281006693840027},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5261361598968506},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.4663502275943756},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42567726969718933},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3367667496204376},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0841958224773407},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iciot48696.2020.9089520","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iciot48696.2020.9089520","pdf_url":null,"source":{"id":"https://openalex.org/S4306498678","display_name":"2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT)","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.ums.edu.my:30450","is_oa":false,"landing_page_url":"http://eprints.ums.edu.my/30450/1/Understanding%20Link%20Fabrication%20Attack%20in%20Software%20Defined%20Network%20using%20Formal%20Methods%20abstract.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400331","display_name":"UMS Institutional Repository (Universiti Malaysia Sabah)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I161371597","host_organization_name":"Universiti of Malaysia Sabah","host_organization_lineage":["https://openalex.org/I161371597"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1602563381","https://openalex.org/W1984451560","https://openalex.org/W2084915558","https://openalex.org/W2087899556","https://openalex.org/W2245908696","https://openalex.org/W2491346245","https://openalex.org/W2495947746","https://openalex.org/W2530269079","https://openalex.org/W2559652017","https://openalex.org/W2605259187","https://openalex.org/W2760815570","https://openalex.org/W2906443298","https://openalex.org/W2945920181","https://openalex.org/W4211233771"],"related_works":["https://openalex.org/W1982914007","https://openalex.org/W3212136884","https://openalex.org/W2159583675","https://openalex.org/W1852113167","https://openalex.org/W1824242903","https://openalex.org/W2103851758","https://openalex.org/W2155470929","https://openalex.org/W1493858311","https://openalex.org/W2111125783","https://openalex.org/W2398230795"],"abstract_inverted_index":{"The":[0],"complex":[1,95],"nature":[2,96],"of":[3,10,43,52,100,105],"SDN":[4,59,132,144],"coupled":[5],"with":[6,39],"the":[7,15,50,64,68,77,94,103,106,157],"huge":[8],"number":[9],"services":[11],"they":[12],"provide;":[13],"makes":[14],"system":[16,79],"as":[17,28,86,88,150],"a":[18,40,110,126,140,151],"whole":[19],"prone":[20],"to":[21,73,93,119,129,155],"some":[22],"malicious":[23],"attacks.":[24],"An":[25],"attack":[26,66],"such":[27],"Link":[29],"Fabrication":[30],"Attack":[31],"(LFA)":[32],"is":[33,108,133],"becoming":[34],"more":[35,37],"and":[36,84,97,149],"common":[38],"high":[41],"degree":[42],"sophistication.":[44],"Different":[45],"techniques":[46],"exist":[47],"which":[48],"examine":[49,156],"occurrence":[51],"LFA":[53,107,158],"in":[54,75,123,131,159],"SDN.":[55,160],"To":[56],"ensure":[57],"that":[58],"does":[60],"not":[61,109],"suffer":[62],"from":[63,67],"same":[65,69],"origin,":[70],"we":[71,138],"have":[72,116],"consider":[74],"general":[76],"entire":[78],"liability,":[80],"service":[81],"information,":[82],"dependencies,":[83],"switch":[85],"well":[87],"host":[89],"vulnerabilities.":[90],"However,":[91],"due":[92],"scalability":[98],"property":[99],"SDN,":[101],"determining":[102],"origin":[104],"straight":[111],"forward.":[112],"Although":[113],"other":[114],"solutions":[115],"been":[117],"proposed":[118],"address":[120],"this":[121,136],"problem":[122],"traditional":[124],"networks,":[125],"formal":[127,141],"method":[128,142],"security":[130],"lacking.":[134],"In":[135],"paper,":[137],"discuss":[139],"for":[143],"using":[145],"Higher-Order":[146],"Logic":[147],"(HOL)":[148],"case":[152],"study":[153],"used":[154]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}