Probabilistic verification of hierarchical leader election protocol in dynamic systems.
Yu ZhouNvqi ZhouTingting HanJiayi GuWeigang WuPublished in: Frontiers Comput. Sci. (2018)
Keyphrases
- dynamic systems
- cryptographic protocols
- complex systems
- discrete event
- formal analysis
- qualitative reasoning
- consistency based diagnosis
- protocol specification
- model checking
- probabilistic model
- model checker
- dynamical systems
- bayesian networks
- state variables
- lightweight
- state estimation
- generative model
- linear time invariant
- ordinary differential equations
- formal verification
- authentication protocol
- qualitative models
- gaussian process latent variable models
- formal methods
- continuous variables