A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats | IEEE Conference Publication | IEEE Xplore