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

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

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

Полная информация о книге

  • Код товара:14168
  • Вид товара:Книги
  • Целевое назначение:Исследования
  • ISBN:978-5-9912-0787-4
  • Серия:Несерийное издание
  • Издательство: Горячая линия-Телеком
  • Год издания:2019
  • Количество страниц:215
  • Формат:60х88/16
  • Переплет:в пер.

Описание товара

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



21.10.19 20:53
850 ₽
ждите...