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

Девянин П.Н.,

Ефремов Д.В.,

Кулямин В.В.,

Петренко А.К.,

Хорошилов А.В.,

Щепетков И.В.

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

О книге

автор, издательство, серия

Издательство: М.: Горячая линия – Телеком
ISBN: 978-5-9912-0787-4
Год: 2019

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