Scalable Probabilistic Models for 802.11 Protocol Verification
Amitabha RoyK. GopinathPublished in: CoRR (2004)
Keyphrases
- probabilistic model
- cryptographic protocols
- protocol specification
- lightweight
- graphical models
- formal analysis
- model checker
- model checking
- formal verification
- conditional random fields
- generative model
- language model
- formal proof
- hidden variables
- bayesian inference
- latent variables
- expectation maximization
- coloured petri nets
- formal methods
- tcp ip
- probabilistic modeling
- web scale
- authentication protocol
- highly scalable
- face verification
- image segmentation
- communication protocol
- real time
- asynchronous circuits
- verification method
- colored petri nets
- peer to peer
- database systems