Probabilistic model checking for the quantification of DoS security threats

[BKPA09] S. Basagiannis, P. Katsaros, A. Pombortsis and N. Alexiou. Probabilistic model checking for the quantification of DoS security threats. Computers & Security, Elsevier. 2009. [bib]

Downloads: $bib$ bib

Links: [Google] [Google Scholar] [CiteSeer]

Publications