"On the accuracy of formal verification of selective defenses for TDoS attacks."

Marcilio O. O. Lemos et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics