共 50 条
[21]
Anonymous and formally verified dual signature based online e-voting protocol
[J].
Cluster Computing,
2019, 22
:1703-1716
[23]
Enhanced secure interface for a portable e-voting terminal
[J].
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
[J].
2012 9TH INTERNATIONAL ISC CONFERENCE ON INFORMATION SECURITY AND CRYPTOLOGY (ISCISC),
2012,
:128-134
[30]
An Extension of QSL for E-voting Systems
[J].
ADVANCES IN COMPUTER SCIENCE AND UBIQUITOUS COMPUTING,
2017, 421
:87-96