Development of a Formal IT Security Model for Remote Electronic Voting Systems

Melanie Volkamer, Rüdiger Grimm. Development of a Formal IT Security Model for Remote Electronic Voting Systems. In Robert Krimmer, Rüdiger Grimm, editors, 3rd International Conference, Co-organized by Council of Europe, Gesellschaft für Informatik and E-Voting.CC, August 6th-9th, 2008 in Castle Hofen, Bregenz, Austria. Volume 131 of LNI, pages 185-196, GI, 2008.

Abstract

Abstract is missing.