Probabilistic Characterization of Algebraic Protocol Specifications.
Riccardo SistoLuigi CiminieraAdriano ValenzanoPublished in: ICDCS (1992)
Keyphrases
- state machines
- lightweight
- protocol specification
- bayesian networks
- uncertain data
- probabilistic logic
- higher order
- model checker
- probabilistic model
- neural network
- graphical models
- data driven
- generative model
- privacy preserving
- posterior probability
- probability theory
- control flow
- application layer
- network protocols