DocumentCode :
2309392
Title :
Electronic Elections: Trust Through Engineering
Author :
Schurmann, Carsten
Author_Institution :
IT Univ. of Copenhagen, Copenhagen, Denmark
fYear :
2010
fDate :
31-31 Aug. 2010
Firstpage :
38
Lastpage :
46
Abstract :
It comes with many risks but brings also many benefits. Instead of flat out rejecting the technology as uncontrollably dangerous, we advocate in this paper a different technological angle that renders electronic elections trustworthy beyond the usual levels of doubt. We exploit the trust that voters currently have into the democratic process and model our techniques around that observation accordingly. In particular, we propose a technique of trace emitting computations to record the individual steps of an electronic voting machine for a posteriori validation on an acceptably small trusted computing base. Our technology enables us to prove that an electronic elections preserves the voter´s intent, assuming that the voting machine and the trace verifier are independent.
Keywords :
government data processing; security of data; a posteriori validation; democratic process; electronic elections trustworthy; small trusted computing base; trace emitting computation; trace verifier; voting machine; Casting; Counting circuits; Cryptography; Electronic voting; Electronic voting systems; Formal specifications; Logic; Nominations and elections; Privacy; Software safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Requirements Engineering for e-Voting Systems (RE-VOTE), 2009 First International Workshop on
Conference_Location :
Atlanta, GA
Print_ISBN :
978-1-4244-7698-5
Electronic_ISBN :
978-0-7695-4100-6
Type :
conf
DOI :
10.1109/RE-VOTE.2009.4
Filename :
5460386
Link To Document :
بازگشت