Approximate Solution of a PEPA Model of a Key Distribution Centre

In this paper we explore the trade-off between security and performance in considering a model of a key distribution centre. The model is specified using the Markovian process algebra PEPA. The basic model suffers from the commonly encountered state space explosion problem, and so we apply some mode...

Full description

Saved in:
Bibliographic Details
Published inPerformance Evaluation: Metrics, Models and Benchmarks Vol. 5119; pp. 44 - 57
Main Authors Zhao, Yishi, Thomas, Nigel
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2008
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Average Response Time
Model Reduction Technique
Multiple Client
PEPA Model
Server Speed
Online AccessGet full text

Cover

More Information
Summary:In this paper we explore the trade-off between security and performance in considering a model of a key distribution centre. The model is specified using the Markovian process algebra PEPA. The basic model suffers from the commonly encountered state space explosion problem, and so we apply some model reduction techniques and approximation to give a form of the model which is more scalable. The system is analysed numerically and results derived from the approximation are compared with simulation.
ISBN:3540698132
9783540698135
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-69814-2_5