Probabilistic fuzzy timed protocol verification.
Chung-Ming HuangJenq-Muh HsuShiun-Wei LeePublished in: Comput. Commun. (1996)
Keyphrases
- colored petri nets
- cryptographic protocols
- petri net
- fuzzy sets
- protocol specification
- fuzzy logic
- probabilistic model
- formal analysis
- model checking
- verification method
- fuzzy rules
- membership functions
- bayesian reasoning
- network protocols
- fuzzy set theory
- model checker
- formal proof
- fuzzy numbers
- lightweight
- digital libraries
- fuzzy systems
- generative model
- formal verification
- probabilistic logic
- face verification
- communication protocols
- asynchronous circuits
- fuzzy controller
- formal specification
- uncertain data
- posterior probability
- finite state machines
- fuzzy neural network