Modeling and Stability Analysis of Worm Propagation in Wireless Sensor Network

Feng, Liping; Song, Lipeng; Zhao, Qingshan; Wang, Hongbin

doi:https://doi.org/10.1155/2015/129598

Mathematical Problems in Engineering

On this page

Abstract Introduction Conclusions Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2015 | Article ID 129598 | https://doi.org/10.1155/2015/129598

Modeling and Stability Analysis of Worm Propagation in Wireless Sensor Network

Liping Feng,¹Lipeng Song,²Qingshan Zhao,¹and Hongbin Wang¹

Academic Editor: Stefan Balint

Received28 Apr 2015

Revised20 Jul 2015

Accepted19 Aug 2015

Published02 Sept 2015

Abstract

An improved SIRS model considering communication radius and distributed density of nodes is proposed. The proposed model captures both the spatial and temporal dynamics of worms spread process. Using differential dynamical theories, we investigate dynamics of worm propagation to time in wireless sensor networks (WSNs). Reproductive number which determines global dynamics of worm propagation in WSNs is obtained. Equilibriums and their stabilities are also found. If reproductive number is less than one, the infected fraction of the sensor nodes disappears and if the reproduction number is greater than one, the infected fraction asymptotically stabilizes at the endemic equilibrium. Based on the reproduction number, we discuss the threshold of worm propagation about communication radius and distributed density of nodes in WSNs. Finally, numerical simulations verify the correctness of theoretical analysis.

1. Introduction

A sensor network is composed of hundreds or even thousands of sensor nodes that are allowed random deployment in inaccessible terrains or disaster relief operations [1]. Wireless sensor networks (WSNs), as a kind of new information and communication network, have gained worldwide attention owing to their potential in civil and military applications, for instance, intrusion detection, perimeter monitoring, information gathering, and smart logistics support in an unknown deployed area [2–4].

With widespread applications of WSNs, research on WSNs has been a hot topic. Some methods have been proposed for prolonging the lifetime of WSNs focusing on energy consumption [5–7], device placement [8], and topology management [9]. Because sensor nodes are constrained sources, they have weak defenses and are attacking targets for worms. Injecting malware into some nodes has become a serious threat [10]. Recently, malicious codes targeting wireless devices have emerged, which can spread directly from device to device using wireless communication technology, such as Wi-Fi and Bluetooth [11–14]. For instance, computer worm like Cabir uses the Bluetooth interface to spread among cellphones, which means that worms have committed the wireless domain and WSNs are also extremely vulnerable to malware.

Actions of malicious objects on the Internet have been studied by using epidemical models and have provided insights for controlling worm prevalence in networks [15–20]. In [15], the authors presented an E-mail virus model that accounts for behaviors of E-mail users and analyzed propagation features of E-mail viruses in different network topologies. In [16–20], the authors proposed epidemic models with time delay and analyzed dynamical features of worm prevalence. To effectively defend against worm intrusions, it is necessary to deeply understand dynamical features of worm propagation in WSNs. Existing research prove that epidemical models are valuable for portraying characteristics of worm propagation. Since there is a basic similarity between worm propagation through wireless devices and traditional worm spread on the Internet, the epidemical models extensively are applied to study worm spread in WSNs by some researchers in recent years [11, 21–23]. In [21], the authors proposed a SIRS malware propagation model with feedback controller and analyzed Hopf bifurcation dynamics of malware prevalence in mobile wireless networks. The authors in [22] presented an epidemic model with vaccination compartment which captures both the spatial and temporal dynamics of worm spread process, and some mathematical analyses and numerical simulations were performed based on this model. The common problem of the above models is that the characteristics of wireless sensor networks like energy consumption, communication radius, and distributed density of nodes have not been considered in models. In [11], the authors developed a mathematical model for the propagation that incorporates important parameters derived from the communication patterns of the protocol under test. Based on this model, the authors analyzed the propagation rate and the extent of spread of a malware over typical broadcast protocols proposed in the paper. Wang and Li derived an iSIR model describing the process of worm propagation with energy consumption of nodes in WSNs [23]. Numerical simulations are performed to observe the effects of the network topology and energy consumption of nodes on worm spread in WSNs. However, the authors have not performed mathematical analyses based on this model. In fact, key parameters of affecting worm spread can be found by explicit mathematical analyses.

To better portrait the features of worm propagation in WSNs, in this paper, we study the attacking behavior of possible worms in WSNs by constructing an improved SIRS epidemic model. In this model, the following three factors are considered: (i) energy consumptions of nodes; (ii) communication radius of nodes; and (iii) distributed density of nodes in WSNs. Based on this model, we analyze the stability of worm prevalence through finding the equilibriums of model.

