Internet Voting System with Cast as Intended Verification.

Jordi Puiggalí Allepuz Sandra Guasch Castelló

Published in: VoteID (2011)

Keyphrases

internet voting
model checking
formal verification
verification method
information technology
neural network
search algorithm
signature verification
software engineering
multi agent systems
database
optimal solution
multiscale
image segmentation
case study
social networks
real time