Liang Gu Xuhua Ding Robert H. Deng Yanzhen Zou Bing Xie Weizhong Shao Hong Mei Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect. 2347-2353 2008 ICYCS http://dx.doi.org/10.1109/ICYCS.2008.349 conf/icycs/2008 db/conf/icycs/icycs2008.html#GuDDZXSM08