JASIM AL-FARTTOOSI, D.S. 2016. Formal model and Policy specification for software defined networks. Journal of Kufa for Mathematics and Computer. 3, 2 (Dec. 2016), 55–62. DOI:https://doi.org/10.31642/JoKMC/2018/030207.