Suleman khan, Mustapha Aminu Bagiwa, Ainuddin Wahid Abdul Wahab, Abdullah Gani, Ahmed Abdelaziz. Understanding Link Fabrication Attack in Software Defined Network using Formal Methods. In IEEE International Conference on Informatics, IoT, and Enabling Technologies, ICIoT 2020, Doha, Qatar, February 2-5, 2020. pages 555-562, IEEE, 2020. [doi]
Abstract is missing.