|
|
|
|
| LEADER |
03328nam a22004695i 4500 |
| 001 |
000283322 |
| 005 |
20211007080013.0 |
| 007 |
cr nn 008mamaa |
| 008 |
171005s2017 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319686875
|
| 024 |
7 |
|
|a 10.1007/978-3-319-68687-5
|2 doi
|
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 245 |
1 |
0 |
|a Electronic Voting :
|b Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings /
|c edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann.
|
| 250 |
|
|
|a 1st ed. 2017.
|
| 260 |
# |
# |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a X, 319 p. 35 illus. :
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Security and Cryptology ;
|v 10615
|
| 505 |
0 |
|
|a Election Security and Economics: It's all about Eve -- Cryptographic Security Analysis of E-Voting Systems: Achievements, Misconceptions, and Limitations -- Voting in E-participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees -- The Weakness of Cumulative Voting -- No More Excuses: Automated Synthesis of Practical and Verifiable Vote-counting Programs for Complex Voting Schemes -- Public Evidence from Secret Ballots -- A Mechanized Proof of Selene Receipt Freeness and Privacy -- Trust Implications of DDoS Protection in Online Elections -- Updated European Standards for e-voting -- A Formally Verified Single Transferable Vote Scheme with Fractional Values -- Reverse Bayesian poisoning: How to use spam filters to manipulate online elections -- Return Code Schemes for Electronic Voting Systems -- Eos A Universal Verifiable and Coercion Resistant Voting Protocol -- Clash attacks and the STAR-Vote system -- Verifiability experiences in government online voting systems -- Cast-as-Intended Mechanism with Return Codes Based on PETs -- How Could Snowden Attack an Election -- Bits or Paper: which should get to carry your vote -- Estonian Voting Verification Mechanism Revisited Again. .
|
| 650 |
|
0 |
|a Data encryption (Computer science).
|
| 650 |
|
0 |
|a Computer security.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Coding theory.
|
| 650 |
|
0 |
|a Information theory.
|
| 650 |
|
0 |
|a Computer communication systems.
|
| 650 |
|
0 |
|a Application software.
|
| 650 |
1 |
4 |
|a Cryptology.
|
| 650 |
2 |
4 |
|a Systems and Data Security.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Coding and Information Theory.
|
| 650 |
2 |
4 |
|a Computer Communication Networks.
|
| 650 |
2 |
4 |
|a Computer Appl. in Administrative Data Processing.
|
| 700 |
1 |
|
|a Krimmer, Robert.
|e editor.
|0 (orcid)0000-0002-0873-539X
|1 https://orcid.org/0000-0002-0873-539X
|
| 700 |
1 |
|
|a Volkamer, Melanie.
|e editor.
|0 (orcid)0000-0003-2674-4043
|1 https://orcid.org/0000-0003-2674-4043
|
| 700 |
1 |
|
|a Braun Binder, Nadja.
|e editor.
|0 (orcid)0000-0002-3447-1818
|1 https://orcid.org/0000-0002-3447-1818
|
| 700 |
1 |
|
|a Kersting, Norbert.
|e editor.
|
| 700 |
1 |
|
|a Pereira, Olivier.
|e editor.
|
| 700 |
1 |
|
|a Schürmann, Carsten.
|e editor.
|0 (orcid)0000-0003-4793-0099
|1 https://orcid.org/0000-0003-4793-0099
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|