Trusted Computing Dynamic Attestation by Using Static Analysis Based Behavior Model

Current technology of trusted computing can not comply with the requirement of trusted behavior. One method for trusted computing dynamic attestation was proposed in this paper. This method uses the behavior model based on static analysis of binary code. One same source code may have several different binary versions, this paper proposed one method of building almost the same core function model for different binary versions. This paper also overcame the difficulty that some dynamic behaviors can not be obtained by static analysis. The paper also gave out some solutions of dynamic attestation for some complex programs, such as recursion program, library link program and multi threads program.