Using probabilistic Kleene algebra pKA for protocol verification.
A. K. McIverCarlos GonzalíaE. CohenCarroll C. MorganPublished in: J. Log. Algebraic Methods Program. (2008)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- propositional logic
- query language
- model checking
- regular expressions
- bayesian networks
- generative model
- probabilistic logic
- probabilistic reasoning
- databases
- probabilistic model
- database
- belief networks
- posterior probability
- signature verification
- formal verification
- end to end
- colored petri nets
- algebraic expressions