Toggle Main Menu Toggle Search

Open Access padlockePrints

Performance Modelling of Optimistic Fair Exchange

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



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


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

Editor(s): Wittevrongel, S; Phung-Duc, T

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 23rd International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA)

Year of Conference: 2016

Pages: 298-313

Print publication date: 24/08/2016

Online publication date: 04/08/2016

Acceptance date: 06/06/2016

Date deposited: 09/09/2016

ISSN: 0302-9743

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

ISBN: 9783319439037


Link to this publication