Model checking obfuscated binary malicious code
CHEN Chao,LI Jun,KONG De-guang,SHUAI Jian-mei
Computer Engineering and Applications . 2008, (15): 61 -64 .