A procedure for probabilistic protocol verification.
Dragomir D. DimitrijevicMon-Song ChenPublished in: IEEE Trans. Commun. (1992)
Keyphrases
- cryptographic protocols
- formal analysis
- model checker
- protocol specification
- probabilistic model
- model checking
- colored petri nets
- lightweight
- data driven
- uncertain data
- probabilistic reasoning
- formal methods
- generative model
- probabilistic logic
- bayesian networks
- face verification
- genetic algorithm
- asynchronous circuits
- verification method
- functional verification
- neural network
- coloured petri nets
- application layer
- communication protocol
- signature verification
- iterative procedure
- probability theory
- belief networks
- temporal logic
- conditional probabilities
- information theoretic
- digital libraries