author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Wed, 01 Oct 2014 16:18:51 +0100 | |
changeset 190 | 4ee6812ab436 |
parent 188 | 2555552d2c05 |
child 191 | f675aa15b6d0 |
permissions | -rw-r--r-- |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
\documentclass{article} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
\usepackage{../style} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
\begin{document} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
\section*{Handout 2 (E-Voting)} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
|
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
9 |
In security engineering, there are many counter-intuitive |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
10 |
phenomena: for example I am happy (more or less) to use online |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
11 |
banking every day, where if something goes wrong, I can |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
12 |
potentially lose a lot of money, but I am staunchly against |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
13 |
using electronic voting (lets call it e-voting for short). |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
14 |
E-voting is an idea that is nowadays often promoted in order |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
15 |
to counter low turnouts in elections\footnote{In my last local |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
16 |
election where I was eligible to vote only 48\% of the |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
17 |
population have cast their ballot. I was, I shamefully admit, |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
18 |
one of the non-voters.} and generally sounds like a good idea. |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
19 |
Right? Voting from the comfort of your own home, or on your |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
20 |
mobile on the go, what could possibly go wrong? Even the UK's |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
21 |
head of the Electoral Commission, Jenny Watson, argued in 2014 |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
22 |
in a Guardian article that the UK should have e-voting. Her |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
23 |
plausible argument is that 76\% of pensioners in the UK vote |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
24 |
(in a general election?), but only 44\% of the under-25s. For |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
25 |
which constituency politicians might therefore make more |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
26 |
favourable (short-term) decisions is clear. So being not yet |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
27 |
pensioner, I should be in favour of e-voting, no? |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
28 |
|
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
29 |
Well, it turns out there are many things that can go wrong |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
30 |
with e-voting, as I like to argue in this handout. E-voting in |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
31 |
a ``secure way'' seems to be one of the things in computer |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
32 |
science that are still very much unsolved. It is not on the |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
33 |
scale of Turing's halting problem, which is proved that it can |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
34 |
never be solved in general, but more in the category of being |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
35 |
unsolvable with current technology. This is not just my |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
36 |
opinion, but also shared by many security researchers amogst |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
37 |
them Alex Halderman, who is the world-expert on this subject |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
38 |
and from whose course on Securing Digital Democracy I have |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
39 |
most of my information and inspiration. It is also a |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
40 |
controversial topic in many countries: |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
41 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
42 |
\begin{itemize} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
43 |
\item The Netherlands between 1997--2006 had electronic voting |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
44 |
machines, but ``hacktivists'' had found they can be |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
45 |
hacked to change votes and also emitted radio signals |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
46 |
revealing how you voted. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
47 |
|
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
48 |
\item Germany conducted pilot studies with e-voting, but in |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
49 |
2007 a law suit has reached the highest court and it |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
50 |
rejected e-voting on the grounds of not being |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
51 |
understandable by the general public. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
52 |
|
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
53 |
\item UK used optical scan voting systems in a few trail |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
54 |
polls, but to my knowledge does not use any e-voting in |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
55 |
elections. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
56 |
|
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
57 |
\item The US used mechanical machines since the 1930s, later |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
58 |
punch cards, now DREs and optical scan voting machines. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
59 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
60 |
\item Estonia used since 2007 the Internet for national |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
61 |
elections. There were earlier pilot studies for voting |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
62 |
via Internet in other countries. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
63 |
|
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
64 |
\item India uses e-voting devices since at least 2003. They |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
65 |
used ``keep-it-simple'' machines produced by a |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
66 |
government owned company. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
67 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
68 |
\item South Africa used software for its tallying in the 1993 |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
69 |
elections (when Nelson Mandela was elected) and found |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
70 |
that the tallying software was rigged, but they were |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
71 |
able to tally manually. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
72 |
\end{itemize} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
73 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
74 |
|
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
75 |
The reason that e-voting is such a hard problem is that we |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
76 |
have requirements about the voting process that conflict with |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
77 |
each other. The five main requirements for voting in general |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
78 |
are: |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
79 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
80 |
\begin{itemize} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
81 |
\item {\bf Integrity} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
82 |
\begin{itemize} |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
83 |
\item By this we mean that the outcome of the vote matches |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
84 |
with the voters' intend. Note that it does not say |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
85 |
that every vote should be counted as cast. This might |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
86 |
be surprising, but even counting paper ballots will |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
87 |
always have an error rate: people after several hours |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
88 |
looking at ballots will inevitably miscount votes. But |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
89 |
what should be ensured is that the error rate does not |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
90 |
change the outcome of the election. Of course if |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
91 |
elections continue to be on knives edges we need to |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
92 |
ensure that we have a rather small error rate. |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
93 |
|
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
94 |
\item There might be gigantic sums at stake and need to be |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
95 |
defended against. The problem with this is that if |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
96 |
the incentives are great and enough resources are |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
97 |
available, then maybe it is feasible to mount a DoS |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
98 |
attack agains voting server and by bringing the |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
99 |
system to its knees, change the outcome of an |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
100 |
election. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
101 |
\end{itemize} |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
102 |
|
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
103 |
\item {\bf Ballot Secrecy} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
104 |
\begin{itemize} |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
105 |
\item Nobody can find out how you voted. This is to avoid |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
106 |
that voters can be coerced to vote in a certain way |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
107 |
(for example by relatives, employers etc). |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
108 |
|
185
f10d905e947f
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
157
diff
changeset
|
109 |
\item (Stronger) Even if you try, you cannot prove how you |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
110 |
voted. The reason is that you want to avoid vote |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
111 |
coercion but also vote selling. That this is a problem |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
112 |
is proved by the fact that some jokers in the recent |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
113 |
Scottish referendum tried to make money out of their |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
114 |
vote. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
115 |
\end{itemize} |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
116 |
|
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
117 |
\item {\bf Voter Authentication} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
118 |
\begin{itemize} |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
119 |
\item Only authorised voters can vote up to the permitted |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
120 |
number of votes (in order to avoid the ``vote early, |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
121 |
vote often''). |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
122 |
\end{itemize} |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
123 |
|
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
124 |
\item {\bf Enfranchisement} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
125 |
\begin{itemize} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
126 |
\item Authorised voters should have the opportunity to vote. |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
127 |
This can, for example, be a problem if you make the |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
128 |
authorisation dependent on an ID card, say a |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
129 |
driving license: then everybody who does not have a |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
130 |
license cannot vote. While this sounds an innocent |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
131 |
requirement, in fact some parts of the population |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
132 |
for one reason or the other just do not have |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
133 |
driving licenses. They are now excluded. Also if |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
134 |
you insist on paper ballots you have to have special |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
135 |
provisions for them. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
136 |
\end{itemize} |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
137 |
|
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
138 |
\item {\bf Availability} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
139 |
\begin{itemize} |
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
140 |
\item The voting system should accept all authorised votes |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
141 |
and produce results in a timely manner. If you move |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
142 |
an election online, you have to guard agains DoS |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
143 |
attacks. |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
144 |
\end{itemize} |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
145 |
\end{itemize} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
146 |
|
190
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
147 |
\noindent While these requirements seem natural, the problem |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
148 |
is that they often clash with each other. For example |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
149 |
|
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
150 |
\begin{center} |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
151 |
integrity vs.~ballot secrecy\\ |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
152 |
authentication vs.~enfranchisement |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
153 |
\end{center} |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
154 |
|
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
155 |
\noindent If we had ballots with complete voter |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
156 |
identification, then we can improve integrity because we can |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
157 |
trace back the votes to the voters. This would be good when |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
158 |
verifying the results. But such an identification would |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
159 |
violate ballot secrecy (you can prove to somebody else how you |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
160 |
voted). In contrast if we remove all identification for |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
161 |
ensuring ballot secrecy, then we have to ensure that no |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
162 |
``vote-stuffing'' occurs. |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
163 |
|
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
164 |
Similarly, if we improve authentication, \ldots |
4ee6812ab436
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
188
diff
changeset
|
165 |
|
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
166 |
To tackle the problem of e-voting, we must first have a look |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
167 |
into the history of voting and how paper-based ballots |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
168 |
evolved. We know for sure that elections were held in Athens |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
169 |
as early as 600 BC, but might even date to the time of |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
170 |
Mesopotamia and also in India some kind of ``republics'' might |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
171 |
have existed before the Alexander the Great invaded it. |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
172 |
Have a look at Wikipedia about the history of democracy for |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
173 |
more information. |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
174 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
175 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
176 |
|
188
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
177 |
%\subsubsection*{Questions} |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
178 |
|
188
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
179 |
%Coming back to the question of why I use online banking, but |
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
180 |
%prefer not to e-vote. |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
181 |
|
188
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
182 |
%Why do I use e-polling in lectures? |
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
183 |
|
188
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
184 |
%Imagine you have a perfectly secure internet voting system, by |
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
185 |
%which I mean nobody can tamper with or steal votes between |
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
186 |
%your browser and the central server responsible for vote |
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
187 |
%tallying. What can still go wrong with such a perfectly secure |
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
188 |
%voting system, which is prevented in traditional elections |
2555552d2c05
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
185
diff
changeset
|
189 |
%with paper-based ballots? |
157
3a8fff66d62b
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
156
diff
changeset
|
190 |
|
156
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
191 |
\end{document} |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
192 |
|
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
193 |
%%% Local Variables: |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
194 |
%%% mode: latex |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
195 |
%%% TeX-master: t |
3b831b9dc616
added some initial handouts
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
196 |
%%% End: |