Dissertation > Excellent graduate degree dissertation topics show

Research on Detection Techniques of Instruction-triggered Hardware Trojan Horse

Author: GaoHongBo
Tutor: LiQingBao
School: PLA Information Engineering University
Course: Computer Software and Theory
Keywords: Hardware Trojan Horse Trojan Model Model Checking Abstract Interpretation Interval Analysis
CLC: TP309
Type: PhD thesis
Year: 2013
Downloads: 10
Quote: 0
Read: Download Dissertation

Abstract


In the current information age, the information security is of great importance. However, thepresent situation of information security is unsatisfactory, and the attacking technologies emergein an endless stream. Especially hardware Trojan has become a new serious threat to informationsecurity. Being different from traditional malware, hardware Trojan closely depends on systeminfrastructure, which has stronger concealment and destructiveness. Thus, it is critical to carryout the research on detection techniques of hardware Trojan horse. The research on detectiontechniques of hardware Trojan horse has great significance in both theory and practice.With the study object of instruction-triggered hardware Trojan horse, the main works andcreations are as follows:1. Instruction-triggered hardware Trojan model is constructed. On the basis of classicalThimbleby Trojan model, hardware Trojan model is constructed combined with characteristics ofhardware Trojan. The analysis of instruction-triggered hardware Trojan is emphasized in thisdissertation. Then based on hardware Trojan model, the model of instruction-triggered hardwareTrojan is proposed.2. An instruction-triggered hardware Trojan detection technology is proposed. According toinstruction-triggered hardware Trojan model, the instruction-triggered hardware Trojan detectiontechnology based on instruction sequence covering is proposed. By traversing every instructionof firmware and having real-time monitoring on circuit behaviors, whether there is a hardwareTrojan or not could be judged. Model checking traverses all system states in order to find out theillegal behavior, which is in accordance with the thought of hardware Trojan detection based oninstruction sequence covering, and is suitable for the detection on instruction-triggered hardwareTrojan horse. Therefore, the instruction-triggered hardware Trojan detection technology based onmodel checking is proposed. The model generation algorithm and the method to extractproperties which will be validated are presented. Experimental results show thatinstruction-triggered hardware Trojan could be effectively found by the detection technologyproposed in this dissertation.3. The binary variable interval analysis method based on abstract interpretation is proposed.Combined with characteristics of firmware binary code, the binary variable interval abstractdomain is defined based on the theory of abstract interpretation, which is divided into word-leveldata interval domain and bit-level data interval domain. Interval arithmetic methods under thetwo kinds of interval abstract domain are presented. Conversion algorithms between the two kinds of variable interval domain are proposed. It is demonstrated by experiments that the binaryinterval analysis method based on abstract interpretation can effectively and accuratelydetermine the interval scope of binary variables.4. The state reduction technology based on sensitive location identification is proposed. Inthe process of detection using model checking, the state explosion is inevitable. In order toovercome this problem, the sensitive variable and the sensitive location are defined based oncharacteristics of firmware. The state reduction technology based on recognition of sensitivelocation is proposed. To improve the recognition efficiency, the sensitive location recognitionmethod combined with the subprocess abstract information is presented. The experimentalresults indicate that this technology can effectively reduce the state scale and relief the stateexplosion problem.

Related Dissertations

  1. Research and Implement on Static Malware Detection System Based on Program Semantics,TP393.08
  2. Interval Fuzzy Random Finite Element Reliability Analysis of Structures,TU311.2
  3. Travel Demand Forecasting under Interval Uncertainty,U491.14
  4. Research on Processor’s Analytical Model of Performance,TP332
  5. Interval Arithmetic and Its Applications in Inequality Proving,O242.29
  6. Interval Algorithms for Solving Nonlinear Interval Equation and Min-max Problem,O242.29
  7. Research on Power Flow Analysis Method for Wind Farms,TM614
  8. Temporal Logic Model Checking Based on Behavior Research and Application,TP311.52
  9. Temporal Logic Property Verification for SystemC Designs,TP311.52
  10. The Application Study on Formalism of Multi-Party Non-repudiation Protocols on SVO Logic,TP393.08
  11. SPIN protocol based on formal analysis and verification,TP393.04
  12. Research on the Methods for Detecting Mismatch of Web Services Based on Bounded Model Checking,TP311.52
  13. HMIPv6 Formal Verification Research Based on Color Petri Nets,TN929.5
  14. Verification of Rules in Spatial Access Control Systems Through Model Checking,TP393.08
  15. The Application of Model Checking in Configuration,TP301.1
  16. The State Space Analysis and Model Checking for a Class of Round-Based Distributed Algorithms,TP338.8
  17. Process Modeling and Verification of Service Oriented Architecture,TP311.52
  18. Fault Location Research Based on Model Checking,TP311.52
  19. Empirical Study of Service Quality of Software Technical Support,F407.672
  20. Research of System Security Verification Technology Combined with Testing,TP311.52
  21. Research on Verification of Web Service Composition Based on XYZ/ADL,TP393.09

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