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 |
| Conference | Proceedings of the Journal of Logical and Algebraic Methods in Programming (JLAMP) |
| In | Proceedings of the Journal of Logical and Algebraic Methods in Programming (JLAMP), p.45-67 |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/103448 |
