Login / Signup

Formal analysis of an electronic voting system: An experience report.

Komminist WeldemariamRichard A. KemmererAdolfo Villafiorita
Published in: J. Syst. Softw. (2011)
Keyphrases
  • formal analysis
  • electronic voting
  • blind signature
  • secret sharing
  • formal methods
  • agent model
  • blind signature scheme
  • databases
  • ban logic
  • database systems
  • expert systems
  • software engineering
  • low cost