Abdelouahid Derhab , Mohamed Guerroumi , Leandros Maglaras , Mohamed Amine Ferrag , Mithun Mukherjee , Farrukh Aslam Khan
September 2019
6th International Symposium for ICS & SCADA Cyber Security Research 2019 (ICS-CSR)
Cyber Security Research
10th-12th September 2019
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
H. FarhadyH. LeeA. Nakao Software-defined networking: Asurvey, Computer Networks 81 7995 2015
https://www.sdxcentral.com/sdn/definitions/what-is-openflow/
A. KhurshidX. ZouW. ZhouM. CaesarP. B. Godfrey Veriflow:Verifying network-wide invariants in real time, the 10th USENIX Symposium on Networked Systems Design andImplementation (NSDI) 2013 15 27
P. PorrasS. ShinV. YegneswaranM. FongM. TysonG. Gu A security enforcement kernel for OpenFlow networks Proceedings of the first workshop on Hot topics in software defined networks ACM 2012 121 126
E. Al-ShaerS. Al-Haj FlowChecker: Configuration analysis and verification of federated OpenFlow infrastructures Proceedings of the 3rd ACM workshop on Assurable and usable security configuration ACM 2010 37 44
M. A. FerragM. DerdourM. MukherjeeA. DerhabL. MaglarasH. Janicke Blockchain technologies for the internet of things: Researchissues and challenges IEEE Internet of Things Journal 6 2 2188 2204 2019
D. M. F. MattosO. C. M. B. Duarte Authflow: authentication andaccess control mechanism for software defined networking, Annals of Telecommunications 71 11-12 607 615 2016