Development of a Formal IT Security Model for Remote Electronic Voting Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

Development of A Formal Security Model for Electronic Voting SystemsKatharina Bräunlich, Rüdiger Grimm. ijisp, 7(2):1-28, 2013. [doi]

A Formal IT-Security Model for the Correction and Abort Requirement of Electronic VotingRüdiger Grimm, Katharina Hupf, Melanie Volkamer. ev 2010: 89-107

runs on WebDSL