Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Modelling secure secret key exchange using stochastic process algebra

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

Downloads

Abstract

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.

Share