TU Darmstadt / ULB / TUbiblio

Proactive Detection of Computer Worms Using Model Checking

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

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:

Optionen (nur für Redakteure)

View Item View Item