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. In Robert Krimmer, Rüdiger Grimm, editors, Electronic Voting 2010, EVOTE 2010, 4th International Conference, Co-organized by Council of Europe, Gesellschaft für Informatik and E-Voting.CC, July 21st - 24th, 2010, in Castle Hofen, Bregenz, Austria. Volume 167 of LNI, pages 89-107, GI, 2010.

Abstract

Abstract is missing.