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

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2007

Pages: 16

Print publication date: 01/07/2007

Source Publication Date: July 2007

Report Number: 1041

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne