70 likes | 187 Views
The Proof of Vote. Osvaldo Catsumi Imamura IEAv. Voting Machine – Physical Architecture. Main unit Display Keyboard I/O devices (ports) Storage (fixed, removable) Power supply Accessory. Voting Machine – Logical Architecture. Voter interface Vote collector
E N D
The Proof of Vote Osvaldo Catsumi Imamura IEAv
Voting Machine – Physical Architecture • Main unit • Display • Keyboard • I/O devices (ports) • Storage (fixed, removable) • Power supply • Accessory
Voting Machine – Logical Architecture • Voter interface • Vote collector • Vote registration • Vote receipt (?) • Machine integrity • Operating System • Library (device driver, API, crypto) • Application
Operation • Boot • Application loader • Memory protection • Data protection • Log • Fail recovery • Fault recovery • Crash recovery
Kind of Proof • Black box test • White box test • Simulation test • Real test • Signature verification • Document verification (requirement, specification, implementation, deployment) • Process verification (system, human) • Receipt print
Trust • Root of Trust • Process creation • Process execution • Process examination • Process assist • Participant (voter, candidate, staff, observer, press, legislator, judge) • Audit (internal, external) • Tool (private, commercial, public domain) • Legal support (law, procedure, disclaimer)