JASIM AL-FARTTOOSI, DAWOOD SALMAN. 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.