Geodesic
About modeling of MIC and MAC in PostgreSQL within framework of the MROSL DP-model
Prikladnaya Diskretnaya Matematika. Supplement, no. 12 (2019), pp. 161-165 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

It is an urgent task to use complex software programs in the OS Astra Linux. Especially when these software programs implement their own access control. Firstly, an appropriate technical implementation is required for interfacing access control in software with OS Astra Linux mandatory integrity control (MIC) and mandatory access control (MAC). Secondly, it is important to ensure confidence in the security of such combination of access control of software programs and the OS Astra Linux. This is also necessary to ensure the safety of informational flows by memory or by time. The important example of such regular of the OS Astra Linux software program is PostgreSQL with initially implemented role-based access control (RBAC). Recently, certification of the OS Astra Linux was held on demand of the protection profile of general-purpose OS of the first (highest) protection class. The mandatory entity-role DP-model (MROSL DP-model) was developed and was verified in the course of the certification. This model is the scientific basis for the development of OS Astra Linux access control. This says about the feasibility of preparing to meet similar requirements with respect to PostgreSQL. In this regard, the results of the completion of the formation MIC, MAC and RBAC for PostgreSQL within framework of hierarchical representation of the MROSL DP-model are considered in the article. It is said about introducing changes in the levels for the OS Astra Linux and also about additions to sufficient conditions of security of access control.
Keywords: computer security, formal model, access control, PostgreSQL. 
@article{PDMA_2019_12_a44,
     author = {P. N. Devyanin},
     title = {About modeling of {MIC} and {MAC} in {PostgreSQL} within framework of the {MROSL} {DP-model}},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {161--165},
     year = {2019},
     number = {12},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2019_12_a44/}
}
TY  - JOUR
AU  - P. N. Devyanin
TI  - About modeling of MIC and MAC in PostgreSQL within framework of the MROSL DP-model
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2019
SP  - 161
EP  - 165
IS  - 12
UR  - http://geodesic.mathdoc.fr/item/PDMA_2019_12_a44/
LA  - ru
ID  - PDMA_2019_12_a44
ER  - 
%0 Journal Article
%A P. N. Devyanin
%T About modeling of MIC and MAC in PostgreSQL within framework of the MROSL DP-model
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2019
%P 161-165
%N 12
%U http://geodesic.mathdoc.fr/item/PDMA_2019_12_a44/
%G ru
%F PDMA_2019_12_a44
P. N. Devyanin. About modeling of MIC and MAC in PostgreSQL within framework of the MROSL DP-model. Prikladnaya Diskretnaya Matematika. Supplement, no. 12 (2019), pp. 161-165. http://geodesic.mathdoc.fr/item/PDMA_2019_12_a44/

[1] FSTEK Rossii. Informatsionnoe soobschenie ot 29 marta 2019 g. No 240/24/1525, https://fstec.ru/component/attachments/download/2286

[2] Astra Linux — universalnaya operatsionnaya sistema, http://www.astralinux.ru

[3] Astra Linux, https://ru.wikipedia.org/wiki/Astra_Linux

[4] Rodina v kiberbezopasnosti: rossiiskoi OS otkroyut vse sekrety, https://iz.ru/871218/olga-kolentcova/rodina-v-kiberbezopasnosti-rossiiskoi-os-otkroiut-vse-sekrety/

[5] Burenin P. V., Devyanin P. N., Lebedenko E. V. i dr., Bezopasnost operatsionnoi sistemy spetsialnogo naznacheniya Astra Linux Special Edition, ucheb. posobie dlya vuzov, 3-e izd., pererab. i dop., ed. P. N. Devyanin, Goryachaya liniya-Telekom, M., 2019, 404 pp.

[6] Devyanin P. N., Kulyamin V. V., Petrenko A. K. i dr., Modelirovanie i verifikatsiya politik bezopasnosti upravleniya dostupom v operatsionnykh sistemakh, Goryachaya liniya-Telekom, M., 2019, 214 pp.

[7] Devyanin P. N., “Podkhody k modelirovaniyu upravleniya dostupom v SUBD PostgreSQL v ramkakh MROSL DP-modeli”, Prikladnaya diskretnaya matematika. Prilozhenie, 2018, no. 11, 95–98