Formal analysis of attacks for e-voting system.

Komminist Weldemariam Richard A. Kemmerer Adolfo Villafiorita

Published in: CRiSIS (2009)

Keyphrases

formal analysis
formal methods
voting method
countermeasures
ban logic
voting schemes
database systems
malicious attacks
malicious users
machine learning
agent model
denial of service attacks