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

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