Design And Implementation Of Testing System For Trusted Computing Platform

TCG Software Stack(TSS)and Trusted Platform Module (TPM), as the core software and hardware in the trusted computing technology, compose the trust basis of the trusted computing platform, which could effectively improve the security of information system. Along with the development of the Trusted Computing, more and more manufacturers have released products that claim completely compliant with specifications. Considering the importance of trusted computing platform, it is an urgent problem to construct the testing system.Through the research on existing testing method of trusted computing platform components, a dynamic test system for trusted computing platform is designed and completed. Take TSS as the test entry, the TSS, TPM and trusted chain are given a synthetic test. The system is composed of test case generating sub-system, test case injection sub-system and test result monitor sub-system. The main content of the dissertation are explained as follows:1. Study the general description method for the test case, according to the specifications and the static analyzing result, the original restriction of the parameter is obtained, then the original test suite generation method.2. A code trace tracking method based on branch trace store is given to trace the code track. Along with the static analyzing result, the trace data visualization and binary code recovery analyzing is realized. A notation method for taint attribute based on the data weight is proposed, which could further refine the relationship between the instructions and the input data.3. A rapid delimitation algorithm for test cases sequences based on binary backtracking search is proposed, which could reappear the errors triggered by test cased sequences and accurately locate the test case or sub sequence.4. Pointing at the shortage of the existing trusted computing test schemes, a scheme of integrated test for TSS, TPM and trusted chain is given and also the testing system infrastructure, which makes a prototype testing system.Through the dynamic tests on two trusted computing platforms, some functional unconformities were found. After the analysis with the test result, it is validated that this testing system poses good testing ability to find the functional inconformity in trusted computing platform component, also it could be used to perform dynamic trace tracking and coverage analysis towards other binary code.