Lookup NU author(s): Mohammed Alotaibi,
Dr Nigel Thomas
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2018.
For re-use rights please refer to the publisher's terms and conditions.
In this paper we present three formal performance models, using PEPA, for three types of misbehaving voters when using the DRE-i e-voting system. We use the constructed performance models to study the impact of the intervention of misbehaving voters on the throughput of four main actions of the DRE-i e-voting system. Our performance analysis reveals that the three types of misbehaving voters have a negative impact on the throughput of the DRE-i server actions.
Author(s): Alotaibi M, Thomas N
Editor(s): Bakhshi R; Ballarini P; Barbot B; Castel-Taleb H; Remke A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: European Workshop on Performance Engineering EPEW 2018
Year of Conference: 2018
Print publication date: 03/10/2018
Online publication date: 03/10/2018
Acceptance date: 27/07/2018
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science