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

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