JASIM AL-FARTTOOSI, DAWOOD SALMAN. “Formal Model and Policy Specification for Software Defined Networks”. Journal of Kufa for Mathematics and Computer 3, no. 2 (December 30, 2016): 55–62. Accessed May 17, 2024. https://journal.uokufa.edu.iq/index.php/jkmc/article/view/2119.