D. S. JASIM AL-FARTTOOSI, “Formal model and Policy specification for software defined networks”, Jour. Kufa Math. Comp., vol. 3, no. 2, pp. 55–62, Dec. 2016.