TY  - RPRT
TI  - On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
AU  - Marcilio O. O. Lemos
AU  - Yuri Gil Dantas
AU  - Iguatemi E. Fonseca
AU  - Vivek Nigam
PY  - 2017
UR  - https://arxiv.org/abs/1709.04162
ID  - 1709.04162
ER  -