Article
Journal :
International Journal of Software Innovation (IJSI)
ISSN : 2166-7160
Publisher :
Information
Period : January 2022
Volume : 10 Number : 1
Pages : 1-20
Details
Formal Verification and Implementation of an E-Voting System
Said Meghzile Allaoua Chaoui Raida El Mansouri Bardis Nadjla Alloui Amina Bouabsa
The organization of free, democratic, and transparent elections requires on the one hand an independent national electoral authority that manages all the stages of the electoral process and on the other hand the use of new information and communication techniques to manage the election process. E-voting offers the ability to vote online anytime and from anywhere using a computer, smartphone, or tablet. In addition, it saves time and reduces costs and effort spent in the process. However, the security of e-voting applications deployed on the internet is a difficult task due to the increasing number of cyber-attacks and application vulnerabilities. On the other hand, blockchain technology is an emerging technology with a strong cryptographic foundation. In this paper, the authors propose a new secure e-voting system based on Ethereum blockchain. In addition, they propose a hierarchical coloured petri net (HCPN) model for their e-voting system using CPN Tools. They verify by means of simulation techniques and state space analysis important properties such as absence of deadlocks and livelocks.
Ref. laboratory citation :
misc-lab-410
DOI :
10.4018/IJSI.309731
Link :
Texte intégral
ACM :
S. Meghzile, A. Chaoui, R. E. Mansouri, B. N. Alloui and A. Bouabsa. 2022. Formal Verification and Implementation of an E-Voting System. International Journal of Software Innovation (IJSI), 10, 1 (January 2022), IGI Global, 1-20. DOI: https://doi.org/10.4018/IJSI.309731.
APA :
Meghzile, S., Chaoui, A., Mansouri, R. E., Alloui, B. N. & Bouabsa, A. (2022, January). Formal Verification and Implementation of an E-Voting System. International Journal of Software Innovation (IJSI), 10(1), IGI Global, 1-20. DOI: https://doi.org/10.4018/IJSI.309731
IEEE :
S. Meghzile, A. Chaoui, R. E. Mansouri, B. N. Alloui and A. Bouabsa, "Formal Verification and Implementation of an E-Voting System". International Journal of Software Innovation (IJSI), vol. 10, no. 1, IGI Global, pp. 1-20, January, 2022. DOI: https://doi.org/10.4018/IJSI.309731.
BibTeX :
@article{misc-lab-410,
author = {Meghzile, Said and Chaoui, Allaoua and Mansouri, Raida El and Alloui, Bardis Nadjla and Bouabsa, Amina},
title = {Formal Verification and Implementation of an E-Voting System},
journal = {International Journal of Software Innovation (IJSI)},
volume = {10},
number = {1},
issn = {2166-7160},
pages = {1--20},
publisher = {IGI Global},
year = {2022},
month = {January},
doi = {10.4018/IJSI.309731},
url = {https://www.igi-global.com/article/formal-verification-and-implementation-of-an-e-voting-system/309731}
}
RIS :
TI  - Formal Verification and Implementation of an E-Voting System
AU - S. Meghzile
AU - A. Chaoui
AU - R. E. Mansouri
AU - B. N. Alloui
AU - A. Bouabsa
PY - 2022
SN - 2166-7160
JO - International Journal of Software Innovation (IJSI)
VL - 10
IS - 1
SP - 1
EP - 20
PB - IGI Global
AB - The organization of free, democratic, and transparent elections requires on the one hand an independent national electoral authority that manages all the stages of the electoral process and on the other hand the use of new information and communication techniques to manage the election process. E-voting offers the ability to vote online anytime and from anywhere using a computer, smartphone, or tablet. In addition, it saves time and reduces costs and effort spent in the process. However, the security of e-voting applications deployed on the internet is a difficult task due to the increasing number of cyber-attacks and application vulnerabilities. On the other hand, blockchain technology is an emerging technology with a strong cryptographic foundation. In this paper, the authors propose a new secure e-voting system based on Ethereum blockchain. In addition, they propose a hierarchical coloured petri net (HCPN) model for their e-voting system using CPN Tools. They verify by means of simulation techniques and state space analysis important properties such as absence of deadlocks and livelocks.
DO - 10.4018/IJSI.309731
UR - https://www.igi-global.com/article/formal-verification-and-implementation-of-an-e-voting-system/309731
ID - misc-lab-410
ER -