Browse by author
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.
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
URL: https://doi.org/10.1145/3297663.3310310
DOI: 10.1145/3297663.3310310
Library holdings: Search Newcastle University Library for this item
ISBN: 9781450362399