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

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