TU Darmstadt / ULB / TUbiblio

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

Lemos, Marcilio O. O. and Dantas, Yuri Gil and Fonseca, Iguatemi E. and Nigam, Vivek (2018):
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks.
In: Journal of Logical and Algebraic Methods in Programming, Elsevier, pp. 45-67, 94, ISSN 2352-2216,
[Article]

Item Type: Article
Erschienen: 2018
Creators: Lemos, Marcilio O. O. and Dantas, Yuri Gil and Fonseca, Iguatemi E. and Nigam, Vivek
Title: On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Language: English
Journal or Publication Title: Journal of Logical and Algebraic Methods in Programming
Volume: 94
Publisher: Elsevier
Uncontrolled Keywords: Engineering; E3
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
DFG-Collaborative Research Centres (incl. Transregio)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
Profile Areas
Profile Areas > Cybersecurity (CYSEC)
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1119: CROSSING – Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
Date Deposited: 07 Nov 2017 16:03
Identification Number: TUD-CS-2017-0272
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item