000 | 03810nam a22006735i 4500 | ||
---|---|---|---|
001 | 978-3-642-39185-9 | ||
003 | DE-He213 | ||
005 | 20240423125847.0 | ||
007 | cr nn 008mamaa | ||
008 | 130708s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642391859 _9978-3-642-39185-9 |
||
024 | 7 |
_a10.1007/978-3-642-39185-9 _2doi |
|
050 | 4 | _aQA268 | |
072 | 7 |
_aGPJ _2bicssc |
|
072 | 7 |
_aURY _2bicssc |
|
072 | 7 |
_aCOM083000 _2bisacsh |
|
072 | 7 |
_aGPJ _2thema |
|
072 | 7 |
_aURY _2thema |
|
082 | 0 | 4 |
_a005.824 _223 |
245 | 1 | 0 |
_aE-Voting and Identity _h[electronic resource] : _b4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings / _cedited by James Heather, Steve Schneider, Vanessa Teague. |
250 | _a1st ed. 2013. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
300 |
_aX, 211 p. 29 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aSecurity and Cryptology, _x2946-1863 ; _v7985 |
|
505 | 0 | _aScaling 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. | |
520 | _aThis 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. | ||
650 | 0 | _aCryptography. | |
650 | 0 | _aData encryption (Computer science). | |
650 | 0 | _aData protection. | |
650 | 0 | _aComputer networks . | |
650 | 0 | _aComputers, Special purpose. | |
650 | 0 |
_aInformation technology _xManagement. |
|
650 | 0 | _aComputers and civilization. | |
650 | 1 | 4 | _aCryptology. |
650 | 2 | 4 | _aData and Information Security. |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aSpecial Purpose and Application-Based Systems. |
650 | 2 | 4 | _aComputer Application in Administrative Data Processing. |
650 | 2 | 4 | _aComputers and Society. |
700 | 1 |
_aHeather, James. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSchneider, Steve. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aTeague, Vanessa. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642391842 |
776 | 0 | 8 |
_iPrinted edition: _z9783642391866 |
830 | 0 |
_aSecurity and Cryptology, _x2946-1863 ; _v7985 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-39185-9 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cSPRINGER | ||
999 |
_c182464 _d182464 |