Modelirovanie i Analiz Informatsionnykh Sistem
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Modelirovanie i Analiz Informatsionnykh Sistem, 2015, Volume 22, Number 6, Pages 735–749
DOI: https://doi.org/10.18255/1818-1015-2015-6-735-749
(Mi mais470)
 

This article is cited in 1 scientific paper (total in 1 paper)

End-to-end information flow security model for software-defined networks

D. Ju. Chaly, E. S. Nikitin, E. Ju. Antoshina, V. A. Sokolov

P.G. Demidov Yaroslavl State University, Sovetskaya str., 14, Yaroslavl, 150000, Russia
References:
Abstract: Software-defined networks (SDN) are a novel paradigm of networking which became an enabler technology for many modern applications such as network virtualization, policy-based access control and many others. Software can provide flexibility and fast-paced innovations in the networking; however, it has a complex nature. In this connection there is an increasing necessity of means for assuring its correctness and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality and some integrity properties of SDNs. These are critical properties for multi-tenant SDN environments, since the network management software must ensure that no confidential data of one tenant are leaked to other tenants in spite of using the same physical infrastructure. We define a notion of end-to-end security in context of software-defined networks and propose a semantic model where the reasoning is possible about confidentiality, and we can check that confidential information flows do not interfere with non-confidential ones. We show that the model can be extended in order to reason about networks with secure and insecure links which can arise, for example, in wireless environments.
The article is published in the authors' wording.
Keywords: SDN, security, formal models.
Funding agency Grant number
Russian Foundation for Basic Research 14-01-31539 мол-а
Ministry of Education and Science of the Russian Federation RFMEFI57414X0036
This work was supported by the RFBR under the project 14-01-31539 mol-a. This work was supported by the Ministry of Education and Science of the Russian Federation under contract ID RFMEFI57414X0036.
Received: 21.10.2015
Bibliographic databases:
Document Type: Article
UDC: 519.987
Language: English
Citation: D. Ju. Chaly, E. S. Nikitin, E. Ju. Antoshina, V. A. Sokolov, “End-to-end information flow security model for software-defined networks”, Model. Anal. Inform. Sist., 22:6 (2015), 735–749
Citation in format AMSBIB
\Bibitem{ChaNikAnt15}
\by D.~Ju.~Chaly, E.~S.~Nikitin, E.~Ju.~Antoshina, V.~A.~Sokolov
\paper End-to-end information flow security model for~software-defined networks
\jour Model. Anal. Inform. Sist.
\yr 2015
\vol 22
\issue 6
\pages 735--749
\mathnet{http://mi.mathnet.ru/mais470}
\crossref{https://doi.org/10.18255/1818-1015-2015-6-735-749}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3493707}
\elib{https://elibrary.ru/item.asp?id=25125091}
Linking options:
  • https://www.mathnet.ru/eng/mais470
  • https://www.mathnet.ru/eng/mais/v22/i6/p735
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Моделирование и анализ информационных систем
    Statistics & downloads:
    Abstract page:231
    Full-text PDF :67
    References:68
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024