Security Analysis of the Diebold AccuVote-TS Voting Machine.

Ariel J. Feldman J. Alex Halderman Edward W. Felten

Published in: EVT (2007)

Keyphrases

security analysis
public key
smart card
security requirements
security model
high security
security properties
image encryption
authentication protocol
user authentication
encryption scheme
mutual authentication
encryption algorithm
information systems