Proactive Detection of Computer Worms Using Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Johannes Kinder' in GoogleThis author has not been identified. Look up 'Stefan Katzenbeisser' in GoogleThis author has not been identified. Look up 'Christian Schallhart' in GoogleThis author has not been identified. Look up 'Helmut Veith' in Google

runs on WebDSL