E-Voting and Identify : 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...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Seri Bilgileri: | Security and Cryptology
7985 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • E-Voting and Identify, 9783642391842 • E-Voting and Identity, Texte imprimé, 9783642391866 |
İçindekiler:
- 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.