Source view --- diebold-source-public-jul29
This file is being rendered using the fallback text renderer because no filetype could be identified, or it could not
be nicely presented
%PDF-1.4
5 0 obj
<< /S /GoTo /D (chapter*.1) >>
endobj
8 0 obj
(Executive Summary)
endobj
9 0 obj
<< /S /GoTo /D (chapter.1) >>
endobj
12 0 obj
(Introduction)
endobj
13 0 obj
<< /S /GoTo /D (section.1.1) >>
endobj
16 0 obj
(System Overview)
endobj
17 0 obj
<< /S /GoTo /D (section.1.2) >>
endobj
20 0 obj
(Methodology)
endobj
21 0 obj
<< /S /GoTo /D (section.1.3) >>
endobj
24 0 obj
(Limitations of this Report)
endobj
25 0 obj
<< /S /GoTo /D (chapter.2) >>
endobj
28 0 obj
(Architecture)
endobj
29 0 obj
<< /S /GoTo /D (section.2.1) >>
endobj
32 0 obj
(Components at Polling Places)
endobj
33 0 obj
<< /S /GoTo /D (section.2.2) >>
endobj
36 0 obj
(Components at Election Headquarters)
endobj
37 0 obj
<< /S /GoTo /D (chapter.3) >>
endobj
40 0 obj
(Major Attacks)
endobj
41 0 obj
<< /S /GoTo /D (section.3.1) >>
endobj
44 0 obj
(Voting Machine Viruses)
endobj
45 0 obj
<< /S /GoTo /D (section.3.2) >>
endobj
48 0 obj
(Virus Payloads)
endobj
49 0 obj
<< /S /GoTo /D (section.3.3) >>
endobj
52 0 obj
(Attacking the VVPAT)
endobj
53 0 obj
<< /S /GoTo /D (section.3.4) >>
endobj
56 0 obj
(Attacking Ballot Secrecy)
endobj
57 0 obj
<< /S /GoTo /D (chapter.4) >>
endobj
60 0 obj
(Systemic and Architectural Issues)
endobj
61 0 obj
<< /S /GoTo /D (section.4.1) >>
endobj
64 0 obj
(Design)
endobj
65 0 obj
<< /S /GoTo /D (section.4.2) >>
endobj
68 0 obj
(Implementation)
endobj
69 0 obj
<< /S /GoTo /D (section.4.3) >>
endobj
72 0 obj
(Engineering Practices)
endobj
73 0 obj
<< /S /GoTo /D (chapter.5) >>
endobj
76 0 obj
(Selected Specific Issues)
endobj
77 0 obj
<< /S /GoTo /D (section.5.1) >>
endobj
80 0 obj
(AccuVote-OS)
endobj
81 0 obj
<< /S /GoTo /D (section.5.2) >>
endobj
84 0 obj
(AccuVote-TSX)
endobj
85 0 obj
<< /S /GoTo /D (section.5.3) >>
endobj
88 0 obj
(GEMS)
endobj
89 0 obj
<< /S /GoTo /D (chapter.6) >>
endobj
92 0 obj
(Procedural Safeguards and their Limitations)
endobj
93 0 obj
<< /S /GoTo /D (section.6.1) >>
endobj
96 0 obj
(Logic and Accuracy Testing)
endobj
97 0 obj
<< /S /GoTo /D (section.6.2) >>
endobj
100 0 obj
(Commercial Virus Scanners)
endobj
101 0 obj
<< /S /GoTo /D (section.6.3) >>
endobj
104 0 obj
(Stricter Chain of Custody Measures)
endobj
105 0 obj
<< /S /GoTo /D (section.6.4) >>
endobj
108 0 obj
(Tamper-Evident Seals)
endobj
109 0 obj
<< /S /GoTo /D (section.6.5) >>
endobj
112 0 obj
(Forensics)
endobj
113 0 obj
<< /S /GoTo /D (section.6.6) >>
endobj
116 0 obj
(Parallel Testing)
endobj
117 0 obj
<< /S /GoTo /D (section.6.7) >>
endobj
120 0 obj
(Voter-Verifiable Paper Records)
endobj
121 0 obj
<< /S /GoTo /D (section.6.8) >>
endobj
124 0 obj
(Ballot Secrecy Protections)
endobj
125 0 obj
<< /S /GoTo /D (section.6.9) >>
endobj
128 0 obj
(Minimizing Use of Modems and Shared Networks)
endobj
129 0 obj
<< /S /GoTo /D (section.6.10) >>
endobj
132 0 obj
(A Segregated Dual-GEMS Architecture)
endobj
133 0 obj
<< /S /GoTo /D (section.6.11) >>
endobj
136 0 obj
(The Alternative: A Voting System that is Secure by Design)
endobj
137 0 obj
<< /S /GoTo /D (chapter.7) >>
endobj
140 0 obj
(Conclusion)
endobj
141 0 obj
<< /S /GoTo /D (appendix.A) >>
endobj
144 0 obj
(Threat Model)
endobj
145 0 obj
<< /S /GoTo /D (section.A.1) >>
endobj
148 0 obj
(Reference Model)
endobj
149 0 obj
<< /S /GoTo /D (section.A.2) >>
endobj
152 0 obj
(Attacker Goals)
endobj
153 0 obj
<< /S /GoTo /D (section.A.3) >>
endobj
156 0 obj
(Attacker Types)
endobj
157 0 obj
<< /S /GoTo /D (section.A.4) >>
endobj
160 0 obj
(Types of Attacks)
endobj
161 0 obj
<< /S /GoTo /D (section.A.5) >>
endobj
164 0 obj
(Mechanisms for Tamper Sealing)
endobj
165 0 obj
<< /S /GoTo /D [166 0 R /Fit ] >>
endobj
168 0 obj <<
/Length 821
/Filter /FlateDecode
>>
stream
xڝUMo6W(єyOAi6=0ZMT+Zi}"כ5@8yf?F%`hG%VN<nVWMV͎0Bk\lV;h5LW>L1f}9yY_54G7|,av0\1{n4U8>m 5iԌ6O77(cB[ฉ6crvw1*7}\ljëp\?5[};zϐt<Ìyq6c~CLMB3Wx:~<aK!!ysl
0kƌRSVTnS:LͭGhMMxa[v>yBo5cZyܧd_J
(!Btsppwq;18A,hػ8`:9;3PH`g@b=dHgɻ!~] wvoǗ-m'CDEX/!/O}D_=M>&+#>Ri
v#
D"gjT~S):
Xf%N$L څ
Z(ĩQ?JU~>T7+n=Aq4ifElAa(eCSaz:^)5Y+ Cd`4f斓Xv}wd]ޤH^a,"eoݘWUɡHшy'##ަ@pI
dgl5t=%2uvhBB"endstream
endobj
166 0 obj <<
/Type /Page
/Contents 168 0 R
/Resources 167 0 R
/MediaBox [0 0 612 792]
/Parent 177 0 R
>> endobj
172 0 obj <<
/D [166 0 R /XYZ 90 744.907 null]
>> endobj
173 0 obj <<
/D [166 0 R /XYZ 90 720 null]
>> endobj
167 0 obj <<
/Font << /F38 171 0 R /F39 176 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
180 0 obj <<
/Length 2736
/Filter /FlateDecode
>>
stream
xڕY_8Ougˎ[wbom[Itue'oH9vIEH),xVD<M"g%mK4X g,_"/ߢYr(EZ5ۼyQr
?㷤4Wms˒$lV} >ʾG5_elooլ,avQQo;md<^`Q>;3ْH
QƯZM]Qh:lIҞm4NN;)q`PرCaf{c"\D[."ޗey ש@8Y_eޑ?4@bdhИz_˧WdCKYSǖiTB9KՕ?|dVeMsg9{VU;!
o<]K*l"IՙA(iuXӻ (KS)?@v44/; b(,)E%mX
)j"k1m%ɼu£adǣ%AWYW!YMי=RbV_$j<vȃ6,O̅9Q؝9YbWH$US-ӝYnxE!՚Mw6T@b kRcYpE:Cm/[t
d9r*mw 2QD.PpR7TZj[bUmCml"O`WNC"5J-Dn9UjG4˵ueGGuZ敦w c߇nl y k4{eGQ>