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 :
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks.
In: Journal of Logical and Algebraic Methods in Programming, 94 pp. 45-67. ISSN 2352-2216
[Article] , (2018)

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: Department of Computer Science
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:

Optionen (nur für Redakteure)

View Item View Item