Geodesic
Approaches to development of discretionary DP-model of the modern secure operating systems
Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 55-57 
V. G. Proskurin. Approaches to development of discretionary DP-model of the modern secure operating systems. Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 55-57. http://geodesic.mathdoc.fr/item/PDM_2011_13_a27/
@article{PDM_2011_13_a27,
     author = {V. G. Proskurin},
     title = {Approaches to development of discretionary {DP-model} of the modern secure operating systems},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {55--57},
     year = {2011},
     number = {13},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2011_13_a27/}
}
TY  - JOUR
AU  - V. G. Proskurin
TI  - Approaches to development of discretionary DP-model of the modern secure operating systems
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2011
SP  - 55
EP  - 57
IS  - 13
UR  - http://geodesic.mathdoc.fr/item/PDM_2011_13_a27/
LA  - ru
ID  - PDM_2011_13_a27
ER  - 
%0 Journal Article
%A V. G. Proskurin
%T Approaches to development of discretionary DP-model of the modern secure operating systems
%J Prikladnaâ diskretnaâ matematika
%D 2011
%P 55-57
%N 13
%U http://geodesic.mathdoc.fr/item/PDM_2011_13_a27/
%G ru
%F PDM_2011_13_a27

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

This article represents the discretionary DP-model (ZOS DP-model) developing and concretizing existing DP-models for a case when the secure operating system (OS) is considered as modeled computer system. This new DP-model allows to apply the scientific tools of DP-models to formal description and a scientific substantiation of the various practical decisions implemented in modern secure OS. In particular, it is supposed to use ZOS DP-model for increasing the security of domestic operating systems.

[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] Kolegov P. 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), Ch. 1, 49–54

[3] Burenin P. N., “Podkhody k postroeniyu DP-modeli failovykh sistem”, Prikladnaya diskretnaya matematika, 2009, no. 1(3), 93–112