Prikladnaya Diskretnaya Matematika. Supplement
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Prikl. Diskr. Mat. Suppl.:
Year:
Volume:
Issue:
Page:
Find






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


Prikladnaya Diskretnaya Matematika. Supplement, 2018, Issue 11, Pages 95–99
DOI: https://doi.org/10.17223/2226308X/11/29
(Mi pdma378)
 

This article is cited in 2 scientific papers (total in 2 papers)

Mathematical Foundations of Computer Security

Approaches to formal modelling access control in PostgreSQL within framework of the MROSL DP-model

P. N. Devyaninab

a Academy of Cryptography of Russian Federation, Moscow
b "RusBiTech", Moscow
Full-text PDF (399 kB) Citations (2)
References:
Abstract: PostgreSQL is widely used in the trusted operating systems. Therefore, the scientific approaches to an implementation of the access control security in PostgreSQL have to be developed. Firstly, it is required to analyze a role-based access control (RBAC) that was originally implemented in PostgreSQL. Secondly, we have to study the mandatory access control (MAC) and the mandatory integrity control (MIC) in practice of trusted operating systems development. Now, the mandatory entity-role DP-model (MROSL DP-model) is becoming the scientific basis of access control policy in OS of Linux family, for example in OS Astra Linux Special Edition. This model includes RBAC, MAC and MIC. The model has also a hierarchical structure, which allows to supplement the model with new elements without its full processing. In addition, the model was affirmed as correct by the tools of deductive verification. This article presents the approaches that are proposed for constructing new levels within the framework of the hierarchical representation of the MROSL DP-model related to access control in PostgreSQL. At the same time, the first stage of modelling focuses on RBAC due to the significant differences between access control principals in OS Astra Linux Special Edition and PostgreSQL.
Keywords: computer security, formal model, access control, PostgreSQL.
Bibliographic databases:
Document Type: Article
UDC: 004.94
Language: Russian
Citation: P. N. Devyanin, “Approaches to formal modelling access control in PostgreSQL within framework of the MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2018, no. 11, 95–99
Citation in format AMSBIB
\Bibitem{Dev18}
\by P.~N.~Devyanin
\paper Approaches to formal modelling access control in PostgreSQL within framework of the MROSL DP-model
\jour Prikl. Diskr. Mat. Suppl.
\yr 2018
\issue 11
\pages 95--99
\mathnet{http://mi.mathnet.ru/pdma378}
\crossref{https://doi.org/10.17223/2226308X/11/29}
\elib{https://elibrary.ru/item.asp?id=35557612}
Linking options:
  • https://www.mathnet.ru/eng/pdma378
  • https://www.mathnet.ru/eng/pdma/y2018/i11/p95
  • This publication is cited in the following 2 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Prikladnaya Diskretnaya Matematika. Supplement
    Statistics & downloads:
    Abstract page:340
    Full-text PDF :182
    References:31
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024