View in EDS

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
Description
ISSN:14332779
DOI:10.1007/s10009-013-0290-1