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