Formal model and Policy specification for software defined networks | ||
| Journal of Kufa for Mathematics and Computer | ||
| Article 1, Volume 3, Issue 2, December 2016, Pages 55-62 | ||
| Author | ||
| Dawood salman jasim al-farttoosi | ||
| Abstract | ||
| Software-defined networking SDN is gaining a sharp increase in adoption by very well-known companies Like Google and Microsoft. Currently, the two stands out reliability and security are the most issues that hampering the SDN rapid growth. This paper aims to contribute to this growing area of research by exploring the SDN security issues. Novel approach will be proposed by utilizing the well-known access control approach called theusage control UCON model and also the Flog policy language of software defined networks SDNs. This work will be produced as a formal modelling via high-level abstract language like Flog. | ||
| Keywords | ||
| SDN; Usage Control; Flog; Reliability and Formal Model | ||
|
Statistics Article View: 203 PDF Download: 157 |
||