Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
From MaRDI portal
Publication:941454
DOI10.1016/j.jcss.2007.07.005zbMath1154.68318MaRDI 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
68M10: Network design and communication in computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Fundamental results on the reactionâdiffusion equations associated with a PEPA model, Fluid computation of passage-time distributions in large Markov models, A fluid analysis framework for a Markovian process algebra, 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
Uses Software
Cites Work