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 |
Options (only for editors)
![]() |
Show editorial Details |