The rest of this paper is organized as follows: in Section 2, we analyze topology of WSNs and present the model formulation. Section 3 derives the equilibriums of the model and discusses the stability of worm propagation at the equilibriums. In Sections 4 and 5, numerical simulations are performed to verify the correctness of theoretical analyses and some conclusions are given, respectively.

2. The Proposed Model

2.1. System Description

We model a wireless sensor network composed of nodes. The nodes are uniformly distributed in area (nodes average density is ) and the wireless communication range of every node is . The topological structure of a WSN is shown in Figure 1.

Based on the existing epidemic model [24, 25], the nodes in WSNs are classified into three states:(i)Susceptible state (): nodes in have not been infected by worms, and these nodes are vulnerable to worms in WSNs.(ii)Infected state (): nodes have been infected by worms and have the ability to infect other nodes in WSNs.(iii)Recover state (): nodes have installed a detection tool that can identify and remove worms, or nodes have installed a software patch to eliminate the node vulnerability exploited by worms.

We consider the following state transitions among these three states:(i)Users may immunize their nodes with countermeasures in states and with probabilities and , respectively.(ii)As the energy of nodes is exhausted, some nodes become dead nodes with probability .(iii)Infected nodes infect susceptible with effective infection rate .(iv)Some recovered nodes may become susceptible nodes with probability .Transition relationships among node states are described in Figure 2.

2.2. Model Derivation

The communication area of a node is denoted by , and the density of susceptible nodes in a unit area in WSNs is denoted by . Then the following equations hold:From (1), we can get

According to state transition relationships in Figure 2, the mathematical model of worm propagation in WSNs can be derived as follows:For convenience, letThen, system (3) can be written as

3. Stability Analysis of Equilibriums

In this section, we will find the equilibriums of system (5) and investigate their stability. The equilibriums of system (5) are given by solutions ofLet (the second equation of (6)); we have or and . For the case of , we have worm-free equilibrium For the case of , we have endemic equilibriumLetNotably, the endemic equilibrium is meaningful only if .

3.1. Worm-Free Equilibrium and Its Stability

Lemma 1. The worm-free equilibrium is locally asymptotically stable if and unstable if .

Proof. According to , the characteristic equation of system (5) at worm-free equilibrium is which is equivalent toEquation (11) has a characteristic root and the roots of equationObviously, in accordance with the relationship between roots and coefficients of quadratic equation, there is no positive real part characteristic root of (12). Hence, when , (11) has no positive real root, and worm-free equilibrium is locally asymptotically stable. When , (11) has a positive root; thus, worm-free equilibrium is an unstable saddle-point.

Furthermore, the following theorem holds.

Theorem 2. The worm-free equilibrium is globally asymptotically stable if

Proof. From the first equation of system (5)Thus, . When , we obtainConsider a Lyapunov functionSo, we prove that worm-free equilibrium is globally asymptotically stable.

3.2. Endemic Equilibrium and Its Stability

Now, we investigate the local stability of endemic equilibrium . The characteristic equation of system (5) at endemic equilibrium is which is equivalent towhere , , and .

Obviously, , , , and . According to the theorem of Routh-Hurwitz [26, 27], it follows that the roots of (17) have negative real parts. Therefore, the endemic equilibrium is locally asymptotically stable.

From the above discussion, we can summarize the following conclusion.

Lemma 3. If , then endemic equilibrium is locally asymptotically stable.

Note that the number of nodes in WSNs is relatively stable; that is, at time , the number of nodes , , and in states , and , respectively, satisfiesHence, the dynamics of system (5) is equivalent to the following system:Clearly, when , system (19) has a unique positive equilibrium , where Now, we state and prove a result on the global stability of the endemic equilibrium of system (19).

Theorem 4. When , the endemic equilibrium of system (19) is globally asymptotically stable.

Proof. Consider the following Lyapunov function [28]:The time derivative of along the solution of system (19) is given byThe proof is completed.

Remark 5. By Theorem 4, we obtain that ; then endemic equilibrium of system (5) is globally asymptotically stable.

4. Worm Propagation Threshold Analysis and Numerical Simulations

We have proved that the basic reproductive number equaling zero is the threshold whether worms are eliminated. When , worms in WSNs can be eliminated, and system (5) will stabilize at worm-free equilibrium. When , worms in WSNs will exist consistently, and system (5) will stabilize at the endemic equilibrium. For verifying the correctness of theoretical analysis, we perform worm propagation threshold analyses and numerical simulations from the following two sides.

4.1. Communication Radius of Nodes

Let ; we can get the threshold of worm propagation about communication radius of nodes ; that is, when , , according to Theorem 2, worms in WSNs can be eliminated, and system (5) will stabilize at the worm-free equilibrium; when , , according to Remark 5, worms in WSNs will exist consistently, and system (5) will stabilize at the endemic equilibrium.

