Anonymous and formally verified dual signature based online e-voting protocol

The traditional paper-based voting is severely criticized after having found evidence of rigging in elections, leading to the uncertainty in the fairness of the election process. Traditional voting systems have severe issues in either user’s privacy or voting procedures. To counter these issues, e-v...

Full description

Saved in:

Bibliographic Details
Published in:	Cluster computing Vol. 22; no. Suppl 1; pp. 1703 - 1716
Main Authors:	Saqib, Malik Najmus, Kiani, Junaid, Shahzad, Basit, Anjum, Adeel, Malik, Saif ur Rehman, Ahmad, Naveed, Khan, Atta ur Rehman
Format:	Journal Article
Language:	English
Published:	New York Springer US 01-01-2019 Springer Nature B.V
Subjects:	Cellular telephones Computer Communication Networks Computer Science Democracy Elections Electronic voting systems Formal method Internet Operating Systems Performance evaluation Privacy Processor Architectures Protocol Rigging Voter behavior Voters Voting rights E-voting Privacy Security Dual signatures
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	The traditional paper-based voting is severely criticized after having found evidence of rigging in elections, leading to the uncertainty in the fairness of the election process. Traditional voting systems have severe issues in either user’s privacy or voting procedures. To counter these issues, e-voting systems have emerged as a potential solution. In this work, we proposed Internet e-voting protocol that fulfills the core properties like anonymity, verifiability, eligibility, privacy, receipt-freeness and fairness using dual signature. We prove the effectiveness and validity of our system using formal methods. A rigorous performance evaluation shows that our system clearly outperforms the existing state-of-the-art blind signature Internet e-voting protocols.
ISSN:	1386-7857 1573-7543
DOI:	10.1007/s10586-018-2162-7