Description |
1 online resource (209 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 7985 |
|
LNCS sublibrary. SL 4, Security and cryptology |
|
Lecture notes in computer science ; 7985.
|
|
LNCS sublibrary. SL 4, Security and cryptology.
|
Contents |
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 |
Summary |
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 |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Data protection |
|
Data encryption (Computer science) |
|
Information systems |
|
Systems and Data Security |
|
Special Purpose and Application-Based Systems |
|
Computer Appl. in Administrative Data Processing |
Notes |
International conference proceedings |
|
Includes author index |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
|
Online resource; title from PDF title page (SpringerLink, viewed July 17, 2013) |
|
Print version record |
In |
Springer eBooks |
Subject |
Electronic voting -- Congresses
|
|
Data encryption (Computer science) -- Congresses
|
|
Computer software -- Verification -- Congresses
|
|
Politics, Practical.
|
|
Civil rights.
|
|
Politics
|
|
Software
|
|
Civil Rights
|
|
politics.
|
|
software.
|
|
civil rights.
|
|
Politics, Practical
|
|
Civil rights
|
|
Computer software -- Verification
|
|
Data encryption (Computer science)
|
|
Electronic voting
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Heather, James, editor.
|
|
Schneider, S. A. (Steve A.), editor.
|
|
Teague, Vanessa, editor.
|
ISBN |
9783642391859 |
|
3642391850 |
|