Lookup NU author(s): Yishi Zhao,
Dr Nigel Thomas
In this paper we explore the trade-of between security and performance in considering a model of a key distribution centre. The model is specified using the Markovian process algebra PEPA and analysed numerically. Three versions of the model are proposed, using different modelling approaches and assumptions about the behaviour of the system. These different models are shown to display the same overall behaviour, but with some significant differences in absolute performance.
Author(s): Zhao Y, Thomas N
Editor(s): Pereira, E., Pereira, R.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 23rd UK Performance Engineering Workshop
Year of Conference: 2007
Date deposited: 15/08/2014
Publisher: Edge Hill University