Abstract
A delayed SEIRS-V model on the transmission of worms in a wireless sensor network is considered. Choosing delay as a bifurcation parameter, the existence of the Hopf bifurcation of the model is investigated. Furthermore, we use the normal form method and the center manifold theorem to determine the direction of the Hopf bifurcation and the stability of the bifurcated periodic solutions. Finally, some numerical simulations are presented to verify the theoretical results.
Similar content being viewed by others
1 Introduction
In past several decades, many authors have studied different mathematical models which illustrate the dynamical behavior of the transmission of computer viruses based on the classical epidemic models due to the lots of similarities between biological viruses and computer viruses [1–12]. In [3], Yuan and Chen investigated the behavior of virus propagation in a network by proposing an e-SEIR model. In [7], Mishra and Pandey proposed an SEIRS model to investigate the transmission of worms in a network. As wireless sensor networks are unfolding their vast potential in a plethora of application environments, security still remains one of the most critical challenges yet to be fully addressed [13, 14]. In order to study the attacking behavior of possible worms in a wireless sensor network and considering that there is a basic similarity between the software viruses spread among wireless devices and the transmission of epidemic diseases in a population, Mishra and Keshri [14] proposed the following SEIRS-V model:
where , , , and represent the numbers of sensor nodes at time t in states susceptible, exposed, infectious, recovered and vaccinated, respectively. A is the inclusion of new nodes to the wireless sensor network, β is the transmission coefficient. α, γ, δ, η and p are state transition rates. ε and μ are the crashing rates of the sensor nodes due to the attack of worms and the reason other than the attack of worms, respectively. Mishra and Keshri [14] studied the stability of system (1).
As is known, computer virus models with time delay have been investigated by many authors [15–18]. In [15], Feng et al. investigated a viral infection model in computer networks with time delay due to the temporary immunity period of the recovered computers. In [17], Dong et al. proposed a computer virus model with time delay due to the time that the computers in a network use antivirus software to clean the viruses and investigated the Hopf bifurcation of the model by choosing the delay as a bifurcation parameter. Motivated by the work above, and considering that the sensor nodes need some time to clean the worms in a wireless sensor network by using antivirus software and the recovered and the vaccinated sensor nodes have a temporary immunity period after which they may be infected again because of antivirus software, we incorporate two delays into system (1) and get the following delayed SEIRS-V system on the transmission of worms in a wireless sensor network:
where is the time that the sensor nodes need to clean the worms by using antivirus software and is the temporary immunity period after which they may be infected again because of antivirus software. For the convenience of analysis, we assume that . Let , then system (2) becomes
This paper is organized as follows. In Section 2, we investigate local stability of the positive equilibrium and obtain sufficient conditions for the existence of local Hopf bifurcation. In Section 3, we determine direction and stability of the Hopf bifurcation by using the normal form theory and the center manifold theorem. In order to testify the theoretical analysis, a numerical example is presented in Section 4. Section 5 concludes the paper and indicates future directions for research.
2 Local stability of positive equilibrium and existence of local Hopf bifurcation
It is not difficult to verify that if , then system (3) has the unique positive equilibrium , where
The Jacobian matrix of system (3) about the positive equilibrium is
where
Thus, the characteristic equation of system (3) at is
where
Multiplying on both sides of Eq. (4), it is easy to obtain
When , Eq. (5) reduces to
where
Obviously, . By the Routh-Hurwitz criterion, sufficient conditions for all roots of Eq. (6) to have a negative real part are given in the following form:
Thus, if condition (H1) Eq. (7)-Eq. (10) holds, is locally asymptotically stable in the absence of delay.
For , let () be the root of Eq. (5). Then we can get
where
Then we can get
According to , we consider the following two cases.
Case 1. , then Eq. (11) becomes
which is equivalent to
where
Let and denote
Thus,
Set
Let . Then Eq. (14) becomes
where
Define
Then we can get the expression of , and we denote . Substitute into Eq. (11), we can get the expression of , and we denote . Thus, a function with respect to ω can be established by
If all the parameters of system (3) are given, we can calculate the roots of Eq. (15) by Matlab software package. Therefore, we make the following assumption in order to give the main results in this paper.
(H2) Eq. (15) has finite positive roots which are denoted by , respectively. For every fixed (), the corresponding critical value of time delay is
Case 2. , then Eq. (11) becomes
Similar as in Case 1, we can get the expression of denoted as and the expression of denoted by , and further we get a function with respect to ω that can be established by
We assume that Eq. (17) has finite positive roots denoted by , respectively. Then we can get the critical value of time delay corresponding to every fixed positive root of Eq. (17):
Let
Then, when , Eq. (5) has a pair of purely imaginary roots .
Next, we verify the transversality condition. Taking the derivative of λ with respect to τ in Eq. (5), it is easy to obtain
with
Thus,
where
Obviously, if condition (H3) holds, then . Therefore, by the Hopf bifurcation theorem in [18], we have the following results.
Theorem 1 For system (3), if conditions (H1)-(H3) hold, then the positive equilibrium of system (3) is asymptotically stable for , and system (3) undergoes a Hopf bifurcation at the positive equilibrium when .
3 Direction and stability of the Hopf bifurcation
Let , so that is the Hopf bifurcation value of system (2) and normalize the time delay by . Let , , , , , then system (3) can be transformed into the following form:
where ,
and
where
By the Riesz representation theorem, there exists a matrix function whose elements are of bounded variation such that
In fact, we choose
where δ is the Dirac delta function.
For , we define
and
Then system (18) is equivalent to the following operator equation:
The adjoint operator of A is defined by
associated with a bilinear form
where .
Let be the eigenvector of corresponding to and be the eigenvector of corresponding to . From the definition of and and by a simple computation, we obtain
From Eq. (19), we have
Then we choose
such that , .
Next, we can obtain the coefficients which will be used to determine the properties of the Hopf bifurcation by using a computation process similar as in [19]:
with
where and can be determined by the following equations respectively:
with
Then we can get the following coefficients:
In conclusion, we have the following results.
Theorem 2 For system (3), if (), then the Hopf bifurcation is supercritical (subcritical). If (), then the bifurcating periodic solutions are stable (unstable). If (), then the bifurcating periodic solutions increase (decrease).
4 Numerical simulation
In this section, we present a numerical example to verify the theoretical analysis in Section 2 and Section 3. Let , , , , , , , , . Then we get a particular case of system (3):
It is easy to verify that and system (21) has the unique positive equilibrium . Further, we have , . First, we choose , the corresponding phase plots are shown in Figures 1 and 2; it is easy to see that system (21) is asymptotically stable from Figures 1 and 2. Then we choose . The corresponding phase plots are illustrated by Figures 3 and 4. We can see that system (21) undergoes a Hopf bifurcation in this case. This property can also be seen from the bifurcation diagram in Figure 5. In addition, we obtain , . Thus, we have , , . From Theorem 2, we can conclude that the Hopf bifurcation is supercritical and the bifurcating periodic solutions are stable, and the period of the periodic solutions decreases.
5 Conclusions
This paper is concerned with a delayed SEIRS-V model on the transmission of worms in a wireless sensor network. The main results are given in terms of local stability and local Hopf bifurcation. By choosing the delay as a bifurcation parameter, sufficient conditions for local stability of the positive equilibrium and existence of the Hopf bifurcation of system (3) are obtained. We have proven that when the conditions are satisfied, there exists a critical value of the delay below which system (3) is stable and above which system (3) is unstable. Especially, system (3) undergoes a Hopf bifurcation at the positive equilibrium when . The occurrence of Hopf bifurcation means that the state of worms prevalence in a wireless sensor network changes from a positive equilibrium to a limit cycle, which is not welcomed in a wireless sensor network. Hence, we should control the occurrence of Hopf bifurcation by combining some bifurcation control strategies, and we leave this as the future work. Further, the properties of Hopf bifurcation are studied by using the normal form method and the center manifold theorem. Finally, a numerical example is given to support our theoretical results.
References
Kephart JO, White SR: Measuring and modeling computer virus prevalence. In IEEE Computer Security Symposium on Research in Security and Privacy. IEEE Press, New York; 1993:2-15.
Kephart JO, White SR: Directed-graph epidemiological models of computer viruses. IEEE Symposium on Security and Privacy 1991, 343-361.
Yuan H, Chen G: Network virus epidemic model with the point-to-group information propagation. Appl. Math. Comput. 2008, 206: 357-367. 10.1016/j.amc.2008.09.025
Yang LX, Yang XF, Wen LS, Liu JM: A novel computer virus propagation model and its dynamics. Int. J. Comput. Math. 2012, 89: 2307-2314. 10.1080/00207160.2012.715388
Huang CY, Lee CL, Wen TH, Sun CT: A computer virus spreading model based on resource limitations and interaction costs. J. Syst. Softw. 2013, 86: 801-808. 10.1016/j.jss.2012.11.027
Mishra BK, Pandey SK: Fuzzy epidemic model for the transmission of worms in computer network. Nonlinear Anal., Real World Appl. 2010, 11: 4335-4341. 10.1016/j.nonrwa.2010.05.018
Mishra BK, Pandey SK: Dynamic model of worms with vertical transmission in computer network. Appl. Math. Comput. 2011, 217: 8438-8446. 10.1016/j.amc.2011.03.041
Yang LX, Yang XF: Propagation behavior of virus codes in the situation that infected computers are connected to the Internet with positive probability. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 693695
Yang MB, Zhang ZF, Li Q, Zhang G: An SLBRS model with vertical transmission of computer virus over the Internet. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 925648
Yang LX, Yang XF, Zhu QY, Wen LS: A computer virus model with graded cure rates. Nonlinear Anal., Real World Appl. 2013, 14: 414-422. 10.1016/j.nonrwa.2012.07.005
Mishra BK, Pandey SK: Dynamic model of worm propagation in computer network. Appl. Math. Model. 2014, 38: 2173-2179. 10.1016/j.apm.2013.10.046
Gan CQ, Yang XF, Liu WP, Zhu QY: A propagation model of computer virus with nonlinear vaccination probability. Commun. Nonlinear Sci. Numer. Simul. 2014, 19: 92-100. 10.1016/j.cnsns.2013.06.018
Akyildiz I, Su W, Sankarasubramaniam Y, Cayirci E: A survey on sensor networks. IEEE Commun. Mag. 2002, 40: 102-114.
Mishra BK, Keshri N: Mathematical model on the transmission of worms in wireless sensor network. Appl. Math. Model. 2013, 37: 4103-4111. 10.1016/j.apm.2012.09.025
Feng LP, Liao XF, Li HQ, Han Q: Hopf bifurcation analysis of a delayed viral infection model in computer networks. Math. Comput. Model. 2012, 56: 167-179. 10.1016/j.mcm.2011.12.010
Ren JG, Yang XF, Yang LX, Xu YH, Yang FZ: A delayed computer virus propagation model and its dynamics. Chaos Solitons Fractals 2012, 45: 74-79. 10.1016/j.chaos.2011.10.003
Dong T, Liao XF, Li HQ: Stability and Hopf bifurcation in a computer virus model with multistate antivirus. Abstr. Appl. Anal. 2012., 2012: Article ID 841987
Hassard BD, Kazarinoff ND, Wan YH: Theory and Applications of Hopf Bifurcation. Cambridge University Press, Cambridge; 1981.
Bianca C, Ferrara M, Guerrini L: The Cai model with time delay: existence of periodic solutions and asymptotic analysis. Appl. Math. Inf. Sci. 2013, 7: 21-27. 10.12785/amis/070103
Acknowledgements
The authors would like to thank the editor and the anonymous referees for their work on the paper. This work was supported by the Natural Science Foundation of Higher Education Institutions of Anhui Province (KJ2014A005).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zhang, Z., Si, F. Dynamics of a delayed SEIRS-V model on the transmission of worms in a wireless sensor network. Adv Differ Equ 2014, 295 (2014). https://doi.org/10.1186/1687-1847-2014-295
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-295