4341 search results - page 2 / 869 » Quantitative Model checking |
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
104
Voted
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
85
Voted
FMSD
2000
15 years 1 months ago
2000
107
click to vote
COMPSAC
2008
IEEE
15 years 8 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...