A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting.

Rüdiger Grimm Katharina Hupf Melanie Volkamer A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting. 89-107 2010 Electronic Voting conf/ev/2010 db/conf/ev/ev2010.html#GrimmHV10 http://subs.emis.de/LNI/Proceedings/Proceedings167/article5680.html