Главная > Книжный рубрикатор > Автоматика. Вычислительная техника. > Вычислительная техника. > Защита информации (хакеры). Криптография. > Моделирование и верификация политик безопасности управления доступом в операционных системах
 «Моделирование и верификация политик безопасности управления доступом в операционных системах»
П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин и др.

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

Дата поступления в продажу: 07.02.2019
Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности.
Этот товар можно приобрести (в скобках указана актуальность наличия):
Интернет-магазин ограниченное количество (16.07.19 19:38) 680.00 руб. CКИДКА !
Московский Дом Книги (16.07.19 19:38) 850 руб. как проехать >




Телефон единой справочной: (495) 789 - 35 - 91
Подписка на новости
RSS