Publications
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
| Author | Lemos, Marcilio O. O.; Dantas, Yuri Gil; Fonseca, Iguatemi E.; Nigam, Vivek |
|---|---|
| Date | 2018 |
| Type | Journal Article |
| ISSN | 2352-2216 |
| In | Journal of Logical and Algebraic Methods in Programming, p.45-67 |
| Publisher | Elsevier |
| Partn | TUD-CS-2017-0272 |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/101606 |
