157
Voted
ISPW
2006
IEEE
16 years 2 days ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...