Abstract
There are many important security properties that electronic voting protocols and systems need to satisfy. They are eligibility, fairness, security, verifiability, coercion resistance and receipt-freeness. Presently, most electronic voting systems fulfill only some of the required properties. Among these properties, receipt-freeness and verifiability properties contradict each other. So, this paper aims to describe a voting protocol that satisfies both properties simultaneously without effecting security. And an electronic voting system is implemented and formally analyzed by using AVISPA tool.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have