Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection

Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros, Anakreontas Mentis, Dimitris Gritzalis. Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. In Bernhard M. Hämmerli, Nils Kalstad Svendsen, Javier Lopez, editors, Critical Information Infrastructures Security - 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers. Volume 7722 of Lecture Notes in Computer Science, pages 143-154, Springer, 2012. [doi]

Authors

Emmanouela Stachtiari

This author has not been identified. Look up 'Emmanouela Stachtiari' in Google

Yannis Soupionis

This author has not been identified. Look up 'Yannis Soupionis' in Google

Panagiotis Katsaros

This author has not been identified. Look up 'Panagiotis Katsaros' in Google

Anakreontas Mentis

This author has not been identified. Look up 'Anakreontas Mentis' in Google

Dimitris Gritzalis

This author has not been identified. Look up 'Dimitris Gritzalis' in Google