Toggle Main Menu Toggle Search

Open Access padlockePrints

Performance Modelling of Optimistic Fair Exchange

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


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


In this paper we explore the overhead introduced by secure functions in considering a case study in non-repudiation. We present a model of an optimistic fair exchange protocol specified using the Markovian process algebra PEPA and present results derived using a fluid approximation and stochastic simulation. This system poses an interesting performance problem in that the degree of overhead of the protocol is depended on the degree of misbehaviour by the participants.

Publication metadata

Author(s): Zhao Y, Thomas N

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 23rd International Conference, ASMTA 2016

Year of Conference: 2016

Pages: 298-313

Print publication date: 01/01/2016

Online publication date: 04/08/2016

Acceptance date: 01/01/1900

Publisher: Springer


DOI: 10.1007/978-3-319-43904-4_21

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science (LNCS)

ISBN: 9783319439037