Performance Modelling of Optimistic Fair Exchange

Zhao, Yujia; Thomas, Nigel

doi:10.1007/978-3-319-43904-4_21

Cited by 5 publications

(1 citation statement)

References 18 publications

(25 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, the extra cost that security aspects contribute to the system's performance has attracted widespread attention. As a result developers have conducted explorations and taken measurements with the aim of developing a secure system that gives a satisfactory performance [3,8,9]. This paper will study and explore a type of non-repudiation e-commerce security protocols when misbehaviour and dispute between the customer and merchant occurs.…”

Section: Introductionmentioning

confidence: 99%

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

Almutairi

Thomas

2021

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

This paper explores the performance cost 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 occur. Models are formulated using the PEPA formalism to investigate the performance overheads introduced by the security properties and behaviour of the protocol when the dispute between the parties exists. This study uses a PEPA Eclipse plug-in to support the creation and evaluation of the proposed PEPA models.

show abstract

Section: Introductionmentioning

confidence: 99%