Proactive Detection of Computer Worms Using Model Checking


Published in:
IEEE Transactions on Dependable and Secure Computing, 7, 4, 424-438
Year:
2010
ISSN:
1545-5971
Keywords:
Laboratories:




 Record created 2011-07-13, last modified 2018-01-28

External link:
Download fulltext
Postprint
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)