On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks

Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca +1

Telephony Denial of Service (TDoS) attacks target telephony services, such as Voice over IP (VoIP), not allowing legitimate users to make calls. There are few defenses that attempt…