We choose a set of simulation parameters as follows: , , , , , , and . By calculation, we have . Initial values of susceptible, infected, and recovered nodes in WSNs are , , and . When takes different values, simulation results are depicted in Figures 3(a)–3(d).

(a)

(b)

(c)

(d)

When and , Figures 3(a) and 3(b) show that system (5) stabilizes at worm-free equilibrium. The simulation results are consistent with Theorem 2.

When and , Figures 3(c) and 3(d) show that system (5) stabilizes at the endemic equilibrium. Simulation results are consistent with Remark 5.

4.2. Nodes Distributed Density

Let ; we can get the threshold of worm propagation about node distributed density . When , , system (5) has only a worm-free equilibrium and is globally asymptotically stable; when , , system (5) has an endemic equilibrium besides the worm-free equilibrium, and endemic equilibrium is globally asymptotically stable.

We choose a set of simulation parameters as follows: , , , , , , and . By calculation, we get . Initial values of system (5) are set as , , and . When , , , and , we can get , , , and . Simulation results are depicted in Figures 4(a)–4(d).

(a)

(b)

(c)

(d)

When and , Figures 4(a) and 4(b) indicate that system (5) stabilizes at the worm-free equilibrium, and worm propagation is controlled finally. Simulation results are consistent with theoretical analysis.

When and , Figures 4(c) and 4(d) show that the trajectories converge to the endemic equilibrium. The conclusions agree with theoretical analysis.

5. Conclusions

In this paper, we have proposed an improved SIRS model for analyzing dynamics of worm propagation in WSNs. This model can describe the process of worm propagation with the energy consumption and different distributed density of nodes. Based on this model, a control parameter that completely determines the global dynamics of worm propagation has been obtained by the explicit mathematical analyses. From Theorems 4 and 2, we learn out that worm will be controlled in WSNs when , and they will be prevalent otherwise. Finally, based on , we discuss the threshold of worm propagation about communication radius and distributed densities of nodes in WSNs. Numerical simulations verify the correctness of theoretical analysis. Research results show that decreasing the value of communication radius or reducing distributed density of nodes is an effective method to prevent worms spread in WSNs. Research of this paper provides the theoretical basis for predicting and controlling worm propagation in WSNs. It is worth pointing out that we do not consider physical effects like “collisions” and heterogeneous distribution of nodes on infection rate when modeling, which is our focus in the future.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by the National Natural Science Foundation of China (61379125), the Natural Science Foundation of Shanxi Province (2015011053), Key Construction Disciplines of Xinzhou Normal University (ZDXK201204, XK201307).

References

