Formal model and policy specification for software defined networks
Author
al-Farttusi, Dawud salman jasim
Source
Journal of Kufa for Mathematics and Computer
Issue
Vol. 3, Issue 2 (31 Dec. 2016), pp.55-61, 7 p.
Publisher
University of Kufa Faculty of Mathematics and Computers Science
Publication Date
2016-12-31
Country of Publication
Iraq
No. of Pages
7
Main Subjects
Information Technology and Computer Science
Abstract EN
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.
American Psychological Association (APA)
al-Farttusi, Dawud salman jasim. 2016. Formal model and policy specification for software defined networks. Journal of Kufa for Mathematics and Computer،Vol. 3, no. 2, pp.55-61.
https://search.emarefa.net/detail/BIM-770995
Modern Language Association (MLA)
al-Farttusi, Dawud salman jasim. Formal model and policy specification for software defined networks. Journal of Kufa for Mathematics and Computer Vol. 3, no. 2 (Dec. 2016), pp.55-61.
https://search.emarefa.net/detail/BIM-770995
American Medical Association (AMA)
al-Farttusi, Dawud salman jasim. Formal model and policy specification for software defined networks. Journal of Kufa for Mathematics and Computer. 2016. Vol. 3, no. 2, pp.55-61.
https://search.emarefa.net/detail/BIM-770995
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 60-61
Record ID
BIM-770995
