On Quantitative Analysis of Probabilistic Protocols.
Alessandro AldiniAlessandra Di PierroPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- quantitative analysis
- qualitative analysis
- qualitative and quantitative analysis
- probabilistic model
- qualitative evaluation
- bayesian networks
- generative model
- uncertain data
- ground truth
- medical images
- data driven
- probabilistic reasoning
- probabilistic logic
- application level
- cryptographic protocols
- communication protocols
- database