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
ISSN2352-2216
InJournal of Logical and Algebraic Methods in Programming, p.45-67
PublisherElsevier
SchlüsselTUD-CS-2017-0272
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/101606

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