TU Darmstadt / ULB / TUbiblio

Proactive Detection of Computer Worms Using Model Checking

Kinder, J. ; Katzenbeisser, S. ; Schallhart, C. ; Veith, H. :
Proactive Detection of Computer Worms Using Model Checking.
In: IEEE Transactions on Dependable and Secure Computing
[Artikel] , (2010)

Typ des Eintrags: Artikel
Erschienen: 2010
Autor(en): Kinder, J. ; Katzenbeisser, S. ; Schallhart, C. ; Veith, H.
Titel: Proactive Detection of Computer Worms Using Model Checking
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: IEEE Transactions on Dependable and Secure Computing
Freie Schlagworte: Secure Services
Fachbereich(e)/-gebiet(e): LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Hinterlegungsdatum: 30 Dez 2016 20:23
ID-Nummer: TUD-CS-2010-0209
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen