- All Journals
- Al-Qadisiyah University
- Basrah University
- Kirkuk University
- Mosul University
- The Iraqi Borad for Medical Specialization
- University of Anbar
- University of Technology
- Al Mustafa University
- Al-Zahraa University for Women
- Alnoor University
- Kunooz University
- Misan University
- Ninevah University
- Tikrit University
- University of Al-Hamdaniya
- University of Kerbala
Formal model and Policy specification for software defined networks | ||
| Journal of Kufa for Mathematics and Computer | ||
| Article 1, Volume 3, Issue 2, 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: 210 PDF Download: 157 |
||