+7 (495) 789-35-91 - сеть магазинов
+7 (495) 648-17-68 - интернет-магазин

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

Код товара: 14168
Наличие: товар закончился

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


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

ТАКЖЕ ВАМ МОЖЕТ БЫТЬ ИНТЕРЕСНО

Принимаем к оплате логотипы платежных систем
ждите...
ждите...