www.prismmodelchecker.org
[BKPA08] S. Basagiannis, P. Katsaros, A. Pombortsis and N. Alexiou. A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. In Proc. 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC'08), pages 12-19, IEEE CS Press. 2008. [bib] http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=4591503&arnumber=4591526&count=285&index=22
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications