Algebra-Based Behavior Identification of Trojan Horse. - Aihua Peng; Lansheng Han; Yanan Yu; Nan Du; Mingquan Li (CSS, 2013)