Dissertation > Excellent graduate degree dissertation topics show

Design and Implementation of Reverse Analysis Platform for Trusted Computing Mechanism

Author: ZuoZengJie
Tutor: WangZhenYu
School: PLA Information Engineering University
Course: Computer System Architecture
Keywords: The TCG Software Stack Binary code Reverse analysis Abstract interpretation Intermediate representation Run-time environment analysis Data structure Restore
CLC: TP309
Type: Master's thesis
Year: 2010
Downloads: 45
Quote: 0
Read: Download Dissertation

Abstract


As defined by the Trusted Computing Group ( Trusted Computing Group , TCG ) software stack ( TCG Software Stack , TSS ) is a key component in the Trusted Platform is also a credible mechanism for the concrete realization of the operating system level , its performance can directly affect the letter of application and the whole trusted Platform security . In view of the important position of the TSS in the Trusted Platform , its reverse analysis and safety testing has great significance . Papers in the reverse analysis of executable code based on the research , combined with abstract interpretation of program analysis technology, design and implement a credible mechanism for TSS reverse analysis platform . Around a credible mechanism for reverse analysis platform , the main tasks accomplished as follows : 1. Aimed at in-depth understanding of a credible mechanism for the reverse analysis to provide guidance , establish a credible mechanism characterized on the basis of analysis of the the TSS function of the structure and hierarchy , library . (2) In order to reduce the complexity of the disassembly of the resulting , shield command system and its complex addressing modes , designed a way to meet the requirements of the semantic analysis and safety analysis results for the disassembly of the executable code , the intermediate language representation . 3 Based on the theory of abstract interpretation reverse analysis of executable program . Establish a the abstract domain under an X86 environment and defines the abstract semantics of the instruction in the domain , designed and implemented the program run-time environment analysis algorithm to automatically access code in the range of variables , data dependencies and memory access to information and other program attributes . Restore complex data structures difficult from the executable code , the the trusted function interface and instruction semantics - based data structure reduction methods to effectively improve the ability to identify data structure . Finally, the platform was tested , the results showed that : a credible mechanism reverse analysis platform can accurately two system code to the conversion of the intermediate language ; dependencies can complete extraction procedures , structural features , memory access program properties , control structure recovery and data structure recognition are stronger than the mainstream reverse analysis tools ; reached the safety of a credible system analysis, dynamic testing, and vulnerability data .

Related Dissertations

  1. Based on dynamic symbolic execution of code analysis tools for research,TP309
  2. Code Parse and Intermediate Language Translation Based on IDA,TP391.2
  3. The Research and Implementation on DRRAD System,TP309.7
  4. Automatic Generation and Optimization of Data Permutation Instructions for SIMD Devices,TP332
  5. Design and Implementation of Testing System for Trusted Computing Platform,TP311.53
  6. Research on Statement Recovery and Algorithm Recognition in Code Reverse Analysis,TP311.52
  7. Research on Technology of Reverse Analysis on Embedded Linux System,TP316.81
  8. Research on Reverse Locating of Key Functions in Windows Application,TP316.7
  9. Research on Instruction-level Tracing and Replaying Techniques of Executable Files in Windows,TP309
  10. Research on Function Model of Trusted Computing Mechanism in Vista,TP309
  11. Research on Key Technology of Binary Reverse Analysis for ARM Architecture,TP332
  12. Research on Structure and Technology of OLRDS,TN402
  13. Research on Performance of Drying Shrinkage of Cement-Based Materials Based on Inverseanalysis,TU528
  14. Research on Value Range Analysis Based on Abstract Interpretation,TP311.52
  15. Reactive power system mixed integer optimization problems precise method of continuous,TM744
  16. Static Analysis for a Class of Floating-point Range Constraint,TP311.1
  17. A Study of Authentication Technology of Trusted Terminal,TP393.08
  18. Determination of the Electromechanical Coupling Coefficients of Transeversely Isotropic Piezoelectric Thin Films by Nanoindentation,TB383.2
  19. Design of 12 Bits 80MHz Current Steering DAC,TN792
  20. Research and Analysis of Encrypted Network Software by Reverse Analysis,TN915.08

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > General issues > Security and confidentiality
© 2012 www.DissertationTopic.Net  Mobile