Probabilistic Verification of a Synchronous Round-Based Consensus Protocol.
Harpreet S. DuggalMichel CukierWilliam H. SandersPublished in: SRDS (1997)
Keyphrases
- cryptographic protocols
- formal analysis
- model checking
- model checker
- protocol specification
- probabilistic model
- formal proof
- generative model
- information theoretic
- uncertain data
- network protocols
- authentication protocol
- formal methods
- face verification
- real time
- bayesian networks
- posterior probability
- lightweight
- digital libraries
- verification method
- multi agent systems
- web services