My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Table of Contents
 University of Melbourne Author 
Author Vote-ID (Conference) (4th : 2013 : Guildford, England)

Title E-voting and identify : 4th international conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, proceedings / James Heather, Steve Schneider, Vanessa Teague (eds.).

Published Berlin ; New York : Springer, ©2013.


Location Call No. Status
Physical 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.
Springer Lecture Notes in Computer Science
Notes International conference proceedings.
Includes author index.
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.
Other author Heather, James, editor.
Schneider, S. A. (Steve A.), editor.
Teague, Vanessa, editor.
SpringerLink issuing body.
Subject Electronic voting -- Congresses.
Data encryption (Computer science) -- Congresses.
Computer software -- Verification -- Congresses.
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.
Electronic books.
Conference papers and proceedings.
Variant Title Vote-ID 2013
ISBN 9783642391859
Standard Number 10.1007/978-3-642-39185-9