Моделирование и верификация политик безопасности управления доступом в операционных системах ISBN: 978-5-9912-0787-4
Авторы: П.Н. Девянин,Д. В. Ефремов,В. В. Кулямин,А. К. Петренко,А. В. Хорошилов,И. В. Щепетков.
ISBN: 978-5-9912-0787-4.
Издательство: Горячая линия - Телеком.
2019 год, 214 стр., твердая обложка
Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux...
Другие подробности...
Посмотреть изображения в Интернете (не все изображения могут соответствовать именно этой книге).
|