Approaches to development of discretionary DP-model of the modern secure operating systems

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.