TY JOUR TI ФОРМАЛЬНАЯ МОДЕЛЬ КОМПЬЮТЕРНЫХ АТАК, ОСНОВАННАЯ НА ЗАПИСЯХ СИСТЕМНЫХ СОБЫТИЙ ОПЕРАЦИОННОЙ СИСТЕМЫ KW формальная модель KW обнаружение кибератак KW машинное обучение KW классификация KW анализ системных событий KW Event ID KW случайный лес KW киберугрозы JO Научно-аналитический журнал "Вестник Санкт-Петербургского университета ГПС МЧС России" AU Павлычев, А.В. PY 2026 IS 2026 PB Санкт-Петербургский университет Государственной противопожарной службы Министерства Российской Федерации по делам гражданской обороны, чрезвычайным ситуациям и ликвидации последствий стихийных бедствий имени Героя Российской Федерации генерала армии Е.Н. Зиничева