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

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

М.: ИСП РАН, 2018. 180 с.

Перейти к источнику

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