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.

Authors

Melanie Volkamer

This author has not been identified. Look up 'Melanie Volkamer' in Google

Rüdiger Grimm

This author has not been identified. Look up 'Rüdiger Grimm' in Google