TU Darmstadt / ULB / TUbiblio

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

Lemos, Marcilio O. O. ; Dantas, Yuri Gil ; Fonseca, Iguatemi E. ; Nigam, Vivek :
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks.
In: Journal of Logical and Algebraic Methods in Programming
[Artikel] , (2017)

Typ des Eintrags: Artikel
Erschienen: 2017
Autor(en): Lemos, Marcilio O. O. ; Dantas, Yuri Gil ; Fonseca, Iguatemi E. ; Nigam, Vivek
Titel: On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Journal of Logical and Algebraic Methods in Programming
Freie Schlagworte: Engineering;E3
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS)
DFG-Sonderforschungsbereiche (inkl. Transregio)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche
Profilbereiche
Profilbereiche > Cybersicherheit (CYSEC)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
Hinterlegungsdatum: 07 Nov 2017 16:03
ID-Nummer: TUD-CS-2017-0272
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen