Pushdown model checking for malware detection.

Saved in:
Bibliographic Details
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!
You must be logged in first