Two Quarantine Models on the Attack of Malicious Objects in Computer Network

SEIQR Susceptible, Exposed, Infectious, Quarantined, and Recovered models for the transmission of malicious objects with simple mass action incidence and standard incidence rate in computer network are formulated. Threshold, equilibrium, and their stability are discussed for the simple mass action incidence and standard incidence rate. Global stability and asymptotic stability of endemic equilibrium for simple mass action incidence have been shown. With the help of Poincare Bendixson Property, asymptotic stability of endemic equilibrium for standard incidence rate has been shown. Numerical methods have been used to solve and simulate the system of differential equations. The effect of quarantine on recovered nodes is analyzed. We have also analyzed the behavior of the susceptible, exposed, infected, quarantine, and recovered nodes in the computer network.


Introduction
It is a well-known fact that cyber world brought massive changes in the society.But nowadays cyber world is being threatened by the attack of malicious objects.Electronic mails and use of secondary devices are the major sources for the transmission of malicious objects in the computer network these days 1 .In accordance with their propagating behavior and characteristic, malicious objects spread in different way to each other.To curb the spread and impact of these malicious objects, it is important to study about their feature propagating methods, means, and limitation.Isolation may also be a very important and easy way to curb the transmission of these malicious objects.The word quarantine has evolved, meaning a forced isolation or stoppage of interactions with others.In biological world, quarantine has been adopted to reduce the transmission of human diseases, such as Leprosy, Plague, and Smallpox.Same concept has been adopted in the cyber world; the most infected nodes are isolated from the computer network till they get recovered.Anderson

Model 1: Mathematical Formulation for the SEIQR Model with Simple Mass Action Incidence
Let S t be the number of susceptible at time t, E t be the number of exposed, I t be the number of infected nodes, Q t be the number of quarantined nodes, R t be the recovered nodes after the run of antimalicious software, and N t be the total population size in time t.
The schematic diagram for the flow of malicious objects is depicted in Figure 1.
As per our assumption, we have the following system of equations: where where x, y belong to R n , f and g are continuous function which satisfy a local Lipschitz condition in any compact set X which belongs to R n , and f t, x → g x as t tends to infinity so that the second system is the limit system.Let ϕ t, t 0 , x 0 and ψ t, t 0 , y 0 be the solutions of these systems, respectively.Suppose that e ∈ X is a locally asymptotically stable equilibrium of the limit system and its attractive region is W e y ∈ X/ψ t, t 0 , x 0 −→ e, t −→ ∞ .

Lipschitz's condition
If for some function F y , the following condition is satisfied: where y 1 and y 2 are any points in the domain and K is a constant, this condition is called the Lipschitz's condition.Now, the total population size N t satisfies the equation When t → ∞, then from the above equation N → A/d.Let us define the solution region by D { S, E, I, Q, R /S ≥ 0; E ≥ 0; The system 2.1 always has the malicious oject-free equilibrium P 0 A/d, 0, 0, 0, 0 .Here the quarantine reproduction number is If R q > 1, then D also contains a unique positive, endemic equilibrium P * S * , E * , I * , Q * , R * .Now from 2.1 , on simplification, we have

2.7
We have N * S * E * I * Q * R * , Hence, is locally asymptotically stable for diseasefree equilibrium P 0 .If R q > 1, then the region D − { S, E, I, Q, R /I 0}, is an asymptotically stable region for the endemic equilibrium P * .
Proof.For local stability, Jacobian of system 2.1 at equilibrium P 0 is The eigenvalues of Since all the roots are real and negative, system is locally asymptotically stable.
In order to prove the global stability when R q ≤ 1, consider the Liapunov function

2.10
As we know the Liapunov Lasallel theorem 17 implies that solutions in D approach the largest positively invariant subset of the set where dV/dt 0, which is the set where I 0.
In this set,

2.11
We have

2.14
We have from 2.

2.18
Thus, all solutions in the set I 0 go to the disease, free equilibrium P 0 .By Lemma 2.1, the system is globally asymptotically stable, when R q < 1.
From the fourth equation in system 2.1 , we can solve to obtain The similarly, solving for R by using, fifth equation in 2.1 , we obtain An application of Lemma 2.1 shows that the endemic equilibrium P * of model 2.1 is globally asymptotically stable in the region D − { S, E, I, Q, R /I 0}.

Model 2: The SEIQR Model with the Standard Incidence Rate
The flow chart for the SEIQR model will be the same as depicted in Figure 1, but instead of simple mass action incidence βSI, we take standard incidence rate βSI/N, where N S E I Q R. The system of differential equations for this model is where the parameters are the same as in the previous model, When t → ∞ then N → A/d.When there are malicious objects free equilibrium P 0 A/d, 0, 0, 0, 0 .For this model basic reproduction number is If R q > 1, then D also contains a unique positive, endemic equilibrium P * S * , E * , I * , Q * , R * where
is locally asymptotic stable for diseasefree equilibrium P 0 .If R q > 1, then the region D − { S, E, I, Q, R /I 0} is an asymptotically stable region for the endemic equilibrium P * .Proof.For the local stability, Jacobian of the system 3.1 at equilibrium P 0 is The eigenvalues of Since all the roots are real and negative, system is locally asymptotically stable.With a view to prove the global stability when R q ≤ 1, we use the Liapunov function by putting V I, we get the same equation as we have found in the model 1; therefore, the proof will be analogous with the proofs in the previous section.
In order to prove the global stability when R q > 1 and α 1 α 2 0, first we get dN/dt A − Nd, this implies N → A/d when t tends to infinity.
The limit system for 3.1 is

