Login / Signup
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol.
Musab AlTurki
José Meseguer
Carl A. Gunter
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
probabilistic modeling
formal analysis
probabilistic model
probability distribution
bayesian inference