Моделирование и верификация политик безопасности управления доступом в операционных системах

Авторы

П. Н. Девянин

Д. В. Ефремов

В. В. Кулямин

А. К. Петренко

А. В. Хорошилов

И. В. Щепетков

Дата публикации

1 января 2019 г.

Моделирование и верификация политик безопасности управления доступом в операционных системах

Москва Горячая линия – Телеком 2019 УДК 004.451.9:004.056 ББК 32.973.2-018.2я73 Б40

  • Рецензенты: доцент кафедры защиты информации и криптографии Томского государственного университета, кандидат техн. наук, доцент Д. Н. Колегов; старший системный аналитик департамента перспективных технологий Лаборатории Касперского, кандидат техн. наук Е. А. Рудина; сотрудник Академии ФСО России, кандидат техн. наук, доцент А. Н. Цибуля.
  • Авторы: П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин, А. К. Петренко, А. В. Хорошилов, И. В. Щепетков
  • Б40 Моделирование и верификация политик безопасности управления доступом в операционных системах / П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин и др. М.: Горячая линия Телеком, 2019. 214 с.: ил. ISBN 978-5-9912-0787-4.

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке. Помимо этого, монография знакомит читателя с современными технологиями и инструментами моделирования и верификации, используемыми в подобных процессах. Представленный процесс направлен на обеспечение выполнения требований ГОСТ Р ИСО/МЭК 15408 «Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий» и профилей защиты операционных систем общего назначения (типа «А») третьего и второго классов защиты.

Для специалистов в области защиты информации, преподавателей, аспирантов; будет полезна студентам, обучающимся по направлениям подготовки и специальностям УГНПС «Информационная безопасность».

ББК 32.973.2-018.2я73

Адрес издательства в Интернет WWW.TECHBOOK.RU

ISBN 978-5-9912-0787-4 © П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин, А. К. Петренко, А. В. Хорошилов, И. В. Щепетков, 2019 © Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН), 2019 © Издательство Горячая линия – Телеком, 2019