Для цитирования:

Девянин П.Н. О проблеме представления формальной модели политики безопасности операционных систем. Труды Института системного программирования РАН. 2017;29(3):7-16. https://doi.org/10.15514/ISPRAS-2017-29(3)-1

For citation:

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