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