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.
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