Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models

DOI10.1016/j.jcss.2007.07.005zbMath1154.68318OpenAlexW2099865519MaRDI QIDQ941454

Stephen T. Gilmore, Jane Hillston, Jeremy T. Bradley

Publication date: 1 September 2008

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2007.07.005

zbMATH Keywords

differential equationsprocess algebraspopulation modellingcomputer viruses

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Fundamental results on the reactionâdiffusion equations associated with a PEPA model ⋮ Modeling the dynamics of a network-based model of virus attacks on targeted resources ⋮ Hopf bifurcation in an Internet worm propagation model with time delay in quarantine ⋮ A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra ⋮ A fluid analysis framework for a Markovian process algebra ⋮ Fluid computation of passage-time distributions in large Markov models

Uses Software

• PRISM
• PEPA
• ipc
• SSF.App.Worm

Cites Work

• Unnamed Item
• Formal techniques for performance analysis: blending SAN and PEPA
• A family of embedded Runge-Kutta formulae
• Analysis of a Multimedia Stream using Stochastic Process Algebra
• Formal Methods for Biochemical Signalling Pathways
• A Compositional Approach to Performance Modelling

This page was built for publication: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models