JASIM AL-FARTTOOSI, D. S. Formal Model and Policy Specification for Software Defined Networks. Jour. Kufa Math. Comp. 2016, 3, 55-62.