Publikationen

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

AutorLemos, Marcilio O. O.; Dantas, Yuri Gil; Fonseca, Iguatemi E.; Nigam, Vivek
Datum2018
ArtJournal Article
KonferenzProceedings of the Journal of Logical and Algebraic Methods in Programming (JLAMP)
InProceedings of the Journal of Logical and Algebraic Methods in Programming (JLAMP), p.45-67
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/103448

Cyber­security-Konferenzen

zur Übersicht

Aus- und Weiterbildung

Informieren Sie sich über die Aus- und Weiter­bildungs­angebote der in ATHENE mitwirkenden Institutionen

Mehr INFO