Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling secure secret key exchange using stochastic process algebra

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.

Publication metadata

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

Pages: 50-57

Date deposited: 15/08/2014

Publisher: Edge Hill University

Notes: UKPEW'07.