TU Darmstadt / ULB / TUbiblio

Proactive Detection of Computer Worms Using Model Checking

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

Item Type: Article
Erschienen: 2010
Creators: Kinder, J. and Katzenbeisser, S. and Schallhart, C. and Veith, H.
Title: Proactive Detection of Computer Worms Using Model Checking
Language: German
Journal or Publication Title: IEEE Transactions on Dependable and Secure Computing
Uncontrolled Keywords: Secure Services
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Date Deposited: 30 Dec 2016 20:23
Identification Number: TUD-CS-2010-0209
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item