LEADER 03961nam 22008295 450 001 9910483414303321 005 20200630115650.0 010 $a3-319-22270-8 024 7 $a10.1007/978-3-319-22270-7 035 $a(CKB)3890000000001337 035 $a(SSID)ssj0001558511 035 $a(PQKBManifestationID)16182675 035 $a(PQKBTitleCode)TC0001558511 035 $a(PQKBWorkID)14819167 035 $a(PQKB)11138796 035 $a(DE-He213)978-3-319-22270-7 035 $a(MiAaPQ)EBC5587172 035 $a(Au-PeEL)EBL5587172 035 $a(OCoLC)918942090 035 $a(PPN)188460349 035 $a(EXLCZ)993890000000001337 100 $a20150812d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aE-Voting and Identity $e5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings /$fedited by Rolf Haenni, Reto E. Koenig, Douglas Wikström 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (IX, 173 p. 33 illus.) 225 1 $aSecurity and Cryptology ;$v9269 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-22269-4 327 $aReal-world electronic systems -- Advanced voting protocols;.-Document analysis -- Machine-checked reasoning -- E-voting system in court. 330 $aThis book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on E-Voting and Identity, VoteID 2015, held in Bern, Switzerland, in September 2015. The 10 revised full papers presented, including one keynote and three invited talks, were carefully selected from 26 submissions. The papers deal with real-world electronic systems; advanced voting protocols; document analysis, machine-checked reasoning, e-voting system in court. 410 0$aSecurity and Cryptology ;$v9269 606 $aData encryption (Computer science) 606 $aComputer security 606 $aComputer communication systems 606 $aSpecial purpose computers 606 $aApplication software 606 $aComputers and civilization 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 615 0$aData encryption (Computer science). 615 0$aComputer security. 615 0$aComputer communication systems. 615 0$aSpecial purpose computers. 615 0$aApplication software. 615 0$aComputers and civilization. 615 14$aCryptology. 615 24$aSystems and Data Security. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aComputers and Society. 676 $a005.82 702 $aHaenni$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKoenig$b Reto E$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWikström$b Douglas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483414303321 996 $aE-Voting and Identity$9773715 997 $aUNINA