ECFSM-Based Probabilistic Protocol Verification.
Chung-Ming HuangJenq-Muh HsuShiun-Wei LeePublished in: Inf. Process. Lett. (1995)
Keyphrases
- cryptographic protocols
- formal analysis
- protocol specification
- model checker
- bayesian networks
- lightweight
- probabilistic model
- information theoretic
- face verification
- data driven
- formal verification
- generative model
- model checking
- multi party
- formal methods
- probabilistic logic
- communication protocol
- formal proof
- asynchronous circuits
- coloured petri nets
- communication protocols
- probabilistic reasoning
- belief networks
- sensor networks
- digital libraries