Improved Probabilistic Models for 802.11 Protocol Verification.
Amitabha RoyK. GopinathPublished in: CAV (2005)
Keyphrases
- probabilistic model
- cryptographic protocols
- graphical models
- formal analysis
- protocol specification
- model checker
- generative model
- model checking
- formal proof
- colored petri nets
- formal verification
- lightweight
- sensor networks
- multi party
- formal methods
- data sets
- petri net
- application layer
- language model
- multi agent systems
- search engine