Login / Signup
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.
Mehdi Talbi
Benjamin Morin
Valérie Viet Triem Tong
Adel Bouhoula
Mohamed 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