Edinburgh Research Explorer

Abstract Interpretation of PEPA Models

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-319-27810-0_7
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
Pages140-158
Number of pages18
ISBN (Electronic)978-3-319-27810-0
ISBN (Print)978-3-319-27809-4
DOIs
Publication statusPublished - 25 Dec 2015

Publication series

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

Abstract

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