👤 Петренко А.К.

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