2 search results - page 1 / 1 » A Probabilistic Attacker Model for Quantitative Verification... |
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
ESORICS
2009
Springer
14 years 5 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...