Login / Signup
A Dolev-Yao Model for Zero Knowledge.
Anguraj Baskar
Ramaswamy Ramanujam
S. P. Suresh
Published in:
ASIAN (2009)
Keyphrases
</>
mathematical model
domain knowledge
probabilistic model
formal model
expert knowledge
experimental data
formal representation
management system
knowledge acquisition
parameter estimation
semantic models
additional knowledge
reasoning process
prediction model
process model
computational model
neural network
theoretical analysis
knowledge based systems
data model
bayesian networks
similarity measure
knowledge base