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