3.6
where N A/d.The first three equations are independent of Q and R. In the three dimensional S E I first octant region with S E I ≤ A/d, the equilibrium 0, 0, 0 is saddle, that is, attractive along I 0 and has a repulsive direction into the region.The other equilibrium S * , I * in the region is locally asymptotically stable.Using Dulac's criteria with multiplier 1/I, we have so that there are no periodic solutions in the region.Thus, by the Poincare-Bendixson theory, all solutions starting in the first octant region with I > 0 and S E I ≤ A/d approach S * , E * , I * as t tends infinity.
In this case, the differential equation for Q has the limiting equation Similarly, the differential equation for R has the limiting equation dR dt εQ * σI * − dR, 3.9 so that R tends to R * by Lemma 2.1.Thus P * is a globally asymptotically stable equilibrium for the limit system 3.6 .Hence, by Lemma 2.1, all solutions starting in the region D − { S, E, I, Q, R /I 0} of the system 3.1 approach the endemic equilibrium P * as t tends to infinity.

Conclusion
Inspired by the biological compartmental epidemic model, we made an attempt to develop two SEIQR models, one using simple mass action incidence and the other using standard incidence rate.Vertical transmission has been included into infectious compartment.Runge Kutta Fehlberg fourth-fifth order method is used to solve and simulate the system 2.1 and 3.1 by using parametrical values mentioned in Table 1.The model has a constant recruitment of the nodes and exponential natural and infection-related death crashing of the nodes.Global stability of the unique endemic equilibrium for the epidemic model has been established.We observe that the behavior of the Susceptible, Exposed, Infected, and Quarantined nodes with respect to time is asymptotically stable, which is depicted in Figures 2 and 4. The effect of Q on R is depicted in Figure 3.When the nodes are highly infected by different kinds of malicious objects, quarantine is one of the remedy.We run antimalicious software of latest signature against quarantined nodes, and these nodes are kept under observation.The more we quarantine the most infected nodes, the more the recovery is; the lesser we quarantine, the lesser the recovery is.Also at a very specific short interval of time, the recovery of the nodes is constant when the quarantine node decreases.These can be observed in Figure 3. Simulation result agrees with the real life situation.The basic reproduction number R q is obtained and has been identified as a threshold parameter.If R q ≤ 1, the disease-free equilibrium D is globally stable in the feasible region and the disease always dies out.If R q > 1, a unique endemic equilibrium P * exists and is globally stable in the interior of the feasible region, and once the disease appears, it eventually persists at the unique endemic equilibrium level.Lyapunov function is used to prove the global stability of D when R q ≤ 1.In our model, the number of contacts is influenced by the size of the quarantine class Q.The quarantine process is an alternative method for reducing the average infectious period by isolating some infectives, so that they do not transmit the malicious objects in the computer network.We have observed that both the effective infectious period 1/ d α 1 δ η γ d and R q decrease as the quarantine rate δ increases.The analysis of quarantine reproduction number R q by Feng and Thieme 14, 15 andHethcote et al. 31 agrees with our model.Feng and Theieme 14, 15 in their SIQR model observed that the quarantine reproduction number was independent of the mean residence time in the quarantine class Q. Hethcote et al. 31 also had their same observation regarding the independence of the mean residence time in the Q class for all of their endemic models.We also have the same observation for our SEIQRS model.The mean residence time in the class Q for our model SEIQRS is 1/ε.The expression for the threshold does not involve the parameter ε.This comes from our assumption that the nodes in the quarantine class Q do not infect other nodes and nodes are not infectious when they move out of the quarantine class.The quarantine reproduction number R q , depends on parameter δ.For example, if δ nσ, n ∈ Z , then transfer out of infectious class I to quarantine class Q is n times as frequent as transfer to the removed class R. A positive rate constant δ to transfer out of infectious class I by quarantine does decrease the quarantine reproduction number R q , so that it is less than its value without quarantine.Hence the use of quarantine to control a disease not only decreases the endemic infective class size when R q remains above 1, but also makes it easier to obtain R q ≤ 1 leading to disease extinction.
The future work will involve in taking time delay constraints in various compartments which may lead to more interesting result.

Figure 1 :
Figure 1: Schematic diagram for the flow of malicious objects in computer network.

Figure 2 :
Figure 2: Time series of susceptible population S t , E t , I t , Q t , and R t of the system 2.1 .

Figure 3 :Figure 4 :
Figure 3: Effect of quarantine Q on recovered nodes R.
is the recruitment rate of susceptible nodes, d is the per capita natural mortality rate, α 1 the death rate in infective compartment due to malicious objects, and α 2 the death rate in quarantine class due to malicious objects.The per capita contact rate β is average number of effective contacts with other nodes per unit time, γ 2 is the rate constant which leaves the exposed compartment for infective class, δ is the rate constant which leaves the infective class for quarantine class, σ is the rate by which the nodes go from quarantine class into recovered class, and η is the rate of vertical transmission into the infective class.Lemma 2.1.Consider the following two systems:

Table 1 :
Parametric values used in simulating the models.