Alexandros Xenakis Ann Macintosh Procedural security analysis of electronic voting. 541-546 2004 conf/ACMicec/2004 ICEC http://doi.acm.org/10.1145/1052220.1052288 db/conf/ACMicec/icec2004.html#XenakisM04