Formal Privacy Analysis of an Electronic Voting Scheme

Xinxin Liu,Shaohua Tang
DOI: https://doi.org/10.1109/CIS.2008.114
2008-01-01
Abstract:We present the formalization of a recent electronic voting scheme using GSM mobile technology (GVS) in the applied pi calculus and analyze its privacy property. A refined threat model considering notonly the attacks from outsiders but also from the insiders and the collusion between them, is defined to represent the hostile voting environment, in which the privacy property is analyzed.
What problem does this paper attempt to address?