Toggle Main Menu Toggle Search

Open Access padlockePrints

Approximate solution of a PEPA model of a key distribution centre

Lookup NU author(s): Dr Nigel Thomas


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Zhao Y, Thomas N

Editor(s): Kounev, S., Gorton, I., Sachs, K.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Performance Evaluation: Metrics, Models and Benchmarks. SPEC International Performance Evaluation Workshop (SIPEW)

Year of Conference: 2008

Pages: 44-57

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag


DOI: 10.1007/978-3-540-69814-2-5

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540698135