Titlebook: E-Voting and Identity; 4th International Co James Heather,Steve Schneider,Vanessa Teague Conference proceedings 2013 Springer-Verlag Berlin

Ford

书目名称E-Voting and Identity影响因子(影响力)




书目名称E-Voting and Identity影响因子(影响力)学科排名




书目名称E-Voting and Identity网络公开度




书目名称E-Voting and Identity网络公开度学科排名




书目名称E-Voting and Identity被引频次




书目名称E-Voting and Identity被引频次学科排名




书目名称E-Voting and Identity年度引用




书目名称E-Voting and Identity年度引用学科排名




书目名称E-Voting and Identity读者反馈




书目名称E-Voting and Identity读者反馈学科排名

心胸狭窄

混沌

CEDE

Glossy

Formal Model-Based Validation for Tally Systems,of non-isomorphic test cases ., once and for all. Using such a system test suite, any digital election technology (proprietary or open source) can be rigorously evaluated for correctness. Doing so will vastly improve the confidence experts have—and can only improve the level of trust citizens have—i

anachronistic

Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs,eration protocol for the encryption scheme underlying their voting scheme. As a second contribution, we decompress their abstract scheme description, identify elementary operations, and count the number of such operations required for mixing and verification. Based on timings for elementary operatio

anachronistic

Conference proceedings 2013in 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 model

固定某物

ATP861

miracle

on officials, tested in a public test organized by the city in June 2011, and used in its municipal election in November 2011. We are not aware of any other precinct-based end-to-end independently-verifiable election for public office where the protocol enabled participation by voters with visual disabilities.