Формальные модели управления доступом : учебное пособие

Рассмотрены с полными доказательствами положения основных формальных моделей управления доступом: дискреционного, мандатного, ролевого управления доступом и мандатного контроля целостности. Представлены модели, предназначенные для анализа безопасности информационных потоков и изолированной программной среды. Описан используемый в рассматриваемых моделях математический аппарат. Классические модели дополнены ориентированными на применение в современных информационных системах, их средствах защиты информации (СЗИ) моделями безопасности управления доступом и информационными потоками (ДП-моделями), в том числе иерархическим представлением мандатной сущностно-ролевой ДП-модели (МРОСЛ ДП-модели), на основе которой реализовано управление доступом в сертифицированной защищенной операционной системе Astra Linux.