Login / Signup

Analysis of an Electronic Voting Protocol in the Applied Pi Calculus.

Steve KremerMark Ryan
Published in: ESOP (2005)
Keyphrases
  • electronic voting
  • low cost
  • lightweight
  • quality of service
  • security protocols