The role DP-model of access and information flows control in operating systems of {\it Linux} sets
Prikladnaâ diskretnaâ matematika, no. 1 (2012), pp. 69-90.

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

In this article, the basic role DP-model of access and information flows control in operating systems (OS) is presented completing the role DP-model for OS of Linux set. New features of the basic role DP-model described in the article are the following: the names of entities, mandatory integrity attributes of entities-containers, and the function of de-facto ownership. The main difference of the model is the strong separation of the de-jure state transformation rules (requiring implementation in OS) and the de-facto rules (used only for the analysis of system security conditions). It is proved that the using only monotonic state transformation rules is sufficient for analysing conditions of transfering role access rights, of access to entities, and of realizing information flows in OS.
Keywords: computer security, role DP-model, operating system Linux.
@article{PDM_2012_1_a5,
     author = {P. N. Devyanin},
     title = {The role {DP-model} of access  and information flows control in operating systems of {\it {Linux}} sets},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {69--90},
     publisher = {mathdoc},
     number = {1},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2012_1_a5/}
}
TY  - JOUR
AU  - P. N. Devyanin
TI  - The role DP-model of access  and information flows control in operating systems of {\it Linux} sets
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2012
SP  - 69
EP  - 90
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2012_1_a5/
LA  - ru
ID  - PDM_2012_1_a5
ER  - 
%0 Journal Article
%A P. N. Devyanin
%T The role DP-model of access  and information flows control in operating systems of {\it Linux} sets
%J Prikladnaâ diskretnaâ matematika
%D 2012
%P 69-90
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2012_1_a5/
%G ru
%F PDM_2012_1_a5
P. N. Devyanin. The role DP-model of access  and information flows control in operating systems of {\it Linux} sets. Prikladnaâ diskretnaâ matematika, no. 1 (2012), pp. 69-90. http://geodesic.mathdoc.fr/item/PDM_2012_1_a5/

[1] Devyanin P. N., Modeli bezopasnosti kompyuternykh sistem. Upravlenie dostupom i informatsionnymi potokami, Ucheb. posobie dlya vuzov, Goryachaya liniya-Telekom, M., 2011, 320 pp.

[2] Devyanin P. N., Zakharenkov P. S., “Sposob realizatsii informatsionnogo potoka po vremeni v operatsionnykh sistemakh s mandatnym upravleniem dostupom cherez clipboard”, Metody i tekhnicheskie sredstva obespecheniya bezopasnosti informatsii, Materialy Yubileinoi 20-i nauch.-tekhn. konf. (27 iyunya – 01 iyulya 2011 g.), Izd-vo Politekhn. un-ta, SPb., 2011, 76–77

[3] Kolegov D. N., “DP-model kompyuternoi sistemy s funktsionalno i parametricheski assotsiirovannymi s sub'ektami suschnostyami”, Vestnik Sibirskogo gosudarstvennogo aerokosmicheskogo universiteta im. akad. M. F. Reshetneva, 2009, no. 1(22), 49–54

[4] Devyanin P. N., “Pravila preobrazovaniya sostoyanii bazovoi rolevoi DP-modeli upravleniya dostupom i informatsionnymi potokami v operatsionnykh sistemakh”, Prikladnaya diskretnaya matematika, 2011, no. 1(11), 78–95

[5] Devyanin P. N., “Modelirovanie rolevogo upravleniya dostupom v operatsionnykh sistemakh semeistva Linux”, Problemy informatsionnoi bezopasnosti. Kompyuternye sistemy, 2011, no. 1, 24–43