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