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