A Dolev-Yao Model for Zero Knowledge.
Anguraj BaskarRamaswamy RamanujamS. P. SureshPublished 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