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