E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Heather, James (Επιμελητής έκδοσης), Schneider, Steve (Επιμελητής έκδοσης), Teague, Vanessa (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 7985
• Θέματα: Computer science.; Computer communication systems.; Special purpose computers.; Computer security.; Data encryption (Computer science).; Application software.; Computers and civilization.; Computer Science.; Data Encryption.; Systems and Data Security.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Computer Appl. in Administrative Data Processing.; Computers and Society.

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, VoteID 2013, held in Guildford, UK, during July 17-19, 2013. The 12 revised full papers presented were carefully selected from 26 submissions. The papers include a range...

Πίνακας περιεχομένων:

• Scaling Privacy Guarantees in Code-Verification Elections
• On the Specification and Verification of Voting Schemes
• Formal Model-based Validation for Tally Systems
• Vote Casting In Any Preferred Constituency: A New Voting Channel
• Attacking the Verification Code Mechanism in the Norwegian Internet Voting System.- A Formal Model for the Requirement of Verifiability in Electronic Voting by means of a Bulletin Board
• Analysis of an Electronic Boardroom Voting System
• Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity
• Mental Models of Verifiability in Voting
• Towards a Practical Internet Voting Scheme Based on Malleable Proofs
• A Practical Coercion Resistant Voting Scheme Revisited.