Login / Signup
A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol.
Bo Meng
Published in:
J. Comput. (2009)
Keyphrases
</>
formal logic
information systems
general purpose
co occurrence
internet voting