Formal Abstraction of Semantics for Detecting Malicious Code

Jingbo Zhang, Rongcai Zhao, Jianmin Pang, Wen Fu. Formal Abstraction of Semantics for Detecting Malicious Code. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 350-353, IEEE Computer Society, 2008. [doi]

Authors

Jingbo Zhang

This author has not been identified. Look up 'Jingbo Zhang' in Google

Rongcai Zhao

This author has not been identified. Look up 'Rongcai Zhao' in Google

Jianmin Pang

This author has not been identified. Look up 'Jianmin Pang' in Google

Wen Fu

This author has not been identified. Look up 'Wen Fu' in Google