Моделирование и верификация политик безопасности управления доступом в операционных системах
ISBN: 978-5-9912-0787-4

Авторы: П.Н. Девянин,Д. В. Ефремов,В. В. Кулямин,А. К. Петренко,А. В. Хорошилов,И. В. Щепетков.

ISBN: 978-5-9912-0787-4.

Издательство: Горячая линия - Телеком.

2019 год, 214 стр., твердая обложка

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

Другие подробности...

Посмотреть изображения в Интернете (не все изображения могут соответствовать именно этой книге).