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