A UTP approach towards probabilistic protocol verification.
Riccardo BrescianiAndrew ButterfieldPublished in: Secur. Commun. Networks (2014)
Keyphrases
- cryptographic protocols
- formal analysis
- protocol specification
- model checking
- model checker
- formal proof
- probabilistic model
- bayesian networks
- lightweight
- uncertain data
- temporal logic
- context sensitive
- neural network
- security protocols
- petri net
- data driven
- formal methods
- posterior probability
- probabilistic logic
- security analysis
- generative model
- communication protocols
- colored petri nets
- learning algorithm