@InProceedings{BKPA08, author={S. Basagiannis and P. Katsaros and A. Pombortsis and N. Alexiou}, title={A Probabilistic Attacker Model for Quantitative Verification of {DoS} Security Threats}, booktitle={Proc. 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC'08)}, year={2008}, editor={}, pages={12-19}, organization={}, publisher={IEEE CS Press}, series={}, volume={}, address={}, month={}, note={}, key={} }