Trusted computing dynamic attestation using a static analysis based behaviour model

Tong Li,Yang Lin,Xueyuan Kong,Yue Yu,Fajiang Yu
2011-01-01
Abstract:Current technology in trusted computing cannot comply with the requirement of trusted behaviour. One method for trusted computing dynamic attestation is proposed in this paper. This method uses a behaviour model based on the static analysis of binary code. One same source code may have several different binary versions, therefore one method is proposed for building almost the same core function model for different binary versions. This research also overcame the difficulty where some dynamic behaviours could not be obtained by static analysis. The paper also provides solutions for dynamic attestation of some complex programs, such as recursion, library link and multi threads programs.
What problem does this paper attempt to address?