Научно-техническое издательство «Горячая линия — Телеком» выпустило учебное пособие «Формальные модели управления доступом» (https://www.techbook.ru), предназначенное для студентов и аспирантов, обучающихся по направлениям подготовки и специальностям УГCНП «Информационная безопасность», преподавателей и специалистов в области защиты информации и кибербезопасности.
В этом учебном пособии рассмотрены с полными доказательствами положения классических формальных моделей: дискреционного, мандатного, ролевого управления доступом, мандатного контроля целостности, безопасности информационных потоков и изолированной программной среды. Приведен используемый в таких моделях математический аппарат.
Классические модели дополнены семейством моделей безопасности управления доступом и информационными потоками (ДП-моделей), адаптированных к условиям функционирования современных средств защиты информации. В том числе в пособии описываются элементы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux (МРОСЛ ДП-модели), на основе которой строится механизм управления доступом в отечественной защищенной ОС Astra Linux.
Также в учебном пособии проанализировано профильное семейство национальных стандартов ГОСТ Р 59453 «Защита информации. Формальная модель управления доступом». Приведены примеры решения задач на практических занятиях. Изложены методические рекомендации по организации изучения формальных моделей управления доступом в образовательном процессе.
«Учебное пособие разработано на основе тридцатилетнего опыта преподавания формальных моделей управления доступом. При этом важно, что в нем излагаются не только соответствующие теоретические знания, а это делается на примерах из отечественной практики разработки безопасного ПО и обеспечения доверия к нему, с одной стороны закрепленной в профильном семействе национальных стандартов ГОСТ Р 59453, а с другой стороны базирующейся на использовании МРОСЛ ДП-модели как научной основы механизма управления доступом ОС Astra Linux, уже много лет сертифицируемой по самым высоким классам защиты и уровням доверия», — отмечает автор учебного пособия академик Академии криптографии России П.Н. Девянин, научный руководитель «Группы Астра».
