For citations:

Devyanin P.N. On the problem of representation of the formal model of security policy for operating systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(3):7-16. (In Russ.) https://doi.org/10.15514/ISPRAS-2017-29(3)-1