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 (2018)
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks.
In: Journal of Logical and Algebraic Methods in Programming, 94
Artikel, Bibliographie

Typ des Eintrags:	Artikel
Erschienen:	2018
Autor(en):	Lemos, Marcilio O. O. ; Dantas, Yuri Gil ; Fonseca, Iguatemi E. ; Nigam, Vivek
Art des Eintrags:	Bibliographie
Titel:	On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Sprache:	Englisch
Publikationsjahr:	2018
Verlag:	Elsevier
Titel der Zeitschrift, Zeitung oder Schriftenreihe:	Journal of Logical and Algebraic Methods in Programming
Jahrgang/Volume einer Zeitschrift:	94
Freie Schlagworte:	Engineering; E3
ID-Nummer:	TUD-CS-2017-0272
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) LOEWE LOEWE > LOEWE-Zentren LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy 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
Letzte Änderung:	18 Apr 2019 12:01
PPN:
Export:

Suche nach Titel in:	TUfind oder in Google

Frage zum Eintrag

Frage zum Eintrag

Optionen (nur für Redakteure)

Redaktionelle Details anzeigen

Redaktionelle Details anzeigen

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Datenschutzerklärung