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

Editor James Heather, Steve Schneider, Vanessa Teague

Springer Berlin Heidelberg | July 18, 2013 | Trade Paperback

Not yet rated | write a review
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.

Format: Trade Paperback

Dimensions: 220 pages, 9.25 × 6.1 × 0.01 in

Published: July 18, 2013

Publisher: Springer Berlin Heidelberg

Language: English

The following ISBNs are associated with this title:

ISBN - 10: 3642391842

ISBN - 13: 9783642391842

Found in: Computers

save 5%

  • In stock online

$75.95  ea

Online Price

$75.95 List Price

or, Used from $61.26

eGift this item

Give this item in the form of an eGift Card.

+ what is this?

This item is eligible for FREE SHIPPING on orders over $25.
See details

Easy, FREE returns. See details

Item can only be shipped in Canada

Downloads instantly to your kobo or other ereading device. See details

All available formats:

Reviews

– More About This Product –

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

Editor James Heather, Steve Schneider, Vanessa Teague

Format: Trade Paperback

Dimensions: 220 pages, 9.25 × 6.1 × 0.01 in

Published: July 18, 2013

Publisher: Springer Berlin Heidelberg

Language: English

The following ISBNs are associated with this title:

ISBN - 10: 3642391842

ISBN - 13: 9783642391842

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

From the Publisher

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.

From the Jacket

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
Item not added

This item is not available to order at this time.

See used copies from 00.00
  • My Gift List
  • My Wish List
  • Shopping Cart