Implementation and Analysis of Secure Electronic Voting System
[Full Text]
AUTHOR(S)
Htet Ne Oo, Aye Moe Aung
KEYWORDS
Index Terms: -Electronic voting, fairness, formal analysis, privacy, receipt-freeness, security, verifiability.
ABSTRACT
Abstract: -In this technological and knowledge age, e-commerce related matters become popular. Electronic voting is one of these matters and it is able to provide convenient, less expensive, fast and secure facilities. Important basic properties of electronic voting are fairness, privacy, eligibility, receipt-freeness, coercion-resistance and verifiability. Current electronic voting systems satisfy only some of these properties. So, the proposed system aims to design and implement an electronic voting system which satisfies the required properties of electronic voting process. After implementing the system, it will be verified using mCRL2 language in order to prove the satisfaction of the security properties. The performance of the proposed system will be compared with the other existing e-voting systems.
REFERENCES
[1] Subariah Ibrahim, Maznah Kamat, Mazleena Salleh, Shah Rizar, Abdul Aziz, “Secure E-voting with Blind Signature”, 2006.
[2] Ishtiaque Mahmud, Shamim Ahmed, A.K.M Nazmus Sakib, Quaz Emanual Alende, Israt Jahan “E-voting Security Protocol: Analysis and Solution” International Journal of Engineering Research and Application (IJERA) Vol. 2, Issue 3, May-June 2012, 2938-2943
[3] V.Kalaichevi and R.M. Chandrasekaran, “Design and Analysis of Secure Electronic Voting Protocol”, Journal of Engineering and Applied Sciences 7(2), 143-147, 2012
[4] Fujioka, Okamato, Ohta, “ A Practical Secret Voting Scheme for Large Scale Election”, 1992.
[5] Hamid Reeza Mahrooghi, Mohamad Hashem Haghighat, Rasool Jalili, “Formal Analysis of Authentication Type Properties of an Electronic Voting Protocol using mCRL2, 2010.
[6] Feras A.Haziemeh, Mutaz Kh.Khazaaleh, Khairall M.Al-Talafha, “New Applied E-voting System”, 2011.
[7] Jan Friso Groote and Mohammad Reza Mousavi, Department of Computer Science, Eindhoven University of Technology, Eindhoven, “Modelling and Analysis of Communicating Systems”, 2011.
[8] J.F. Groote, Aad Mathijssen, Michel Reniers, Yaroslav, Usenko and Muck van Weerdenburg, “Formal Specification Language, mCRL2”, 2007.
[9] David Chaum, “Blind Signature for Untraceable Payment”. 1982
|