Formal Abstraction of Semantics for Detecting Malicious Code.

Jingbo Zhang Rongcai Zhao Jianmin Pang Wen Fu

Published in: CSSE (2) (2008)

Keyphrases

detecting malicious
detect malicious
source code
high level
static analysis
distributed systems