An independent audit framework for software dependent voting systems.

Sujata Garera Aviel D. Rubin

Published in: CCS (2007)

Keyphrases

computer systems
probabilistic model
software development
intelligent systems
analysis tool
data sets
neural network
artificial intelligence
search engine
source code
distributed systems
building blocks
learning systems
software architecture
software developers
real time systems