Self-Checking Tamper-Proofing Based on Software Behavior Model. - Dan Li 012; Yingsong Hu; Xiangxiao Hu; Hefei Ling (FCST, 2009)