搜索结果: 1-1 共查到“军队指挥学 cryptographic definitions”相关记录1条 . 查询时间(0.057 秒)
Election Verifiability: Cryptographic Definitions and an Analysis of Helios and JCJ
election schemes individual verifiability universal verifiability
2016/1/3
Definitions of election verifiability in the computational model of cryptography are proposed. The definitions formalize notions of voters verifying their own votes, auditors verifying the tally of vo...