搜索结果: 1-1 共查到“军事学 mixnet”相关记录1条 . 查询时间(0.051 秒)
Verifiability of Helios Mixnet
election schemes verifiability
font style='font-size:12px;'>
2018/1/12
We study game-based definitions of individual and universal verifiability by Smyth, Frink & Clarkson. We prove that building voting systems from El Gamal coupled with proofs of correct key generation ...