%0 Journal Article %T FORMAL MODEL OF COMPUTER ATTACKS, BASED ON SYSTEM EVENT RECORDS OF THE OPERATING SYSTEM %A Pavlychev, A.V. %K formal model, cyber attack detection, machine learning, classification, system event analysis, Event ID, random forest, cyber threats %J Scientific and analytical journal «Vestnik Saint-Petersburg university of State fire service of EMERCOM of Russia» %D 2026 %N 2026 %P 10 %I Saint-Petersburg University of State Fire Service of Emercom of Russia