In this paper we explore the overhead introduced by secure functions in considering a case study in non-repudiation. We present a model of an optimistic fair exchange protocol specified using the Markovian process algebra PEPA and present results derived using a fluid approximation and stochastic simulation. This system poses an interesting performance problem in that the degree of overhead of the protocol is depended on the degree of misbehaviour by the participants.
CITATION STYLE
Zhao, Y., & Thomas, N. (2016). Performance modelling of optimistic fair exchange. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9845 LNCS, pp. 298–313). Springer Verlag. https://doi.org/10.1007/978-3-319-43904-4_21
Mendeley helps you to discover research relevant for your work.