In this paper, we study the global properties of a computer virus propagation model. It is, interesting to note that the classical method of Lyapunov functions combined with the Volterra-Lyapunov matrix properties, can lead to the proof of the endemic global stability of the dynamical model characterizing the spread of computer viruses over the Internet. The analysis and results presented in this paper make building blocks towards a comprehensive study and deeper understanding of the fundamental mechanism in computer virus propagation model. A numerical study of the model is also carried out to investigate the analytical results.
Keywords: Computer viral propagation; Computer virus; Dynamical models; Global stability; Lyapunov function; Volterra–Lyapunov stability.