Lookup NU author(s): Yishi Zhao,
Dr Nigel Thomas
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Zhao Y, Thomas N
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 23rd International Conference, ASMTA 2016
Year of Conference: 2016
Print publication date: 01/01/2016
Online publication date: 04/08/2016
Acceptance date: 01/01/1900
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science (LNCS)