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

Almutairi, O; Thomas, N

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

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

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

Downloads

Accepted version [.pdf]

Licence

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.

Abstract

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.