共 50 条
- [21] Anonymous and formally verified dual signature based online e-voting protocol Cluster Computing, 2019, 22 : 1703 - 1716
- [23] Enhanced secure interface for a portable e-voting terminal SECRYPT 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY, 2008, : 529 - 537
- [27] FOO e-Voting Protocol: Inductive Analysis of the Eligibility Property 2012 9TH INTERNATIONAL ISC CONFERENCE ON INFORMATION SECURITY AND CRYPTOLOGY (ISCISC), 2012, : 128 - 134
- [30] An Extension of QSL for E-voting Systems ADVANCES IN COMPUTER SCIENCE AND UBIQUITOUS COMPUTING, 2017, 421 : 87 - 96