选民
发表于 2025-3-21 16:43:42
书目名称Electronic Voting影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0306446<br><br> <br><br>书目名称Electronic Voting读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0306446<br><br> <br><br>
HAIL
发表于 2025-3-21 22:12:05
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
提升
发表于 2025-3-22 02:08:12
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
合唱队
发表于 2025-3-22 04:40:58
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
发表于 2025-3-22 11:53:35
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
谦虚的人
发表于 2025-3-22 16:04:52
http://reply.papertrans.cn/31/3065/306446/306446_6.png
谦虚的人
发表于 2025-3-22 17:34:57
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
发表于 2025-3-22 23:28:55
http://reply.papertrans.cn/31/3065/306446/306446_8.png
抵制
发表于 2025-3-23 03:03:56
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
发表于 2025-3-23 05:57:27
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