C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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