TY  JOUR
TI  FORMAL MODEL OF COMPUTER ATTACKS, BASED  ON SYSTEM EVENT RECORDS OF THE OPERATING SYSTEM
KW  formal model
KW  cyber attack detection
KW  machine learning
KW  classification
KW  system event analysis
KW  Event ID
KW  random forest
KW  cyber threats
JO  Scientific and analytical journal «Vestnik Saint-Petersburg university of State fire service of EMERCOM of Russia»
AU  Pavlychev, A.V.
PY  2026
IS  2026
PB  Saint-Petersburg University of State Fire Service of Emercom of Russia