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

Dr Nigel Thomas; Yishi Zhao

Fluid flow analysis of a model of a secure key distribution centre Lookup NU author(s) Dr Nigel Thomas Yishi Zhao



Author(s)		Thomas N, Zhao Y
Editor(s)		Argent-Katwala, A., Dingle, N., Harder, U.
Publication type		Conference Proceedings (inc. Abstract)
Conference Name		24th UK Performance Engineering Workshop
Conference Location		London, UK
Year of Conference		2008
Date		3-4 July 2008
Volume
Pages		160-171



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




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.



Publisher		UKPEW
URL		http://ukpew.org/2008
Notes		Proceedings of UKPEW 2008 published in Imperial College London, Department of Computing, Technical Report Series, no, DTR08-9.