Toggle Main Menu Toggle Search

Open Access padlockePrints

Fluid flow analysis of a model of a secure key distribution centre

Lookup NU author(s): Dr Nigel Thomas, Yishi Zhao



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by UKPEW, 2008.

For re-use rights please refer to the publisher's terms and conditions.


In this paper we consider the use of a fluid flow approximation based on ordinary differential equations (ODEs) derived from 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 when tackled using Markov chain analysis. Fluid flow analysis is therefore one possible mechanism for deriving approximate solutions for systems with large populations. The system is analysed numerically and results derived from solving the ODEs are compared with a queueing network approximation.

Publication metadata

Author(s): Thomas N, Zhao Y

Editor(s): Argent-Katwala, A., Dingle, N., Harder, U.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 24th UK Performance Engineering Workshop

Year of Conference: 2008

Pages: 160-171

Date deposited: 15/08/2014

Publisher: UKPEW


Notes: Proceedings of UKPEW 2008 published in Imperial College London, Department of Computing, Technical Report Series, no, DTR08-9.