Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA

Lookup NU author(s): Ohud Almutairi, Dr Nigel Thomas



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2021.

For re-use rights please refer to the publisher's terms and conditions.


This paper explores the performance costs introduced by a security protocol known as an anonymous and failure resilient fair-exchange e-commerce protocol. The protocol guarantees customer anonymity and fair exchange between two parties in an e-commerce environment. In this paper, the protocol is studied and modelled when misbehaviour between participants occurs. Models are formulated using the PEPA formalism to investigate the performance overheads introduced by the security properties and behaviour of the protocol when a dispute between the parties exists. This study uses a PEPA Eclipse plug-in to support the creation and evaluation of the proposed PEPA models.

Publication metadata

Author(s): Almutairi O, Thomas N

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: EPEW 2021: European Performance Engineering Workshop

Year of Conference: 2021

Pages: 96-114

Online publication date: 27/11/2021

Acceptance date: 17/08/2021

Date deposited: 31/01/2022

Publisher: Springer


DOI: 10.1007/978-3-030-91825-5_6

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783030918255