Alexandros Xenakis Ann Macintosh Procedural Security in Electronic Voting. 2004 HICSS http://csdl.computer.org/comp/proceedings/hicss/2004/2056/05/205650116cabs.htm db/conf/hicss/hicss2004-5.html#XenakisM04