Cantitate/Preț
Produs

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings: Lecture Notes in Computer Science, cartea 7985

Editat de James Heather, Steve Schneider, Vanessa Teague
en Limba Engleză Paperback – 18 iul 2013
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 35072 lei

Nou

Puncte Express: 526

Preț estimativ în valută:
6713 6982$ 5625£

Carte tipărită la comandă

Livrare economică 14-28 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642391842
ISBN-10: 3642391842
Pagini: 224
Ilustrații: X, 211 p. 29 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:2013
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Security and Cryptology

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Textul de pe ultima copertă

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

Caracteristici

State of the art report Unique visibility Fast conference proceedings