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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.