Search

Search Results

• CONSTRUCTING A MATHEMATICAL MODEL OF A VIRUS-PROTECTED INFORMATION SYSTEM BASED ON SIR-MODEL

  Е. V. Karachanskaya , О.V. Rybkina

  145-157

  2025-12-30

  Abstract ▼

  This article presents an analysis of deterministic models of computer virus epidemic propagation (SIR models) and their classification. The main areas of research into these models are highlighted. An analysis of existing stochastic models based on the SIR model and their diversity are presented. A method for constructing a stochastic SIR model based on the classical SIR model, represented by a system of Ito stochastic differential equations with a Wiener process, is proposed. The possibility of constructing a stochastic and deterministic model of an information system protected against computer virus infection with probability 1 is demonstrated: a stochastic model, in which infection by viruses occurs continuously, and a deterministic model, in which the virus is present in the information system. A mathematical stochastic model of an information system protected from computer virus outbreaks is constructed as a system of stochastic differential equations whose first integrals are invariants preserved with probability 1. A certain functional relationship between model variables, maintaining a constant value, is considered as the system's security indicator. Introducing a compensator (program control with probability 1 (PCP1)) into the model allows the specified security indicator, described by the model variables, to be maintained with probability 1. Introducing a compensator (program control with probability 1 (PCP1)) into the model allows the specified security indicator, described by the model variables, to be maintained with probability 1. Similarly, based on the proposed algorithm, a deterministic model of an information system protected from computer virus infection is constructed. A control similar to programmed control with probability 1 (PCP1) is introduced into the constructed model, which allows the invariants to be maintained. A distinctive feature of the proposed models is that they preserve invariants associated with the properties that ensure the security of the information system. The behavior of the constructed models is studied using numerical simulation in the MathCad environment. Based on the research results, conclusions were drawn on the possibility of using the proposed method in constructing stochastic models based on other models of epidemic spread, as well as for models of protecting an information system from the spread of a computer virus epidemic.