+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
  • УДК:004.451.9:004.056
  • Штрихкод:9785991207874
  • Переплет:в пер.
  • Сведения об ответственности:П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин и др.
  • Код товара:14168
Поделиться:
Принимаем к оплате логотипы платежных систем
ждите...
ждите...