Login / Signup

Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.

Mehdi TalbiBenjamin MorinValérie Viet Triem TongAdel BouhoulaMohamed Mejri
Published in: ICICS (2008)
Keyphrases
  • electronic voting
  • case study
  • blind signature
  • formal language
  • voting protocols
  • secret sharing
  • lightweight
  • blind signature scheme
  • protocol specification
  • formal specification
  • secret sharing scheme