PPP (P3): an Estelle-based probabilistic partial protocol verification system.
Chung-Ming HuangJenq-Muh HsuPublished in: Comput. Commun. (2000)
Keyphrases
- cryptographic protocols
- protocol specification
- model checking
- formal analysis
- model checker
- coloured petri nets
- formal verification
- bayesian networks
- uncertain data
- lightweight
- probabilistic logic
- signature verification
- data driven
- database
- probabilistic reasoning
- authentication protocol
- generative model
- probabilistic model
- colored petri nets
- network protocols
- formal proof
- wireless sensor networks