For citations:

DEVYANIN P.N. The Results of Reworking the Levels of Role-Based Access Control and Mandatory Integrity Control of the Formal Model of Access Control in Astra Linux. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2023;35(5):7-22. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-35(5)-1