Полное описание

Моделирование и верификация политик безопасности управления доступом в операционных системах / П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.]. - Москва : Горячая линия - Телеком, 2019. - 215 с. : ил. - Авт. указ. на обороте тит. л. - Библиогр.: с. 185-191 (110 назв.). - 500 экз. - Текст : непосредственный.

ГРНТИ	УДК
50.37.23	004.056.52
50.41.15	004.451

Рубрики:
Информация -- Сохранность
Операционные системы
Доступа метод

Аннотация: Монография описывает процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Помимо этого, монография знакомит читателя с современными технологиями и инструментами моделирования и верификации, используемыми в подобных процессах.
Доп. точки доступа:
Девянин, П.Н.
Ефремов, Д.В.
Кулямин, В.В.
Петренко, А.К.
Хорошилов, А.В.

Оглавление

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-19/69495)

Шифр в сводном ЭК: 56e544c1373b0f0f1cacccfcb0b966c4

Заказать издание
Заказ фрагмента документа ₽

Просмотр издания