Searching for "Detecting Malicious Code by Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Detecting malicious code by model checking
by Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Technische Universität München — 2005 — Proceedings of the 2nd International Conference on Intrusion and Malware Detection and Vulnerability Assessment (DIMVA’05), volume 3548 of Lecture Notes in Computer Science
…Detecting Malicious Code by Model Checking Johannes Kinder, Stefan Katzenbeisser, Christian…
Cited by 12 (4 self) – Add To MetaCart

Detecting Malicious Code by Model Checking Johannes Kinder, Stefan Katzenbeisser, Christian
by unknown authors
… Detecting Malicious Code by Model Checking Johannes Kinder, Stefan Katzenbeisser, Christian…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB