Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности.
Московский дом книги
Цена в интернет-магазине может отличаться от цены в магазинах сети.
- Вид товара:Книги
- Рубрика:Защита информации. Криптография
- Целевое назначение:Исследования
- ISBN:978-5-9912-0787-4
- Серия:Несерийное издание
- Издательство: Горячая линия-Телеком
- Год издания:2024
- Количество страниц:215
- Тираж:50
- Формат:60х88/16
- Переплет:твердый переплет
- Автор/Редактор/Составитель:П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин и др.
- Вес, г.:310
- Код товара:14168
Принимаем к оплате 
14168
