Proactive Detection of Computer Worms Using Model Checking
2010
Files
Details
Title
Proactive Detection of Computer Worms Using Model Checking
Author(s)
Kinder, Johannes ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut
Published in
IEEE Transactions on Dependable and Secure Computing
Volume
7
Issue
4
Pages
424-438
Date
2010
ISSN
1545-5971
Keywords
Laboratories
IIF
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > IIF - Institute of Core Computing Science
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published
Record creation date
2011-07-13