книги Компьютеры и Интернет Операционные системы и сети Безопасность

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

Код 4985219

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 06.05.2024; планируемая отправка: 07.05.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 09.05.2024; планируемая отправка: 10.05.2024

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

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке....

Оставить комментарий

Оцените книгу:

Издательство: Горячая линия - Телеком
Дата выхода: февраль 2019
ISBN: 978-5-9912-0787-4
Тираж: 500 экземпляров
Объём: 214 страниц
Масса: 325 г
Размеры(высота, ширина), см: 22 x 15
Обложка: твёрдая

Вместе с этой книгой покупают