Automatic Verification of Remote Internet Voting Protocol in Symbolic Model.

Bo Meng Wei Huang Dejun Wang

Published in: J. Networks (2011)

Keyphrases

formal model
mathematical model
theoretical analysis
management system
statistical model
neural network model
data sets
neural network
bayesian networks
simulation model