Д. В. Ефремов

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

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

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