DocumentCode :
2625396
Title :
Analysis of Internet Voting Protocols with Jonker-Vink Receipt-Freeness Formal Model
Author :
Meng, Bo
Author_Institution :
South-Center Univ. For Nationalities, Wuhan
fYear :
2007
fDate :
21-23 Nov. 2007
Firstpage :
663
Lastpage :
669
Abstract :
The secure and practical Internet voting protocols should have: privacy, completeness, soundness, unreusability, fairness, eligibility, and invariableness, universal verifiability, receipt-freeness, coercion- resistant. At present the hot point is receipt-freeness. In the last twenty years a lot of protocols have been proposed. Formal method is the key to assess receipt- freeness of these protocols. But the receipt-freeness of many Internet voting protocols is analyzed without formal method. In this paper, first, we survey receipt- freeness. Secondly, we analyze several typical protocols with Jonker-Vink receipt-freeness formal model. According to the result of analysis we point out that the several typical protocols are not receipt- freeness.
Keywords :
Internet; protocols; security of data; Internet voting protocols; Jonker-Vink receipt-freeness formal model; security; Algebra; Authentication; Cryptography; Information analysis; Information technology; Internet; Privacy; Protocols; Smart cards; Voting;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Convergence Information Technology, 2007. International Conference on
Conference_Location :
Gyeongju
Print_ISBN :
0-7695-3038-9
Type :
conf
DOI :
10.1109/ICCIT.2007.42
Filename :
4420335
Link To Document :
بازگشت