Titlebook: Electronic Voting; Second International Robert Krimmer,Melanie Volkamer,Carsten Schürmann Conference proceedings 2017 Springer Internationa

選民

書目名稱Electronic Voting影響因子(影響力)




書目名稱Electronic Voting影響因子(影響力)學(xué)科排名




書目名稱Electronic Voting網(wǎng)絡(luò)公開(kāi)度




書目名稱Electronic Voting網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書目名稱Electronic Voting被引頻次




書目名稱Electronic Voting被引頻次學(xué)科排名




書目名稱Electronic Voting年度引用




書目名稱Electronic Voting年度引用學(xué)科排名




書目名稱Electronic Voting讀者反饋




書目名稱Electronic Voting讀者反饋學(xué)科排名

HAIL

Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations, field in the last decade or so in terms of formalizing security requirements and formally analyzing e-voting systems. This paper summarizes some of the achievements and lessons learned, which, among others, challenge common believes about the role of and the relationships between central security r

提升

Voting in E-Participation: A Set of Requirements to Support Accountability and Trust by Electoral Coting result on the outcome of the e-participation process might differ a lot as voting can relate to approving, polling or co-decision making. The greater the impact of the electronic voting on the outcomes of the e-participation process, the more important become the regulations and technologies t

合唱隊(duì)

The Weakness of Cumulative Voting,gle candidate. It is sometimes used to elect members to a legislative body such as a parliament or city council, and its purpose is to achieve a more proportional representation than that which results from many other voting systems. Cumulative voting is most commonly used in municipal elections in

MAIM

No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex against their legal definition and only if they can produce an easily verifiable certificate for the correctness of the count. We then show that both are achievable for the Schulze method of vote-counting, even when the election involves millions of ballots. We argue that our methodology is applica

謙虛的人

謙虛的人

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy,allow voters to retrieve their votes from a public bulletin board and a commitment scheme that allows them to hide their vote from a potential coercer. So far, however, Selene was never studied formally. The Selene protocol was neither completely formalized, nor were the correctness proofs for Vote-

Asymptomatic

抵制

Updated European Standards for E-voting,ndation to member States, Rec(2004)11 and the two 2010 Guidelines on certification and on transparency were recently repealed and replaced by Rec(2017)5 on Standards for e-voting and the associated Guidelines on its implementation. We discuss the 2017 Recommendation and the main novelties introduced

expire

A Formally Verified Single Transferable Voting Scheme with Fractional Values, of vote counting as application of a sequence of rules. The rules are an intermediate step for specifying the protocol for vote-counting in a precise symbolic language. We then formalise these rules in Coq. This reduces the gap between the legislation and formalisation so that, without knowledge of