@article{Павлычев2026формальная, author={Павлычев, А.В.}, title={ФОРМАЛЬНАЯ МОДЕЛЬ КОМПЬЮТЕРНЫХ АТАК, ОСНОВАННАЯ НА ЗАПИСЯХ СИСТЕМНЫХ СОБЫТИЙ ОПЕРАЦИОННОЙ СИСТЕМЫ}, journal={Научно-аналитический журнал "Вестник Санкт-Петербургского университета ГПС МЧС России"}, publisher={Санкт-Петербургский университет Государственной противопожарной службы Министерства Российской Федерации по делам гражданской обороны, чрезвычайным ситуациям и ликвидации последствий стихийных бедствий имени Героя Российской Федерации генерала армии Е.Н. Зиничева}, year={2026}, pages={159-169}, volume={2026}, issue={1}, }