Abstract
Wireless sensor networks (WSNs) encounter a significant challenge in ensuring network security due to their operational constraints. This challenge stems from the potential infiltration of malware into WSNs, where a single infected node can rapidly propagate worms to neighboring nodes. To address this issue, this research introduces a stochastic \(\textsf{S}\textsf{E}\textsf{I}\textsf{R}\textsf{S}\) model to characterize worm spread in WSNs. Initially, we established that our model possesses a globally positive solution. Subsequently, we determine a threshold value for our stochastic system and derive a set of sufficient conditions that dictate the persistence or extinction of worm spread in WSNs based on the mean behavior. Our study reveals that environmental randomness can impede the spread of malware in WSNs. Moreover, by utilizing various parameter sets, we obtain approximate solutions that showcase these precise findings and validate the effectiveness of the proposed \(\textsf{S}\textsf{E}\textsf{I}\textsf{R}\textsf{S}\) model, which surpasses existing models in mitigating worm transmission in WSNs.
Similar content being viewed by others
Introduction
The progress of information technology has brought about an increase in alarming incidents related to wireless networks1,2. This progress in the field not only created security issues and threats to the entire globe but also endangered human beings3. Within a wireless network, a sensor node is a small, intelligent, and cost-effective device4. WSNs are utilized for collecting periodic data in various deployments, including mission-critical scenarios, these networks have numerous significant applications, such as object monitoring in agriculture, military target tracking, disaster management, environmental and pollution monitoring, exploration of dangerous environments, flood detection, traffic monitoring, vehicle tracking, gas monitoring, seismic sensing, water quality monitoring, and healthcare applications (Akyildiz, Su, Sankarasubramaniam5,6,7. Nevertheless, sensor nodes are not only low-cost devices but also operate intelligently. However, they are subject to resource constraints, such as limited battery life, memory capacity, and processing capabilities8,9. Hence, the limited resources and decentralized architecture of wireless sensor networks make it highly challenging to establish wireless communication and ensure adequate security provisions between these networks. Wireless networks are more susceptible to threats compared to other networks, as they exhibit greater vulnerability10. Despite implementing various security mechanisms to protect the network, software glitches and vulnerabilities are common challenges that can be exploited by hackers. Software vulnerabilities arise from various sources, including coding errors, design flaws, or insufficient security measures implemented in software applications or systems. These concerns become even more critical in the context of WSNs. Sensor nodes in WSNs have limited communication range and rely on multi-hop data delivery11. As a result of these limitations, nodes in the networks have limited defense capabilities against virus attacks, including malicious signals, worms, viruses, and more12. Controlling the propagation of worms is crucial for the network’s sustainability. Therefore, the study of malicious signal transmission and mathematical modeling plays a crucial role in understanding and mitigating these threats13,14,15,16.
Mathematical modeling techniques have been widely recognized as the most essential and straightforward tools for studying and predicting the dynamics of various epidemic diseases17,18,19,20,21. It is observed that various random processes particularly related to the environment like humidity, rainfall, temperature, and many other factors have a significant impact on the dynamic behavior of different epidemic diseases. These effects allow researchers to include random processes in the traditional ODE models which helps to elucidate the impact of environmental fluctuations. This variability can arise from variations in values of the parameters or the introduction of stochastic noises into the underlying systems22,23,24. Additionally, random models offer an additional level of freedom and are very close to reality compared to their ODE counterparts. Numerous authors have extensively investigated the dynamics of various populations using perturbations in the form of Brownian motion or white noises, for instance, one can see25,26 and references cited therein.
In a real-world scenario, the worms spreading across a wireless sensor network could be illustrated through a hypothetical situation involving a network of interconnected sensors deployed for monitoring and collecting data in a critical infrastructure setting, such as a smart city, industrial plant, or environmental monitoring system. Here’s a fictional example to help illustrate the scenario. As the worm spreads, it starts causing disruptions within the sensor network. It may manipulate sensor readings, leading to inaccurate data being sent to the central control system. This can result in misinformed decisions and potentially disrupt industrial processes27,28.
This article represents a significant advancement in effectively demonstrating the utility of the \(\textsf{S}\textsf{E}\textsf{I}\textsf{R}\textsf{S}\) model, which can assist researchers in accurately elucidating the dynamics of malware propagation within WSNs. By incorporating white noise perturbations, we aim to uncover the impacts of environmental variations and parameter variability on the propagation process. The study elucidates the interplay of metamorphism among the network nodes, shedding light on the relationship. By leveraging the concepts of stochastic epidemic theory, the \(\textsf{S}\textsf{E}\textsf{I}\textsf{R}\textsf{S}\) model is conceptualized and applied to investigate the dynamics of malware. The suggested model is validated and rigorously demonstrated via numerous simulations, providing explicit verification of its effectiveness.
The remaining parts of the manuscript are organized as below. In Sect. "Proposed model", we extend the model to the stochastic epidemic model on the transmission of worms in wireless sensor networks. In Sect. "Qualitative analysis of positive solution", the dynamical features of the globalized positive model’ solution are given. In Sect. "Extinction analysis of the worm-free equilibrium", we demonstrate that the worm disease exhibits exponential extinction under specific conditions. In Sect. "Ergodic stationary distribution", we establish the sufficient conditions necessary for the existence of an ergodic stationary distribution. The theory of the obtained results is qualitatively and quantitatively verified, and given their numerical simulation in Sect. "Numerical simulations". The analysis is completed in Sect. "Conclusion" with the concluding remarks and further research directions are suggested.
Proposed model
Recently Ojha et al.29 constructed a problem using the approach of a deterministic version of the wireless sensor networks epidemic model. Worms spreading across a wireless sensor network could be illustrated through a hypothetical situation involving a network of interconnected sensors deployed for monitoring and collecting data in a critical infrastructure setting, such as a smart city, industrial plant, or environmental monitoring system. A network is formulated consisting of \({{\textsf {N}}}\) nodes at any time t and these nodes are distributed uniformly across the specified area. All of these nodes are uniformly scattered in the area \(L^2\) with average density (\(\rho\)) and r and hence the covering region for sensing is \(\pi r^2\). To establish communication, it is required that one node should exist in this covering area. Once a node gathers some information, the same must be circulated in the neighboring nodes or it should be directly sent to the sink. It will be assumed that all of the network nodes are vulnerable to the virus assaults and can catch the worm. The dynamics of the nodes from one stage into another based on the worm is shown in Fig. 1. The second main assumption is that all of the nodes can mix homogeneously, that is, information may be circulated by a node to any other node that lies within the sensing area.
To formulate the model, we shall divide the entire nodes of the network into four compartments based on their worm status. These classes are:
-
1.
The vulnerable nodes \(\textsf{S}(t)\) which are exposed to the worm assaults and are currently safe.
-
2.
The latent/exposed nodes \(\textsf{E}(t)\), nodes which encountered by the worms but not infectious.
-
3.
The infectious nodes \(\textsf{I}(t)\) the nodes that are infected by the worm and can spread the worm to other nodes.
-
4.
The recovered nodes \(\textsf{R}(t)\), that have been equipped with a detection tool capable of identifying and removing worm infection. nodes.
Every node will be able to spread the malware within the region \(\pi r^2\) for a given sensing area of radius r. The notion \(\rho (t)=\frac{S(t)}{L \times L}\) stands for the density of per unit areal susceptibility of the nodes inside the networks. The size of nodes in the vicinity of the sensing node is designated and defined as \(S^{\prime }(t)=\frac{S(t) \pi r^2}{L^2}\). For convenience, let \(\zeta =\frac{\pi r^2}{L^2} \beta\) represent a parameter. The model is as follows:
A detailed interpretation of the model parameters is presented in Table 1.
By using the techniques of differential equations, one can obtain the worm-free equilibrium (WFE):
Following the well-known procedure for calculating the threshold quantity for an ODE system, one can obtain the value of \({\mathbb {R}}_0\) as
Status of the phenomenon where worms are present in the WSN is called the endemic equilibrium (EE) or the worm-present equilibrium and is described as \(\P ^*=\left( \textsf{S}^*, \textsf{E}^*, \textsf{I}^*, \textsf{R}^*\right)\) where
System (1) has always the worm-free equilibrium point given by (2) and has a unique endemic equilibrium (3) whenever \({\mathbb {R}}_0>1\).
Next, we have to prove the local analysis of these equilibria, that is, we will check the behavior of the solution in the long run when the initial data is sufficiently close to the equilibrium points. First of all, we will show the local analysis of the WFE.
Theorem 1
The worm-free equilibrium point given by (2) is locally asymptotically stable for \({\mathbb {R}}_0<1\) and unstable otherwise.
Proof
The variational matrix at the WFE is given by
The variational matrix (4) has the eigenvalues: \(t_1=-(\mu +\omega )\), \(t_2=-(\mu +\varepsilon )\) where the remaining two eigenvalues are the roots of the quadratic equation
If \({\mathbb {R}}_0<1\), then by Descartes’s rule of sign, relation (5) has no real positive or complex solution with positive real parts. Further, the rule ensures that both the roots are less than zero or complex with negative real parts. Thus, all of the eigenvalues of the variational matrix are complex with negative real parts or negative and thus the WFE is LAS under \({\mathbb {R}}_0<1\). \(\square\)
Next, we will present the local asymptotic stability of the worm present a fixed point.
Theorem 2
The worm endemic equilibrium point given by (3) is locally asymptotically stable for \({\mathbb {R}}_0>1\) and otherwise unstable.
Proof
The variational matrix at the worm’s present equilibrium is given by
The characteristic equation of matrix (6) is given by
where
and
For \({\mathbb {R}}_0>1\), all of the coefficients \(\chi _i\) for \(i=1,2,3,4\) of (7) are positive. Further, by calculating \({\mathcal {G}}_1=\chi _1\chi _2-\chi _3>0\) and \({\mathcal {G}}_2=\chi _2\chi _3-\chi _4\chi _1^2>0\) under the same condition of \({\mathbb {R}}_0>1\). Hence, by using the Routh Hurwitz criterion, all of the roots of (7) are negative or complex with negative real parts and hence the worm’s present fixed point is LAS. \(\square\)
While dealing with real-world scenarios, outbreaks (whether infectious diseases or others) are subject to complex and random variations. Utilizing stochastic models for modeling epidemics may be a more suitable approach, considering the inherent unpredictability of such scenarios. The key purpose of the current work is to introduce the white noise of the model (1). Then the deterministic system (1) may written in the stochastically perturbed format as follows:
Where \(\textsf{Z}_{i}(t)\) for \(i=1,\cdots ,4\) are for the fluctuating dynamics and \(\alpha _{1}, \alpha _{2}, \alpha _{3}\) and \(\alpha _{4}\) are for the noise intensities. definitely it contains the outcomes of \(\textsf{Z}_i(0)=0\) for \(i=1,2,\cdots ,4\). Figure 2 represents the diagram of a system (8).
Qualitative analysis of positive solution
To investigate the dynamic behavior of the system (8), we aim to address the positivity aspects concerning the solution of the proposed system (8) and to prove that the solution of the considered model is unique. The investigation of positive and non-local solutions requires further analysis using Lyapunov function techniques30,31.
Theorem 3
Subject to a non-negative initial state of the variabels, almost surely the global solution \((\textsf{S},\textsf{E},\textsf{I},\textsf{R})(t)\in {\mathbb {R}}^{4}_{+}\) for model (8) exist whenever \(t\ge 0\).
Proof
The coefficient(s) involved in the model (8) are continuous and Lipschitz locally, considering the initial values \((\textsf{S}_0, \textsf{E}_0, \textsf{I}_0, \textsf{R}_0)\) from the space \({\mathbb {R}}_{+}^4\). Consequently, one and only one solution \((\textsf{S}(t), \textsf{E}(t), \textsf{I}(t), \textsf{R}(t))\) (in local sense) exists for t belong to the interval \([0, \tau _e)\), here \(\tau _e\) represents the explosion-time. To establish the solution behaves like the global, it is necessary to demonstrate that \(\tau _e = \infty\) almost surely. Choose a very large number \({\mathcal {K}}_0 \ge 0\) in such a way that \((\textsf{S}(0), \textsf{E}(0), \textsf{I}(0), \textsf{R}(0))\) lies in the strip \(\left[ \frac{1}{{\mathcal {K}}_0}, {\mathcal {K}}_0\right]\). For every integer \({\mathcal {K}}_0 \le {\mathcal {K}}\), the stopping-time is defined by the following expression:
Let us define \(\infty =\inf \emptyset\), one can notice that \(\tau _{e} \ge \tau ^{+}\), which suggests that \(\tau ^{+}=\infty\) almost surely, demonstrating that \(\tau _{e}=+\infty\) a.s. Assume that \(\tau ^{+}\) is \(\infty\), then there must be a \(T>0\) (real) in such a way that \(0<{\mathbb {P}}\left( T>\tau ^{+}\right)\) and
As a result, there exists a real number \({\mathcal {K}}_0\le {\mathcal {K}}_1\) for which
To proceed further, let us introduce a function (a \(C^2\)-function) \(V: {\mathbb {R}}_{+}^4 \rightarrow \overline{{\mathbb {R}}}_{+}\)
where \(\{x: x \text { is non-negative real number}\}=\overline{{\mathbb {R}}}_{+}\), by
By employing the Itô formula, we derive
where
We know that \(\textsf{I}(0)\ge 0\), then
Since M is real positive and not dependent on the state and independent variables, we have
By taking integral of relation (10) within the interval \([0,T \wedge \tau _k]\) and taking expectations, then we can get
Setting \(\Omega _{\mathcal {K}}=\{\tau _{\mathcal {K}}\le T\}\) for \({\mathcal {K}}\ge {\mathcal {K}}_1\) and by Eq. (3), \(P(\Omega _{\mathcal {K}})\ge \epsilon\). It can be easily judged that for every \(\omega\) in \(\Omega _{\mathcal {K}}\), there exist one solution at the point \((\tau _{\mathcal {K}},\omega )\) that is equal to \(\frac{1}{{\mathcal {K}}}\) or \({\mathcal {K}}\). Consequently, \(H((\textsf{S},\textsf{E},\textsf{I},\textsf{R})(\tau _{\mathcal {K}}))\ge \frac{1}{{\mathcal {K}}}-1+\text {log}{\mathcal {K}}\) or \({\mathcal {K}}-1-\text {log}{\mathcal {K}}\). Therefore,
Utilizing relations (12) and (13), we can write
In the above \(1_{\Omega (\omega )}\) stand for represent the \(\Omega\)-indicator function. By letting \({\mathcal {K}}\rightarrow \infty\), we arrived at \(\infty >H\big (\cdot \big )+MT=\infty\) showing that \(\tau _\infty =\infty\) a.s. \(\square\)
Extinction analysis of the worm-free equilibrium
This part of the manuscript deals with the investigate of the extinction of system (8) and establish a threshold to determine whether the disease will die out or persist. We will introduce two auxiliary lemmas that plays an important role in the proof of the key assertion of the current section.
Lemma 1
Let for \(t\ge 0\), the notion \(\textsf{M}=\{\textsf{M}_t\}\) denotes the real-valued function and it signifies the local martingale that vanishes at \(t = 0\). Then
and also
where quadratic variants of \(\textsf{M}\) is denoted by the notion \(\left\langle \textsf{M}, \textsf{M}\right\rangle _{t}\).
Lemma 2
(31) Assume a solution \((\textsf{S}, \textsf{E}, \textsf{I}, \textsf{R})\) of model (8) subject to an initial data \((\textsf{S}_0, \textsf{E}_0, \textsf{I}_0, \textsf{R}_0) \in {\mathbb {R}}_+^4\), then
Moreover, if \(\mu > \frac{\alpha _1^2\vee \alpha _2^2\vee \alpha _3^2\vee \alpha _4^2}{2},\) then
Define the parameter as follows:
Theorem 4
If the threshold number \({\mathbb {R}}_0^s<1\), as defined by Eq. (15), the exposed and infected worms (\(\textsf{E}(t)\) and \(\textsf{I}(t)\) functions) in the system (8) will almost surely tend to zero following an exponential function.
Proof
Regarding model (8), one can notice that
Integrating the above expression within the range 0 and t, we get
where
Now using the concept of Lemma 2, we get
Assume that \((\textsf{S}, \textsf{E}, \textsf{I}, \textsf{R}) \in {\mathbb {R}}_+^4\) be a solution of equations (8) with positive initial values \((\textsf{S}_0, \textsf{E}_0, \textsf{I}_0, \textsf{R}_0) \in {\mathbb {R}}_+^4\). Define
Differentiating Eq. (20) following \(It\hat{o}\) formula, one can get
Obviously,
Therefore, we have
Taking integration of the inequality (22) within the range 0 and t, employing Lemma 2 and \({\mathbb {R}}_s<1\), we have
which shows that
This demonstrates the stochastic asymptotic behavior of the system and hence, the key aim of the theorem holds valid. \(\square\)
Ergodic stationary distribution
Ergodic stationary distribution of nodes is rooted in the study of stochastic processes, where nodes within a network undergo random transitions between different states. The ergodic stationary distribution provides insights into the long-term behavior of the network, emphasizing the idea that, over time, the system explores and represents all possible states with sufficient probability. Ergodicity ensures that, given enough time, the network dynamics explore all possible configurations of node states. In the case of the model (8), the system has an endemic steady state. Thus, in this part of the paper, we utilize the techniques proposed by Khasminskii32 to explore that the proposed system has a stationary distribution. Let define
The diffusion matrix is
Lemma 3
Let \(\textbf{U} \in {\mathbb {R}}^d\) denote an open bounded domain with \(\Gamma\) regular boundary. The domain \(\textbf{U}\) possesses the following properties:
-
1.
In the neighborhood of \(\textbf{U}\) and within its domain, the smallest eigenvalue of the matrix \(\mathbf {A(t)}\) remains bounded away from zero.
-
2.
If \(\textbf{x}\) belongs to the space \({\mathbb {R}}^{d} \backslash \textbf{U}\), the average time \(\tau\) required to cover the path from \(\textbf{x}\) to \(\textbf{U}\) is not infinite. Moreover, for every compact subset \(K \subset {\mathbb {R}}^{n}\), the quantity \(\sup _{x \in K} E^{x} \tau\) is finite. Additionally, if \(f(\cdot )\) is a function integrable with respect to the measure “\(\cdot\)”, then
Then the Markov process \(\textsf{X}(t)\) admits a unique ergodic stationary distribution \(\pi (\cdot )\) and
where \(f(\cdot )\) is an integrable function with respect to the measure \(\pi\).
The threshold parameter in the case of the stochastic model is calculated as
Theorem 5
Assume that \({\mathbb {R}}_s>1\) and \(\mu -\frac{\alpha _1^2\vee \alpha _2^2\vee \alpha _3^2\vee \alpha _4^2}{2}>0,\) then for \((\textsf{S}_0, \textsf{E}_0, \textsf{I}_0, \textsf{R}_0) \in {\mathbb {R}}_+^4,\) system (8) has a unique ergodic stationary distribution \(\pi\).
Proof
To establish the conditions (1) and (2) of Lemma 3, we need to validate them. In order to derive condition (1), we consider the diffusion matrix as follows:
Irrespective of a compact subset of \({\mathbb {R}}_+^4\), it is to be noted that \(\Upsilon\) is positive definite matrix, thus confirming condition (1) of Lemma 3.
Next, we derive condition (2). Consider the \(C^2\)-operator \(\textsf{V}:{\mathbb {R}}_+^4\rightarrow {\mathbb {R}}\) given by:
where It is prominent to mention that \(\textsf{V}\) is a function of the state variables which is defined for all possible values of the state variables. Further, this function has the property that it approaches \(+\infty\) as the state variables go to their limits and \(||(\textsf{S}, \textsf{E}, \textsf{I}, \textsf{R})|| \rightarrow \infty\).
Let us consider the initial data \((\textsf{S}_0, \textsf{E}_0, \textsf{I}_0, \textsf{R}_0)\) from the space \({\mathbb {R}}_+^4\), and subject this data, the function \(\widetilde{V}\) (being a function of the state variables) will take the form:
Here \((\textsf{S},\textsf{E},\textsf{I},\textsf{R})\in (\frac{1}{n},n)\times (\frac{1}{n},n)\times (\frac{1}{n},n)\times (\frac{1}{n},n)\) and \(n>1\) is a so larger integer,
where \(\rho > 1\), and are subject to the condition(s) \(\mu -\frac{\rho }{2}(\alpha _1^2\vee \alpha _2^2\vee \alpha _3^2\vee \alpha _4^2)>0,\) and \(\delta =\frac{A\beta \epsilon }{\hat{\mu }\hat{\epsilon }\hat{\alpha }}-(\mu +\alpha +\gamma _3+\frac{v_4^2}{2})>0\). Thus
and
Using the well-known formula due to Itô to the function \(\textsf{V}_1\), we obtained
Let
Similarly, we can get
\(\textsf{B}\) is given in Eq. (31).
From Eqs. (32)–(37), we follows
Let \(0<\xi\), and consider a closed bounded set in the form of
Over the complement of this set, that is \({\mathbb {R}}_+^4\backslash D\), we have the following inequalities:
Where
We need to show that \(L\widetilde{V}\le -1\) for any solution \({\mathcal {Q}}=(\textsf{S}, \textsf{E}, \textsf{I}, \textsf{R})\in {\mathbb {R}}_+^4 \backslash \textsf{D},\) and \({\mathbb {R}}_+^4 \backslash \textsf{D}=[\bigcup _{i=1}^8 \textsf{D}_{i}],\) where
Case 1. If \((\textsf{S},\textsf{E},\textsf{I},\textsf{R})\in \textsf{D}_1\), then by Eq. (38), we get
If we use inequality (39), we can reach to the conclusion that \(-1\ge L\widetilde{V}\) for all \({\mathcal {Q}}\in \textsf{D}_1\).
Further, with the help of inequalities (40), (41) and (42), and following a similar approach as that of Case 1, one can easily prove that \(-1\ge \widetilde{V}\) for all \({\mathcal {Q}}\in \textsf{D}_2, \textsf{D}_3\) and \(\textsf{D}_4\).
Case 2: If \({\mathcal {Q}}\in \textsf{D}_5\), then by Eq.(38), we get
Here again, if we use inequality (43), we can reach to the conclusion that \(-1\ge L\widetilde{V}\) for all \({\mathcal {Q}}\in \textsf{D}_5\).
Moreover, with the help of inequalities (44), (45) and (46), and following a similar approach as that of Case 2, one can easily prove that \(-1\ge \widetilde{V}\) for all \({\mathcal {Q}}\in \textsf{D}_6, \textsf{D}_7\) and \(\textsf{D}_8\).
In the conclusion, we have
which are sufficient in proving the condition (2) in Lemma 3 and thus, system (8) has the property of ergodicity and hence the theorem. \(\square\)
Numerical simulations
In the previous section, we obtained some important theoretical results based on the dynamic perspectives of the deterministic and stochastic models. In this part, we intend to verify these results through simulations. We will employ the standard higher ordered Milstein’s method33 to discretized system (8), Milstein’s method is an extension of the Euler-Maruyama method, aiming to improve the accuracy of numerical solutions for SDEs. The associated discretization equations are given by:
where the term \(\Delta t\) represents a positive uniform time-step and \(\xi _i,\) such that \(i=1,\cdots ,4\) are the independent Gaussian random variables that follow the Gaussian distribution \({{\textsf {N}}}(0,1)\) for \(i=1,2, 3, 4\). The set for the time is tested [0, 5000], and \(\Delta =0.5\).
Simulations based on sensing radius of nodes
We have seen in the analysis part of the study that the condition \({\mathbb {R}}_s\) acts as a threshold parameter for the model, that is, the dynamics of the solution to the model can be completely specified in terms of that parameter. Under the conditions of \({\mathbb {R}}_s<1\), the infected nodes will approach 0 in the long run. The integral curves of the deterministic system will reach WFE and the curves of the stochastic model will oscillate around the stated equilibrium point. Simulations further confirm that the virus will eventually leave the WSN when we keep \({\mathbb {R}}_s<1\) and analytically, it is proved in Theorem 4. Graphically, these conclusions could be confirmed from Fig. 3a–d which are the results of the simulations. The values of the parameters as well as the initial size of the nodes are shown in Table 2. The simulation was carried out by implementing the scheme (obtained by following the method presented in the previous section) within MATLAB (R2017a).
Figure 3 shows that by using these values of the parameters, no matter what the value of \(\textsf{S}_0\), the susceptible nodes will reach the component \(\textsf{S}^0\) of susceptibles in the WFE. Similarly, in the initial course of worm spread, the size of the exposed and virus-infected nodes will tend to grow. After achieving the respective maximum values, the size of these nodes will exhibit a decline and finally reach zero as \(t\rightarrow \infty\). This behavior could be easily noticed from Fig. 3b,c where we plotted sample solution curves of the virus-infected compartment utilizing both the stochastic and deterministic models. Finally 3d reflects the behavior of the recovered nodes which initially showed an increase in the size and finally reached the respective fixed point.
The figures further elaborate that under the condition of \({\mathbb {R}}_s< 1\), the curves reaching non-trivial components of the WFE fluctuate more compared to those approaching the trivial components. The figures also suggest that the method converges fast to the desired equilibrium for any discretization.
Simulations regarding nodes distribution
We stated and proved Theorem 5 which ensures the existence of a worm within the network at any time t. To simulate both the deterministic and stochastic model for this scenario, we shall assume values of the parameters as well as the initial value from Table 3. By using these values of the parameters, we calculated \({\mathbb {R}}^s\) which was noticed greater than one. When we simulated the models several times, we observed that the curves of the deterministic system approach the worm-present equilibrium. Likewise, the stochastic curves approach the EE but not actually as in the case of deterministic. Such curves will fluctuate in the vicinity of the deterministic curves. Taking into consideration both the temporal and spatial values of the variables and parameters, the dynamics of the curves suggest the presence of the worm in the networks, and hence a control strategy should be followed to reduce the spread.
Figure 4 show a drastic decrease in the size of the susceptible nodes and then reach a steady state as time evolves. Figure 4b,c show the dynamics of the exposed and infected nodes under the condition of \({\mathbb {R}}^s>1\). The plots indicate that the worms initially spread almost at an exponential rate and finally approached the respective fixed points. Finally, we presented the dynamics of the removed nodes in Fig. 4d where the curves almost show a constant behavior. All of these figures show that the worms will remain in the network, resulting in a stable EE. Furthermore, it has been discovered that increasing the connectedness of sensor nodes leads to enhanced network connectivity.
Here again, the convergence of the curves is independent of the discretization and this shows the beauty of the proposed scheme. All of the deterministic curves reach the desired equilibria and the associated stochastic curves fluctuate around the deterministic curves. Due to the high intensity of the noises, the amplitude of the oscillation of the stochastic curves is observed large compared to curves with small values of the noises.
Histogram of the node distribution
Next, to specifically describe the effects of each noise term on the dynamic behavior of the system (8), we assume that the system is influenced by only one random noise. Figure 5a–d illustrate the impact of noise strength on the fluctuations of each population. It can be observed that low-strength noise results in minimal population fluctuations, while high-strength noise causes significant oscillations and maintains populations at certain levels. Additionally, the histograms of the solutions and the corresponding marginal density function curves for each population are presented. The associated values of the parameters and initial conditions of the state variables about the model (8) are provided in Table 4.
The impact of noise on system (8)
This section provides the effect of intensities on the dynamics of the worm-infected nodes in connection with system (8). The impact of noise intensities was plotted in Fig. 6a–d where it can be deduced that if one increases \(\alpha _i\), resultantly the worm-infected nodes will tend to extinct out of the network. We conducted observations on the impact of the radius of nodes on the dynamic behavior of the model. It was noticed that the optimization of the threshold value (flexibility shifts) has a significant influence on various aspects, including the enhancement of the lifetime of networks, elimination of the malware from the networks, and controlling the spread of the malware. The remaining parameters and initial values of the system (8) were obtained from Table 3 and changed the initial values to \((\textsf{S},\textsf{E},\textsf{I},\textsf{R})=(600,500,500,200)\).
Conclusion
In this study, we have examined a stochastic \(\textsf{S}\textsf{E}\textsf{I}\textsf{R}\textsf{S}\) model to control worm spread in WSNs. The model incorporates stochastic components arising from environmental variability, which are represented as Gaussian white noise. We derived a set of sufficient conditions that determine the persistence or extinction of worm spread in WSNs in terms of the mean behavior. These conditions offer valuable insights into the long-term dynamics of the system and contribute to enhancing our understanding of worm propagation dynamics and control strategies in WSNs. At first, we mentioned that our model is globalized, positive, and feasible root by applying the the technique of Lyapunov function. After that, we have computed a threshold value of our stochastic system (8) and basic reproductive value \({\mathbb {R}}_0\) of the defined deterministic system (1) without oscillation of noises. We also concluded, if \({\mathbb {R}}_s<1\), the infection will die with sure probability, otherwise if \({\mathbb {R}}_0^s>1\), the infection lies in the mean of the WSNs. In the last, we have compared our obtained scheme results through simulations.
The extensive results obtained from this study provide evidence that the proposed model contributes to increased network lifetime and improved data efficiency in Wireless Sensor Networks. These findings have practical implications for software organizations, as they can utilize this knowledge to develop more effective antivirus software that can effectively restrict malware attacks in WSNs. Moreover, the investigation will assist end-users in recovering infected nodes and implementing antivirus software on sensor nodes with careful consideration, thereby strengthening the overall security framework to mitigate attacks.
Furthermore, future research directions can include the analysis of additional factors such as vaccinated and quarantined classes, as well as the inclusion of heterogeneous and mobile nodes. These considerations can enhance the model’s applicability and provide further insights into the dynamics of worm spread and mitigation strategies in WSNs.
Data availability
All data generated or analyzed during this study are included in this published article.
References
Ateq, A., Dayan, F., Ahmed, N., Baleanu, D., Rafiq, M., Raza, A. A novel method for the dynamics of worms in wireless sensor networks with fuzzy partition. AIP Adv. 13(10). (2023).
Shoaib, M. et al. Neuro-computational intelligence for numerical treatment of multiple delays SEIR model of worms propagation in wireless sensor networks. Biomed. Signal Process. Control 84, 104797 (2023).
Pandey, A. & Tripathi, R. C. A survey on wireless sensor networks security. Int. J. Comput. Appl. 3(2), 43–49 (2010).
Tubaishat, M., Zhuang, P., Qi, Q. & Shang, Y. Wireless sensor networks in intelligent transportation systems. Wirel. Commun. Mobile Comput. 9(3), 287–302 (2009).
Akyildiz, I. F., Su, W., Sankarasubramaniam, Y. & Cayirci, E. Wireless sensor networks: A survey. Comput. Netw. 38(4), 393–422 (2002).
Hu, F., Li, S., Xue, T. & Li, G. Design and analysis of low-power body area networks based on biomedical signals. Int. J. Electron. 99(6), 811–822 (2012).
Yick, J., Mukherjee, B. & Ghosal, D. Wireless sensor network survey. Comput. Netw. 51(12), 2292–2330 (2008).
Zad, P. & Sharma, V. Pareto-optimal clusters scheme using data aggregation for wireless sensor networks. Int. J. Electron. 102(7), 1165–1176 (2015).
Singh, A. K., Purohit, N. & Varma, S. Fuzzy logic based clustering in wireless sensor networks: A survey. Int. J. Electron. 100(1), 126–141 (2012).
Haghighi, M. S., Wen, S., Xiang, Y., Quinn, B. & Zhou, W. On the race of worms and patches: Modeling the spread of information in wireless sensor networks. IEEE Trans. Inf. Forensics Secur. 11(12), 2854–2865 (2016).
Kumar, V., Dhok, B. S., Tripathi, R. & Tiwari, S. Cluster size optimization with tunable elfes sensing model for single and multi-hop wireless sensor networks. Int. J. Electron. 104(2), 312–327 (2016).
Verma, V. K., Singh, S. & Pathak, N. Impact of malicious servers over trust and reputation models in wireless sensor networks. Int. J. Electron. 103(4), 530–540 (2016).
De, P., Liu, Y. & Das, S. K. Deployment-aware modeling of node compromise spread in wireless sensor networks using epidemic theory. ACM Trans. Sensor Netw. 5(3), 1–33 (2009).
del Rey, A. M. & Peinado, A. Mathematical models for malware propagation in wireless sensor networks: An analysis. In Computer and Network Security Essentials (ed. Daimi, K.) 299–313 (Springer, Cham, 2018).
Feng, L., Song, L., Zhao, Q. & Wang, H. Modeling and stability analysis of worm propagation in wireless sensor network. Math. Probl. Eng. 2015, 1–8 (2015).
Tang, S. A modified SI epidemic model for combating virus spread in wireless sensor networks. Int. J. Wirel. Inf. Netw. 18, 319–326 (2011).
Khan, W. A., Zarin, R., Zeb, A., Khan, Y. & Khan, A. Navigating food allergy dynamics via a novel fractional mathematical model for antacid-induced allergies. J. Math. Techn. Model. 1(1), 25–51 (2024).
Ain, Q. T. Nonlinear stochastic cholera epidemic model under the influence of noise. J. Math. Techn. Model. 1(1), 52–74 (2024).
Khan, F. M. & Khan, Z. U. Numerical Analysis of Fractional Order Drinking Mathematical Model. J. Math. Techn. Model. 1(1), 11–24 (2024).
Cui, T., Liu, P., Din, A. & Ali, F. Theoretical and numerical analysis of COVID-19 pandemic model with non-local and non-singular kernels ’. Sci. Rep. 12(1), 18178 (2022).
Wang, W. et al. Predicting the epidemic threshold of the susceptible-infected-recovered model. Sci. Rep. 6(1), 24676 (2016).
Cui, T., Liu, P. & Din, A. Fractal-fractional and stochastic analysis of norovirus transmission epidemic model with vaccination effects. Sci. Rep. 11(1), 24360 (2021).
El Fatini, M. & Sekkak, I. Lévy noise impact on a stochastic delayed epidemic model with Crowly-Martin incidence and crowding effect. Phys. A Stat. Mech. Appl. 541, 123315 (2020).
Yassine, S., Khan, A. & Tilioua, M. New method to investigate the impact of independent quadratic stable poisson jumps on the dynamics of a disease under vaccination strategy. Fractal Fract. 7(3), 226 (2023).
Berrhazi, B. E., El Fatini, M., Caraballo Garrido, T. & Pettersson, R. A stochastic SIRI epidemic model with Lévy noise. Discr. Cont. Dyn. Syst.-Ser. B 23(9), 3645–3661 (2018).
Din, A. Bifurcation analysis of a delayed stochastic HBV epidemic model: Cell-to-cell transmission. Chaos Solitons Fractals 181, 32 (2024).
Khayam, S. A. & Radha, H. Using signal processing techniques to model worm propagation over wireless sensor networks. IEEE Signal Process. Mag. 23(2), 164–169 (2006).
Singh, A., Awasthi, A. K., Singh, K. & Srivastava, P. K. Modeling and analysis of worm propagation in wireless sensor networks. Wirel. Personal Commun. 98, 2535–2551 (2018).
Ojha, R. P., Srivastava, P. K. & Sanyal, G. Improving wireless sensor networks performance through epidemic model. Int. J. Electron. 106(6), 862–879 (2019).
Zhao, Y. & Jiang, D. The threshold of a stochastic SIRS epidemic model with saturated incidence. Appl. Math. Lett. 34, 90–3 (2014).
Zhao, Y. & Jiang, D. The threshold of a stochastic SIS epidemic model with vaccination. Appl. Math. Comput. 243, 718–727 (2014).
Khasminskii, R. Stochastic Stability of Differential Equations (Springer Science and Business Media, 2011).
Roozen, H. An asymptotic solution to a two-dimensional exit problem arising in population dynamics. SIAM J. Appl. Math. 49, 1793 (1989).
Acknowledgements
This work was supported by the National Natural Science Foundation of P. R. China (No. 11901114), Guangzhou Science and technology innovation general project (No. 201904010010).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, P., Din, A. Comprehensive analysis of a stochastic wireless sensor network motivated by Black-Karasinski process. Sci Rep 14, 8799 (2024). https://doi.org/10.1038/s41598-024-59203-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-024-59203-3
- Springer Nature Limited