DMCA
Automating Voting Terminal Event Log Analysis
Cached
Download Links
| Citations: | 8 - 1 self |
BibTeX
@MISC{Antonyan_automatingvoting,
author = {Tigran Antonyan and Seda Davtyan and Sotirios Kentros and Aggelos Kiayias and Laurent Michel and Nicolas Nicolaou and Alexander Russell and Alexander Shvartsman},
title = {Automating Voting Terminal Event Log Analysis},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In the interest of auditing election procedures, certain electronic voting technologies provide monitoring capabilities that record select actions undertaken by election officials before, during, and after an election process, as well as the conditions present in an electronic voting terminal as the result of its interactions with its environment. In this paper we report on an automated auditing process for detecting procedural irregularities for elections employing the AccuVote Optical Scan (AV-OS) terminal (manufactured by Premier Election Systems). Our auditing process is derived from an abstract finite state model of the AV-OS; this determines, in particular, a correspondence between state transitions and logged events that separates expected and “irregular ” histories. Automating the detection of these irregular histories has permitted us to provide detailed election procedure audits for full-scale Connecticut elections. We conclude the article with a discussion of the result of the event log analysis performed within the post-election audit of the November 2008 elections in Connecticut. Additionally, we identify a defect and some deficiencies in the AV-OS event logging subsystem that can interfere with the event log transcript making it vulnerable to manipulation and discuss the effects of these deficiencies. This research is funded by the Office of the Secretary
Keyphrases
voting terminal event log analysis irregular history post-election audit event log transcript automated auditing process abstract finite state model detailed election procedure accuvote optical scan av-os event procedural irregularity election process state transition election official electronic voting terminal event log analysis election procedure record select action full-scale connecticut election certain electronic voting technology premier election system
