- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Discrete Dynamics in Nature and Society
Volume 2013 (2013), Article ID 210291, 7 pages
Optimal Control of a Delay-Varying Computer Virus Propagation Model
1College of Computer, Jiangsu Normal University, Jiangsu 221116, China
2College of Bioengineering, Chongqing University, Chongqing 400044, China
3School of Information Engineering, Guangdong Medical College, Dongguan 523808, China
Received 1 April 2013; Revised 20 July 2013; Accepted 21 July 2013
Academic Editor: Xiaofan Yang
Copyright © 2013 Jianguo Ren et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
By incorporating the objective of keeping a low number of infected nodes and a high number of recovered nodes at a lower cost into a known computer virus model (the delay-varying SIRC model) extended by introducing quarantine, a novel model is described by means of the optimal control strategy and theoretically analyzed. Through the comparison of simulation results, it is shown that the propagation of computer virus with varying latency period can be suppressed effectively by the optimal control strategy.
With the advance of computer software and hardware technology and communication technology, the number and sort of computer viruses have increased dramatically, which causes huge losses to the human society. Therefore, establishing reasonable computer virus propagation models by considering the characteristics of computer virus, by model analysis, and by understanding the spread law of the virus over the network is a currently hot topic of research.
Learning from the epidemic models, the classical SIR (susceptible-infected-recovered) computer virus propagation model [1, 2], as well as its extensions [3–15], is extended to explore the behavior of computer virus propagation in network. For example, by considering the computer virus fixed latent period, Mishra et al. [6, 7] proposed delayed SIRS, SEIR computer virus models with a fixed period of temporary immunity, which accounts for the temporary recovery from the infection of virus. Very recently, Ren and Xu  introduced an interesting virus propagation model, known as the SIRC model, by considering the fact that when the virus enters into the susceptible computers, their latency periods vary and investigated the dynamics of the model. Once the rule of the virus spread is revealed, it comes to be a major issue how to control the virus spread effectively [17–19].
In this paper, by incorporating the objective of keeping a low number of infected nodes and a high number of recovered nodes at the lower cost into a delay-varying computer virus propagation model (SIRC model) extended by introducing the new compartment quarantine, a novel model is described by means of the optimal control strategies associated with measures of quarantine and installing antivirus programs and firewalls and theoretically analyzed. It is comparatively showed that optimal control strategy is much more effective for controlling virus with varying latency period in network.
The remaining materials of this paper are organized this way: Section 2 introduces the mathematical model to be discussed; Section 3 studies the controlled system theoretically. In Section 4, we solve the controlled system numerically using the Runge-Kutta procedure and make numerical comparisons with control and without control. We end the paper with a brief conclusion in Section 5.
2. Mathematical Model
Consider a delay-varying computer virus model recently proposed in  Here, it is assumed that all the computers connected to the network in concern are classified into three categories: susceptible, infected, and recovered computers. Let , , and denote their corresponding numbers at time. This model involves some positive parameters: denotes the rate at which external computers are connected to the network,denotes the recovery rate of infected computers due to the antivirus ability of the network, denotes the rate at which one computer is removed from the network, and denotes the rate at which, when having connection to one infected computer, one susceptible computer can become infected. By appropriate assumptions and extensions in , model (1) can be written as where denotes the effect of past infection information in the susceptible computers at time ,is a positive delay parameter with the initial conditions, , , and the positively invariant set
Recently, more research attention has been paid to the combination of virus propagation models and antivirus countermeasures to investigate the prevalence of virus. As an elementary measure, quarantine [20, 21] is used to restrain the spread of computer virus. Extending the previous SIRC, a new compartment quarantine has been introduced under which the susceptible, infected computers exhibited suspicious behavior and, consequently, have been quarantined. The model with quarantine can be written as where parameter denotes the rate at which the susceptible computers are quarantined,denotes the rate at which the infected computers are quarantined.
For our purpose, first, we introduce two Lebesgue square integrable control functions. (1) denotes the cost for installing effective antivirus programs and firewalls on the susceptible computers and infected computers at time .(2) denotes the cost for quarantining the susceptible and infected computers at time .
Both of the control functions are normalized to fall between 0 and 1, and the admissible set of control functions is given by
To obtain the controlled model, the following assumptions are made.(1)At time , there are infected computers that would become recovered, whereas there arethat would be quarantined, where.(2)At time , by installing antivirus programs and firewalls, there are susceptible computers that would directly become recovered, whereas there are that would be quarantined, where.
Taking into account the assumptions made above, the model (7) can become the following computer virus propagation model: with the given initial conditions and the positively invariant set.
3. Optimal Control Problem
During the time period, under the above assumptions and extensions, our objective is given by the following.(1)Minimize the number of infected computers () and maximize the number of recovered computers ().(2)Minimize the total cost to quarantine the susceptible and infected computers.(3)Minimize the total cost for installing the antivirus programs and firewalls in the susceptible and infected computers.
Thus, our optimal control problem is to minimize the objective functional: where parameterdenotes the weight constants of effect of latent virus, , are trade-off factors.
To find an optimal solution to (4), consider the Lagrangian
Define the Hamiltonian for the control problem as with the transversality conditions (or boundary conditions), .
Theorem 1. There exist control functions, so thatsubject to the controlled system (6) with initial condition.
Proof. We use the results in [22, 23]. It is clear that the set of control and corresponding state variables are nonnegative values and the set is convex and closed.is convex on . Meanwhile, the optimal system (4) is bounded by a linear function in the state variables. Also, there exist a constant and two positive numbers and so that .
Theorem 2. Consider the optimal control problem (7) subject to (6). Let , , , , and form the optimal state solution with associated optimal control variables, . Then, there exist adjoint variables, , , , andthat satisfy with transversality conditions, .
Proof. By the adjoint equations and optimality conditions, we have
which can be obtained from, , respectively.
Noting a fact that, , we obtain that
From the previous analysis, to get the optimal point, we have to solve the system with the Hamiltonian
4. Numerical Simulations
In this section, to find out the optimal control solution, we numerically solve system (13) with (14) by a Runge-Kutta procedure and make numerical comparisons. Figures 1–5 plot the numbers of susceptible, infected, recovered, and quarantined computers as well as the effect of past infection information in the susceptible computers with and without control, with the parameters shown in Table 1 and the initial conditions shown in Table 2.
The number of computers under control is marked by solid line, whereas the number of remaining computers is marked by dashed line. One can see that, under control, the number of susceptible computers is sharply low, which is the same as the effect of past infection information in Figure 5. In Figure 2, we can see that the number of infected computers under control is lower than that without control. In Figure 3, the number of recovered computers is very small without control and more recovered computers increase more rapidly. Although the number of quarantined computers with control would slightly grow in Figure 4, we mainly consider tradeoff between the cost and effect of the quarantine. Figures 6 and 7 plot the control variables , versus time with associated weight factor and, respectively.
By incorporating the objective of keeping a low number of infected nodes and a high number of recovered nodes at the lower cost into a known computer virus model (the delay-varying SIRC model) extended by introducing quarantine, a novel model is described by means of the optimal control strategy and theoretically analyzed. A comparison between optimal control and without control is presented, which demonstrates the effectiveness of our method. The results obtained in the present paper can help understand and control the spread of computer virus over a computer network.
The work is supported by the National Natural Science Foundation of China under Grant no. 61304117, no. 61272297 and no. 61100167, the Natural Science Foundation of Jiangsu Province, China under Grant no. BK2011204, the doctorate teacher support project of JiangSu Normal University under Grant no. 12XLR021, and the Natural Science Foundation of the Jiangsu Higher Education Institutions of China under Grant no. 13KJB520008, the Natural Science Foundation of the Jiangsu Higher Education Institutions of China under Grant no. 11KJB520019.
- J. C. Wierman and D. J. Marchette, “Modeling computer virus prevalence with a susceptible-infected-susceptible model with reintroduction,” Computational Statistics & Data Analysis, vol. 45, no. 1, pp. 3–23, 2004.
- J. R. C. Piqueira and V. O. Araujo, “A modified epidemiological model for computer viruses,” Applied Mathematics and Computation, vol. 213, no. 2, pp. 355–360, 2009.
- C. Gan, X. Yang, W. Liu, Q. Zhu, and X. Zhang, “Propagation of computer virus under human intervention: a dynamical model,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 106950, 8 pages, 2012.
- Q. Zhu, X. Yang, and J. Ren, “Modeling and analysis of the spread of computer virus,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 12, pp. 5117–5124, 2012.
- L.-X. Yang, X. Yang, J. Liu, Q. Zhu, and C. Gan, “Epidemics of computer viruses: s complex-network approach,” Applied Mathematics and Computation, vol. 219, no. 16, pp. 8705–8717, 2013.
- B. K. Mishra and D. K. Saini, “SEIRS epidemic model with delay for transmission of malicious objects in computer network,” Applied Mathematics and Computation, vol. 188, no. 2, pp. 1476–1482, 2007.
- B. K. Mishra and N. Jha, “Fixed period of temporary immunity after run of anti-malicious software on computer nodes,” Applied Mathematics and Computation, vol. 190, no. 2, pp. 1207–1212, 2007.
- L.-X. Yang and X. Yang, “The spread of computer viruses under the influence of removable storage devices,” Applied Mathematics and Computation, vol. 219, no. 8, pp. 3914–3922, 2012.
- L.-X. Yang, X. Yang, L. Wen, and J. Liu, “A novel computer virus propagation model and its dynamics,” International Journal of Computer Mathematics, vol. 89, no. 17, pp. 2307–2314, 2012.
- J. Ren, X. Yang, Q. Zhu, L.-X. Yang, and C. Zhang, “A novel computer virus model and its dynamics,” Nonlinear Analysis: Real World Applications, vol. 13, no. 1, pp. 376–384, 2012.
- J. Ren, X. Yang, L.-X. Yang, Y. Xu, and F. Yang, “A delayed computer virus propagation model and its dynamics,” Chaos, Solitons & Fractals, vol. 45, no. 1, pp. 74–79, 2012.
- L.-X. Yang, X. Yang, Q. Zhu, and L. Wen, “A computer virus model with graded cure rates,” Nonlinear Analysis: Real World Applications, vol. 14, no. 1, pp. 414–422, 2013.
- X. Yang, B. K. Mishra, and Y. Liu, “Theory, model and methods,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 473508, 2 pages, 2012.
- X. Yang and L. -X. Yang, “Towards the epidemiological modeling of computer viruses,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 259671, 11 pages, 2012.
- L.-X. Yang and X. Yang, “Propagation behavior of virus codes in the situation that infected computers are connected to the internet with positive probability,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 693695, 13 pages, 2012.
- J. Ren and Y. Xu, “Dynamics of a delay-varying computer virus propagation model,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 372192, 12 pages, 2012.
- C. Zhang, X. Yang, and Q. Zhu, “An optimal control model for computer viruses,” Journal of Information and Computational Science, vol. 8, no. 13, pp. 2587–2596, 2011.
- Q. Zhu and X. Yang, “Optimal control of computer virus under a delayed model,” Applied Mathematics and Computation, vol. 218, no. 23, pp. 11613–11619.
- J. Ren and X. Yang, “Dynamics and optimal shelter for computer virus propagation in network,” Journal of Information and Computational Science, vol. 8, no. 9, pp. 1735–1745, 2011.
- D. Moore, C. Shannon, G. M. Voelker, and S. Savage, “Internet quarantine: requirements for containing self-propagating code,” in Proceedings of the 22nd IEEE Annual Joint Conference on the Computer and Communications Societies (INFOCOM '03), pp. 1901–1910, IEEE, April 2003.
- T. M. Chen and N. Jamil, “Effectiveness of quarantine in worm epidemics,” in Proceedings of the IEEE International Conference on Communications (ICC '05), pp. 2142–2147, IEEE, July 2005.
- W. H. Fleming and R. W. Rishel, Deterministic and Stochastic, Springer, Berlin, Germany, 1975.
- D. L. Lukes, Differential Equations: Classical to Controlled, vol. 162 of Mathematics in Science and Engineering, Academic Press, New York, NY, USA, 1982.
- M. L. Kamien and N. L. Schwartz, Dynamics Optimization: The Clculus of Variations and Optimal Control in Economics and Management, Elsevier Science, Amsterdam, The Netherlands, 2000.