A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats.

Stylianos Basagiannis Panagiotis Katsaros Andrew Pombortsis Nikolaos Alexiou A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. 12-19 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.48 conf/compsac/2008 db/conf/compsac/compsac2008.html#BasagiannisKPA08