Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols

  1. Lookup NU author(s)
  2. Yishi Zhao
  3. Dr Nigel Thomas
Author(s)Zhao Y, Thomas N
Editor(s)Werner, B
Publication type Conference Proceedings (inc. Abstract)
Conference Name15th International Conference on Parallel and Distributed Systems
Conference LocationShenzhen, Guangdong, China
Year of Conference2009
Legacy Date8-11 December 2009
Volume
Pages821-827
ISBN9781424457885
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
In this paper we study the overhead introduced by secure functions in considering two models of non-repudiation protocols. The models are specified using the Markovian process algebra PEPA. The basic model suffers from the well known state space explosion problem when tackled using Markov chain analysis. Following previous study of perfor- mance modelling on security protocols, mean value analysis and fluid flow approximation based on ordinary differential equations (ODEs) have been chosen as efficient analysis tech- niques. Mean value analysis is an efficient exact method for deriving a limited set of metrics for large numbers of clients involved in the protocols. Fluid flow approximations can be adopted to solve the system with extremely large populations and potentially derive a wider range of metrics. The models are analyzed numerically and results derived from mean value analysis are compared with the ODE solution.
PublisherIEEE Computer Society
URLhttp://dx.doi.org/10.1109/ICPADS.2009.90
DOI10.1109/ICPADS.2009.90
NotesICPADS 2009.
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item