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

Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros, Anakreontas Mentis, Dimitris Gritzalis

Browse the full CRITIS paper archive.