Toggle Main Menu Toggle Search

Open Access padlockePrints

Performance Modelling of an Anonymous and Failure Resilient Fair-Exchange E-Commerce Protocol

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


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


This paper explores a type of non-repudiation protocol, called an anonymous and failure resilient fair-exchange e-commerce protocol, which guarantees a fair-exchange between two parties in an e-commerce environment. Models are formulated using the PEPA formalism to investigate the performance overheads introduced by the security properties and behaviour of the protocol. The PEPA eclipse plug-in is used to support the creation of the PEPA models for the security protocol and the automatic calculation of the performance measures identified for the protocol models.

Publication metadata

Author(s): Almutairi O, Thomas N

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: ACM/SPEC International Conference on Performance Engineering

Year of Conference: 2019

Pages: 5-12

Print publication date: 11/04/2019

Acceptance date: 18/01/2019

Publisher: ACM


DOI: 10.1145/3297663.3310310

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450362399