Toggle Main Menu Toggle Search

Open Access padlockePrints

A Case Study in Formal Performance Evaluation of an E-Voting System Using PEPA

Lookup NU author(s): Mohammed Alotaibi, Dr Nigel Thomas



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


Performance overhead introduced by security properties of e-voting schemes needs to be investigated to have an insight on the average response times that voters will observe when they cast their votes using remote electronic voting systems. Timely responses of remote electronic voting protocols are important to increase voters’ confidence in e-voting systems. In this paper we will study the individual verifiability impact of e-voting schemes on average response times of large scale e-voting scheme known as DRE-i by using the well-known formal stochastic performance evaluation process algebra language, PEPA. We will present a PEPA model of the e-voting scheme and show the response time analysis when voters verify the integrity of their votes.

Publication metadata

Author(s): Alotaibi M, Thomas N

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 32nd UK Performance Engineering Workshop

Year of Conference: 2016

Print publication date: 09/09/2016

Acceptance date: 12/08/2016

Date deposited: 28/10/2016