Login / Signup
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks.
Martín Ochoa
Sebastian Banescu
Cynthia Disenfeld
Gilles Barthe
Vijay Ganesh
Published in:
CoRR (2017)
Keyphrases
</>
defense mechanisms
ddos attacks
probabilistic knowledge
countermeasures
probabilistic model
probabilistic logic
uncertain data
spatial reasoning
security analysis
watermarking algorithm
data integration
generative model
formal theory
low cost
malicious attacks
malicious users
data model