Practical security analysis of e-voting systemsBuldas, Ahto; Mägi, TriinuLecture notes in computer science2007 / p. 320-335