On Name Generation and Set-Based Analysis in the Dolev-Yao Model.
Roberto M. AmadioWitold CharatonikPublished in: CONCUR (2002)
Keyphrases
- probability distribution
- statistical analysis
- experimental data
- management system
- mathematical model
- network model
- conceptual model
- hierarchical structure
- small number
- probabilistic model
- cost function
- computational model
- high level
- statistical model
- posterior probability
- formal model
- prediction model
- prior knowledge