搜索结果: 1-4 共查到“军事学 receipt-freeness”相关记录4条 . 查询时间(0.062 秒)
A critique of game-based definitions of receipt-freeness for voting
E-voting receipt-freeness privacy
2019/7/24
We analyse three game-based definitions of receipt-freeness; uncovering soundness issues with two of the definitions and completeness issues with all three. Hence, two of the definitions are too weak,...
Receipt Freeness of Prêt à Voter Provably Secure
Provable security E-Voting Receipt Freeness
2012/3/21
Prêt à Voter is an end-to-end verifiable voting scheme that is also receipt free. Formal method analysis was used to prove that Prêt à Voter is receipt free. In this paper we use one of the latest ver...
Receipt Freeness of Prêt à Voter Provably Secure
Provable security E-Voting Receipt Freeness
2012/6/14
Prêt à Voter is an end-to-end verifiable voting scheme that is also receipt free. Formal method analysis was used to prove that Prêt à Voter is receipt free. In this paper we use one of the latest ver...
Receipt Freeness of Prêt à Voter Provably Secure
Provable security E-Voting Receipt Freeness
2012/3/22
Prêt à Voter is an end-to-end verifiable voting scheme that is also receipt free. Formal method analysis was used to prove that Prêt à Voter is receipt free. In this paper we use one of the latest ver...