Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith. Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Sec. Comput., 7(4):424-438, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.