S. Tang and W. Li, “QoS supporting and optimal energy allocation for a cluster based wireless sensor network,” Computer Communications, vol. 29, no. 13-14, pp. 2569–2577, 2006.
View at: Publisher Site | Google Scholar
L. H. Zhu and H. Y. Zhao, “Dynamical analysis and optimal control for a malware propagation model in an information network,” Neurocomputing, vol. 149, pp. 1370–1386, 2015.
View at: Publisher Site | Google Scholar
S. S. W. Lee, P.-K. Tseng, and A. Chen, “Link weight assignment and loop-free routing table update for link state routing protocols in energy-aware internet,” Future Generation Computer Systems, vol. 28, no. 2, pp. 437–445, 2012.
View at: Publisher Site | Google Scholar
T. Rault, A. Bouabdallah, and Y. Challal, “Energy efficiency in wireless sensor networks: a top-down survey,” Computer Networks, vol. 67, pp. 104–122, 2014.
View at: Publisher Site | Google Scholar
M. Chiang, “Balancing transport and physical layers in wireless multihop networks: jointly optimal congestion control and power control,” IEEE Journal on Selected Areas in Communications, vol. 23, no. 1, pp. 104–116, 2005.
View at: Publisher Site | Google Scholar
H. Shi, W. Wang, and N. Kwok, “Energy dependent divisible load theory for wireless sensor network workload allocation,” Mathematical Problems in Engineering, vol. 2012, Article ID 235289, 16 pages, 2012.
View at: Publisher Site | Google Scholar
J. Zhang and H.-N. Lee, “Energy-efficient utility maximization for wireless networks with/without multipath routing,” AEU—International Journal of Electronics and Communications, vol. 64, no. 2, pp. 99–111, 2010.
View at: Publisher Site | Google Scholar
C.-Y. Chang, J.-P. Sheu, Y.-C. Chen, and S.-W. Chang, “An obstacle-free and power-efficient deployment algorithm for wireless sensor networks,” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, vol. 39, no. 4, pp. 795–806, 2009.
View at: Publisher Site | Google Scholar
H. Chen, C. K. Tse, and J. Feng, “Impact of topology on performance and energy efficiency in wireless sensor networks for source extraction,” IEEE Transactions on Parallel and Distributed Systems, vol. 20, no. 6, pp. 886–897, 2009.
View at: Publisher Site | Google Scholar
M. H. Khouzani and S. Sarkar, “Maximum damage battery depletion attack in mobile sensor networks,” IEEE Transactions on Automatic Control, vol. 56, no. 10, pp. 2358–2368, 2011.
View at: Publisher Site | Google Scholar | MathSciNet
P. De, Y. Liu, and S. K. Das, “An epidemic theoretic framework for vulnerability analysis of broadcast protocols in wireless sensor networks,” IEEE Transactions on Mobile Computing, vol. 8, no. 3, pp. 413–425, 2009.
View at: Publisher Site | Google Scholar
S. Zanero, “Wireless malware propagation: a reality check,” IEEE Security & Privacy, vol. 7, no. 5, pp. 70–74, 2009.
View at: Publisher Site | Google Scholar
S. A. Khayam and H. Radha, “Using signal processing techniques to model worm propagation over wireless sensor networks,” IEEE Signal Processing Magazine, vol. 23, no. 2, pp. 164–169, 2006.
View at: Publisher Site | Google Scholar
G. Yan and S. Eidenbenz, “Modeling propagation dynamics of bluetooth worms,” IEEE Transactions on Mobile Computing, vol. 8, no. 3, pp. 353–367, 2009.
View at: Publisher Site | Google Scholar
C. C. Zou, D. Towsley, and W. B. Gong, “Modeling and simulation study of the propagation and defense of internet e-mail worms,” IEEE Transactions on Dependable and Secure Computing, vol. 4, no. 2, pp. 105–118, 2007.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar | MathSciNet
S. J. Wang, Q. M. Liu, X. F. Yu, and Y. Ma, “Bifurcation analysis of a model for network worm propagation with time delay,” Mathematical and Computer Modelling, vol. 52, no. 3-4, pp. 435–447, 2010.
View at: Publisher Site | Google Scholar | MathSciNet
Q. Zhu, X. Yang, L.-X. Yang, and C. Zhang, “Optimal control of computer virus under a delayed model,” Applied Mathematics and Computation, vol. 218, no. 23, pp. 11613–11619, 2012.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
L. Feng, X. Liao, H. Li, and Q. Han, “Hopf bifurcation analysis of a delayed viral infection model in computer networks,” Mathematical and Computer Modelling, vol. 56, no. 7-8, pp. 167–179, 2012.
View at: Publisher Site | Google Scholar | MathSciNet
L. Feng, X. Liao, Q. Han, and H. Li, “Dynamical analysis and control strategies on malware propagation model,” Applied Mathematical Modelling, vol. 37, no. 16-17, pp. 8225–8236, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
L. H. Zhu, H. Y. Zhao, and X. M. Wang, “Bifurcation analysis of a delay reaction-diffusion malware propagation model with feedback control,” Communications in Nonlinear Science and Numerical Simulation, vol. 22, no. 1–3, pp. 747–768, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
B. K. Mishra and N. Keshri, “Mathematical model on the transmission of worms in wireless sensor network,” Applied Mathematical Modelling, vol. 37, no. 6, pp. 4103–4111, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
X. M. Wang and Y. S. Li, “An improved SIR model for analyzing the dynamics of worm propagation in wireless sensor networks,” Chinese Journal of Electronics, vol. 18, no. 1, pp. 8–12, 2009.
View at: Google Scholar
D. J. Daley and J. Gani, Epidemic Modeling: An Introduction, Cambridge University Press, New York, NY, USA, 1999.
J. O. Kephart and S. R. White, “Measuring and modeling computer virus prevalence,” in Proceedings of the IEEE Computer Society Symposium on Security and Privacy, pp. 2–15, May 1993.
View at: Google Scholar
E. A. Barbashin, Introduction to the Theory of Stability, Walters-Noordhoff, Groningen, The Netherlands, 1970.
View at: MathSciNet
J. La Salle and S. Lefschetz, Stability by Liapunovs Direct Method, Academic Press, New York, NY, USA, 1961.
H. Yuan and G. Q. Chen, “Network virus-epidemic model with the point-to-group information propagation,” Applied Mathematics and Computation, vol. 206, no. 1, pp. 357–367, 2008.
View at: Publisher Site | Google Scholar | MathSciNet

Copyright

Copyright © 2015 Liping Feng 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.

PDF Download Citation

Download other formats

Order printed copies

Views

2342

Downloads

1443

Citations