For citations:
Burenkov V.S., Kulagin D.A. A Mandatory Integrity Control Model for the KasperskyOS Operating System. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2020;32(1):27-56. (In Russ.) https://doi.org/10.15514/ISPRAS-2020-32(1)-2