DocumentCode
2001876
Title
Formal Privacy Analysis of an Electronic Voting Scheme
Author
Liu, Xinxin ; Tang, Shaohua
Author_Institution
Sch. of Comput. Sci. & Eng., South China Univ. of Technol., Guangzhou, China
Volume
2
fYear
2008
fDate
13-17 Dec. 2008
Firstpage
283
Lastpage
287
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 not only 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.
Keywords
cellular radio; data privacy; government data processing; mobile computing; pi calculus; GSM mobile technology; electronic voting scheme; formal privacy analysis; pi calculus; threat model; Authentication; Calculus; Computer science; Cryptographic protocols; Cryptography; Electronic voting; Equations; GSM; Privacy; Security;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence and Security, 2008. CIS '08. International Conference on
Conference_Location
Suzhou
Print_ISBN
978-0-7695-3508-1
Type
conf
DOI
10.1109/CIS.2008.114
Filename
4724782
Link To Document