Keyphrases
- probabilistic model
- bayesian networks
- lightweight
- automatic classification
- generative model
- formal analysis
- website
- voting protocols
- file transfer
- cryptographic protocols
- security analysis
- probabilistic logic
- data driven
- multi agent systems
- automatic identification
- probability theory
- security protocols
- probabilistic approaches
- learning algorithm
- coloured petri nets