搜索结果: 1-1 共查到“军队指挥学 mixnet”相关记录1条 . 查询时间(0.093 秒)
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 ...