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
Article, Bibliographie

Item Type:	Article
Erschienen:	2018
Creators:	Lemos, Marcilio O. O. ; Dantas, Yuri Gil ; Fonseca, Iguatemi E. ; Nigam, Vivek
Type of entry:	Bibliographie
Title:	On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
Language:	English
Date:	2018
Publisher:	Elsevier
Journal or Publication Title:	Journal of Logical and Algebraic Methods in Programming
Volume of the journal:	94
Uncontrolled Keywords:	Engineering; E3
Identification Number:	TUD-CS-2017-0272
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
Last Modified:	18 Apr 2019 12:01
PPN:
Export:

Suche nach Titel in:	TUfind oder in Google

Send an inquiry

Send an inquiry

Options (only for editors)

Show editorial Details

Show editorial Details

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

Drucken |

Impressum |

Datenschutzerklärung