Pushdown model checking for malware detection.
Saved in:
| Title: | Pushdown model checking for malware detection. |
|---|---|
| Authors: | Song, Fu1, fsong@sei.ecnu.edu.cn, Touili, Tayssir2, touili@liafa.univ-paris-diderot.fr |
| Source: | International Journal on Software Tools for Technology Transfer; Apr2014, Vol. 16 Issue 2, p147-173, 27p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!