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

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Heather, James (Editor ), Schneider, Steve (Editor ), Teague, Vanessa (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Security and Cryptology ; 7985
Temas:
Cryptography.
Data encryption (Computer science).
Data protection.
Computer networks .
Computers, Special purpose.
Information technology-Management.
Computers and civilization.
Cryptology.
Data and Information Security.
Computer Communication Networks.
Special Purpose and Application-Based Systems.
Computer Application in Administrative Data Processing.
Computers and Society.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares