Browse by author
Lookup NU author(s): Yishi Zhao, Dr Nigel Thomas
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).
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
Editor(s): Wittevrongel, S; Phung-Duc, T
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 23rd International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA)
Year of Conference: 2016
Pages: 298-313
Print publication date: 24/08/2016
Online publication date: 04/08/2016
Acceptance date: 06/06/2016
Date deposited: 09/09/2016
ISSN: 0302-9743
Publisher: Springer
URL: http://dx.doi.org/10.1007/978-3-319-43904-4_21
DOI: 10.1007/978-3-319-43904-4_21
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783319439037
