Approaches to development of discretionary DP-model of the modern secure operating systems
Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 55-57
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.
@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/}
}
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/
[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