Using Probabilistic Kleene Algebra for Protocol Verification.
Annabelle McIverE. CohenCarroll MorganPublished in: RelMiCS (2006)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- query language
- formal verification
- probabilistic model
- bayesian networks
- lightweight
- probabilistic logic
- propositional logic
- network protocols
- regular expressions
- coloured petri nets
- boolean algebra
- belief networks
- security protocols
- uncertain data
- communication protocols
- model checking
- probability theory
- probabilistic reasoning
- relational algebra
- signature verification
- generative model
- formal proof
- data model
- neural network