Geodesic
Implementation of a~non-degenerate lattice of integrity levels within the hierarchical representation of MROSL DP-model
Prikladnaya Diskretnaya Matematika. Supplement, no. 10 (2017), pp. 111-114.

Voir la notice de l'article provenant de la source Math-Net.Ru

This article presents a new level of the hierarchical representation of the mandatory entity-role DP-model of access and information flows control in an OS of Linux set (MROSL DP-model). This model is a scientific base for the development and implementation of the secure access control in OS Astra Linux Special Edition. Four levels were earlier defined within the hierarchical representation of MROSL DP-model. Each lower level is an abstract system with elements which are independent of the new elements belonging to a higher level of the model. When is needed, a higher level inherits, corrects or complements lower level elements. The first level corresponds to the role-based access control (RBAC), the second level – RBAC and mandatory integrity control (MIC), the third level – RBAC, MIC and mandatory access control (MAC) with the information flows by memory, and the fourth level – RBAC, MIC and MAC with the information flows by memory and by time. The fifth level is the new level of the model. It corresponds to RBAC and MIC with the non-degenerate lattice of integrity labels. Only two integrity labels in the lattice are situated at the second level of the model: high label – for the system and privileged users and low label – for non-privileged users. Therefore, the fifth level of the model is essentially an alternative third level including an arbitrary set of integrity labels. The aim of the new level is to produce the modelling MIC by using the technology of the virtualization or as a part of a network domain architecture.
Keywords: computer security, formal model, mandatory integrity control. 
@article{PDMA_2017_10_a43,
     author = {P. N. Devyanin},
     title = {Implementation of a~non-degenerate lattice of integrity levels within the hierarchical representation of {MROSL} {DP-model}},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {111--114},
     publisher = {mathdoc},
     number = {10},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2017_10_a43/}
}
TY  - JOUR
AU  - P. N. Devyanin
TI  - Implementation of a~non-degenerate lattice of integrity levels within the hierarchical representation of MROSL DP-model
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2017
SP  - 111
EP  - 114
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2017_10_a43/
LA  - ru
ID  - PDMA_2017_10_a43
ER  - 
%0 Journal Article
%A P. N. Devyanin
%T Implementation of a~non-degenerate lattice of integrity levels within the hierarchical representation of MROSL DP-model
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2017
%P 111-114
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2017_10_a43/
%G ru
%F PDMA_2017_10_a43
P. N. Devyanin. Implementation of a~non-degenerate lattice of integrity levels within the hierarchical representation of MROSL DP-model. Prikladnaya Diskretnaya Matematika. Supplement, no. 10 (2017), pp. 111-114. http://geodesic.mathdoc.fr/item/PDMA_2017_10_a43/

[1] Devyanin P. N., Modeli bezopasnosti kompyuternykh sistem. Upravlenie dostupom i informatsionnymi potokami, Ucheb. posobie dlya vuzov, 2-e izd., ispr. i dop., Goryachaya liniya – Telekom, M., 2013, 338 pp.

[2] Burenin P. V., Devyanin P. N., Lebedenko E. V. i dr., Bezopasnost operatsionnoi sistemy spetsialnogo naznacheniya Astra Linux Special Edition, Ucheb. posobie dlya vuzov, 2-e izd., stereotip., Goryachaya liniya – Telekom, M., 2016, 312 pp.

[3] Devyanin P. N., Kulikov G. V., Khoroshilov A. V., “Kompleksnoe nauchno-obosnovannoe reshenie po razrabotke otechestvennoi zaschischennoi OSSN Astra Linux Special Edition”, Metody i tekhnicheskie sredstva obespecheniya bezopasnosti informatsii, Materialy 23-i nauch.-tekhnich. konf. (30 iyunya – 03 iyulya 2014 g.), Izd-vo Politekh. un-ta, SPb., 2014, 29–33

[4] Operatsionnye sistemy Astra Linux, http://www.astralinux.com/

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

[6] Devyanin P. N., “O rezultatakh formirovaniya ierarkhicheskogo predstavleniya MROSL DP-modeli”, Prikladnaya diskretnaya matematika. Prilozhenie, 2016, no. 9, 83–87

[7] Informatsionnoe soobschenie ob utverzhdenii Trebovanii bezopasnosti informatsii k operatsionnym sistemam ot 18 oktyabrya 2016 g., No 240/24/4893, http://fstec.ru/component/attachments/download/1051

[8] Informatsionnaya tekhnologiya. Metody i sredstva obespecheniya bezopasnosti. Kriterii otsenki bezopasnosti informatsionnykh tekhnologii, GOST R ISO/MEK 15408-2013, Standartinform, M., 2014