7Matthew Barrett. Towards an open trusted computing framework [M. S. dissertation]. University of Auckland, Auckland, 2005
8Bruschi Danilo, Cavallaro Lorenzo, Lanzi Andrea, Monga Mattia. Replay attack in TCG specification and solution// Proceedings of the 21th Annual Computer Security Application Conference (ACSAC). Tucson, AZ, USA, 2005: 127- 137
9Sadeghi Ahmad Reza, Selhorst Marcel, Stuble Christian,Wachsmann Christian, Winandy Marcel. TCG Inside?-A note on TPM specification compliance//Proceedings of the 1st ACM Workshop on Scalable Trusted Computing (STC' 06). Virginia, USA, 2006:1-10
10Fujiwara S, Bochmann G V, Khendek F, Amalou M, Ghedamsi A. Test selection based on finite state models. IEEE Transactions on Software Engineering, 1991, 17(6): 591- 603
