Login / Signup

Verifying anonymity in voting systems using CSP.

Murat MoranJames HeatherSteve A. Schneider
Published in: Formal Aspects Comput. (2014)
Keyphrases
  • database
  • constraint satisfaction problems
  • complex systems
  • constraint satisfaction
  • management system
  • distributed systems
  • computer systems
  • multi agent
  • intelligent systems
  • knowledge based systems
  • building blocks