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 |
Drucken
Impressum