Login / Signup
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks.
Martín Ochoa
Sebastian Banescu
Cynthia Disenfeld
Gilles Barthe
Vijay Ganesh
Published in:
EuroS&P (2017)
Keyphrases
</>
defense mechanisms
ddos attacks
countermeasures
security analysis
bayesian networks
qualitative reasoning
probabilistic knowledge
probabilistic model
probabilistic logic
belief networks
real time
intrusion detection
conditional probabilities
watermarking scheme
formal theory