105066, г. Москва,
ул. Спартаковская, д. 23
Время работы:
ПН-СБ с 10:00 до 20:00
ВС с 10:00 до 19:00
Каталог

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

Девянин П.Н. Моделирование и верификация политик безопасности управления доступом в операционных сис Девянин Петр Николаевич Моделирование и верификация политик безопасности управления доступом в операционных системах
Штрих-код (EAN) 9785991207874
Автор
Название книги Моделирование и верификация политик безопасности управления доступом в операционных системах
Издательство Горячая линия - Телеком
Переплет Твердый переплет
Год 2019
Формат 60х88/16
Кол-во страниц 214
Иллюстрации ил
ЦЕНА в интернет-магазине
747 руб. В наличии
ЦЕНА в магазине
830 руб.
В наличии
В корзину


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