搜索结果: 1-1 共查到“electronic voting protocols”相关记录1条 . 查询时间(0.093 秒)
Type-Based Verification of Electronic Voting Protocols
e-voting type systems verifiability
font style='font-size:12px;'>
2016/1/4
E-voting protocols aim at achieving a wide range of sophisticated security
properties and, consequently, commonly employ advanced cryptographic
primitives. This makes their design as well as rigorou...