|
|
|
|
LEADER |
02886nmm a2200433 u 4500 |
001 |
EB000404762 |
003 |
EBX01000000000000000257834 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130802 ||| eng |
020 |
|
|
|a 9783642391859
|
100 |
1 |
|
|a Heather, James
|e [editor]
|
245 |
0 |
0 |
|a E-Voting and Identity
|h Elektronische Ressource
|b 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
|c edited by James Heather, Steve Schneider, Vanessa Teague
|
250 |
|
|
|a 1st ed. 2013
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2013, 2013
|
300 |
|
|
|a X, 211 p. 29 illus
|b online resource
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Computer Communication Networks
|
653 |
|
|
|a Computers and Society
|
653 |
|
|
|a Cryptography
|
653 |
|
|
|a Computer networks
|
653 |
|
|
|a Computer Application in Administrative Data Processing
|
653 |
|
|
|a Data protection
|
653 |
|
|
|a Data encryption (Computer science)
|
653 |
|
|
|a Cryptology
|
653 |
|
|
|a Data and Information Security
|
653 |
|
|
|a Information technology / Management
|
653 |
|
|
|a Special Purpose and Application-Based Systems
|
653 |
|
|
|a Computers, Special purpose
|
653 |
|
|
|a Computers and civilization
|
700 |
1 |
|
|a Schneider, Steve
|e [editor]
|
700 |
1 |
|
|a Teague, Vanessa
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Security and Cryptology
|
028 |
5 |
0 |
|a 10.1007/978-3-642-39185-9
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-39185-9?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.824
|
520 |
|
|
|a 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 of works on end-to-end verifiable election systems, verifiably correct complex tallying algorithms, human perceptions of verifiability, formal models of verifiability and, of course, attacks on systems formerly advertised as verifiable
|