Projects per year
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.
Original language | English |
---|---|
Title of host publication | Semantics, Logics, and Calculi |
Subtitle of host publication | Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays |
Editors | Christian W Probst, Chris Hankin, Rene Rydhof Hansen |
Publisher | Springer |
Pages | 140-158 |
Number of pages | 18 |
ISBN (Electronic) | 978-3-319-27810-0 |
ISBN (Print) | 978-3-319-27809-4 |
DOIs | |
Publication status | Published - 25 Dec 2015 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer International Publishing |
Volume | 9560 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Fingerprint
Dive into the research topics of 'Abstract Interpretation of PEPA Models'. Together they form a unique fingerprint.Projects
- 1 Finished
-
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
1/04/13 → 31/03/17
Project: Research