Рассмотрены с полными доказательствами положения основных моделей безопасности компьютерных систем: дискреционного, мандатного, ролевого управления доступом, безопасности информационных потоков и изолированной программной среды. Описан используемый в рассматриваемых моделях математический аппарат. Классические модели дополнены моделями безопасности логического управления доступом и информационными
потоками. Приведены примеры решения задач на практических занятиях.
Во втором издании пособия (кроме исправления неточностей и опечаток) включены нескольких дополнительных примеров решения задач для практических занятий и в главе 6 базовая ролевая ДП-модель заменена
на мандатную сущностно-ролевую ДП-модель управления доступом и информационными потоками в ОС семейства Linux, на основе которой
строится механизм управления доступом в отечественной защищенной операционной системе Astra Linux Special Edition.
Для студентов вузов, обучающихся по специальностям направления подготовки 090ЗОО - «Информационная безопасность вычислительных, автоматизированных и телекоммуникационных систем» и направления подготовки 090900 - «Информационная безопасность», преподавателей
и специалистов в области защиты информации.