Abstract Interpretation of PEPA Models

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

Abstract / Description of output

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.
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


Dive into the research topics of 'Abstract Interpretation of PEPA Models'. Together they form a unique fingerprint.

Cite this