Toggle Main Menu Toggle Search

Open Access padlockePrints

Performance modelling of security protocols

Lookup NU author(s): Dr Nigel Thomas, Yishi Zhao



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IFIP (International Federation of Information Processing), 2013.

For re-use rights please refer to the publisher's terms and conditions.


In this paper we state the case for the performance evaluation of secure systems. We provide evidence of a wide variation in performance of different secure methods. We further explore the overhead introduced by secure functions in considering a case study in non-repudiation. We present a model of a non-repudiation protocol specified using the Markovian process algebra PEPA and present results derived using mean value analysis and mean eld approximation.

Publication metadata

Author(s): Thomas N, Zhao Y

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 7th International Working Conference on Performance and Security Modelling & Evaluation of Cooperative Heterogeneous Networks (HET-NETS 2013)

Year of Conference: 2013

Date deposited: 15/08/2014

Publisher: IFIP (International Federation of Information Processing)