Functional modeling methodology as a tool for developing adequate mathematical models of antivirus protection processes in computer systems
- Authors: Khvorov R.A.1, Skryl' K.S.2, Korchagin I.I.3, Amelina K.E.4
-
Affiliations:
- Military Training and Scientific Center of the Air Force “Air Force Academy named after Professor N.E. Zhukovsky and Yu.A. Gagarin”
- Security in the Digital World, Bauman Moscow State Technical University (National Research University)
- Information Implementation Company JSC
- Bauman Moscow State Technical University (National Research University)
- Issue: No 3 (2025)
- Pages: 63-73
- Section: COMPUTER SCIENCE, COMPUTER ENGINEERING AND CONTROL
- URL: https://journals.rcsi.science/2072-3059/article/view/355049
- DOI: https://doi.org/10.21685/2072-3059-2025-3-4
- ID: 355049
Cite item
Full Text
Abstract
Background. One of the directions for solving the problem of increasing the adequacy of mathematical models of processes for ensuring anti-virus protection in computer systems (CS) is the formalization of these processes using the methodological apparatus of functional modeling. The purpose of the study is to develop a procedure for constructing mathematical models of the temporal characteristics of processes providing anti-virus protection in computer systems using the methodological apparatus of functional modeling. Results. The procedure for constructing mathematical models of the temporal characteristics of the processes of providing anti-virus protection in the CS is substantiated and implemented, including: the stage of detailing the objective function “Anti-virus protection”, the stage of establishing the order of execution of its functional components at each of the decomposition levels, the stage of presenting the model in the form of graphs and the stage of forming analytical expressions for assessing the temporal characteristics of the processes of providing antivirus protection in the CS. Conclusions. The adequacy of mathematical models of the time characteristics of the processes of providing anti-virus protection in the CS, achieved through the functional decomposition of the objective function “Anti-virus protection”, makes it possible to scientifically substantiate the requirements for the directions of improvement of the corresponding protection mechanisms.
About the authors
Ruslan A. Khvorov
Military Training and Scientific Center of the Air Force “Air Force Academy named after Professor N.E. Zhukovsky and Yu.A. Gagarin”
Author for correspondence.
Email: khvoroff@rambler.ru
Candidate of engineering sciences, senior lecturer
(54 St. Bolshevikov street, Voronezh, Russia)Kirill S. Skryl'
Security in the Digital World, Bauman Moscow State Technical University (National Research University)
Email: kskryl@bmstu.ru
Candidate of juridical sciences, associate professor, associate professor of the sub-department
(5 Vtoraya Baumanskaya street, Moscow, Russia)Igor' I. Korchagin
Information Implementation Company JSC
Email: korchagin@ivk.ru
Head of the Information Security Group
(75 Butyrskaya street, Moscow, Russia)Kseniya E. Amelina
Bauman Moscow State Technical University (National Research University)
Email: amelina@bmstu.ru
Candidate of juridical sciences, associate professor, associate professor of the sub-department of Security in the Digital World
(5 Vtoraya Baumanskaya street, Moscow, Russia)References
- Kasperskiy E.V. Komp'yuternoe zlovredstvo = Computer malware. Saint Petersburg: Piter, 2007:208. (In Russ.)
- Skryl' S.V., Khokhlov N.S. et al. Informatika: uchebnik dlya vysshikh uchebnykh zavedeniy MVD Rossii. Informatika: Kontseptual'nye osnovy = Computer science: a textbook for Higher Education Institutions of the Ministry of Internal Affairs of Russia. Computer science: conceptual foundations. Moscow: Maroseyka, 2008;1:464. (In Russ.)
- Sychev A.M., Skryl' S.V., Nikulin S.S., Ponomarev M.V. et al. Indicators of the adequacy of structured systems for assessing the characteristics of information processes. Promyshlennye ASU i kontrollery = Industrial control systems and controllers. 2017;(2):50–53. (In Russ.)
- Kupriyanov A.I., Korobets B.N., Bardaev E.A., Korolev I.D. et al. Teoriya informatsii: uchebnik = Information theory: a textbook. Moscow: Izd. tsentr «Akademiya», 2020:240. (In Russ.)
- Khartli R. Transfer of information. Teoriya informatsii i ee prilozheniya: sb. perevodov = Information theory and its applications: a collection of translations. Moscow: Gos. izd. fiz.-mat. lit, 1959;5–35. (In Russ.)
- Skryl' S.V., Stadnik A.N., Kupin D.S., Domrachev D.V., Abacharaeva E.R. Functional modeling as a tool for formalizing threats of virus attacks on information resources of computer systems. Telekommunkatsii = Telecommunications. 2021;(4):14‒19. (In Russ.)
- Kalyanov G.N. CASE: Strukturnyy sistemnyy analiz (avtomatizatsiya i primenenie) = CASE: Structural systems analysis (automation and application). Moscow: Lori, 1996:242. (In Russ.)
- Tikhonov V.I., Mironov M.A. Markovskie protsessy = Markov processes. Moscow: Sov. radio, 1977:488. (In Russ.)
- Metodicheskiy dokument FSTEK Rossii «Metodika otsenki ugroz bezopasnosti informatsii ». Utverzhdena 5 fevralya 2021 goda = FSTEC of Russia’s Methodological Document “Methodology for Assessing Information Security Threats”. Approved on February 5, 2021. Moscow: FSTEK. 2021:83. (In Russ.)
- Metodologiya funktsional'nogo modelirovaniya IDEF0. Rukovodyashchiy document = IDEF0 Functional Modeling Methodology. Guidance Document. Moscow: Izd-vo standartov, 2000:75. (In Russ.)
- Korn G., Korn T. Spravochnik po matematike (dlya nauchnykh rabotnikov i inzhenerov) = Handbook of Mathematics (for scientists and engineers). Moscow: Nauka, 1973:832. (In Russ.)
Supplementary files
