Edinburgh Research Explorer

Abstract Interpretation of PEPA Models

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Title of host publicationSemantics, Logics, and Calculi
Subtitle of host publicationEssays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
EditorsChristian W Probst, Chris Hankin, Rene Rydhof Hansen
PublisherSpringer International Publishing
Number of pages18
ISBN (Electronic)978-3-319-27810-0
ISBN (Print)978-3-319-27809-4
Publication statusPublished - 25 Dec 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


This paper relates the fluid-flow semantics of the stochastic process algebra PEPA (Performance Evaluation Process Algebra) to the static analysis technique of abstract interpretation. The explanation in the paper is illustrated through the example of a distributed denial of service (DDoS) attack which is being launched against a server. DDoS attacks are mounted by a large population of attackers, who are coordinating and working together in attacking a specific server. The scale of the attack is crucial to its success, but the resulting large number of states in the system makes it difficult to model and analyse using the conventional discrete-state interpretation of PEPA.

Download statistics

No data available

ID: 23198934