@article{Pavlychev2026formal, author={Pavlychev, A.V.}, title={FORMAL MODEL OF COMPUTER ATTACKS, BASED ON SYSTEM EVENT RECORDS OF THE OPERATING SYSTEM}, journal={Scientific and analytical journal «Vestnik Saint-Petersburg university of State fire service of EMERCOM of Russia»}, publisher={Saint-Petersburg University of State Fire Service of Emercom of Russia}, year={2026}, pages={159-169}, volume={2026}, issue={1}, }