Hardware Trojan detecting method based on circuit characteristic analysis

Abstract

The invention provides a hardware Trojan detecting method based on circuit characteristic analysis. The hardware Trojan detecting method includes steps of inputting a detected circuit and acquiring a high-level modeling file of the detected circuit; identifying functional modules in the detected circuit according to the high-level modeling file of the circuit to be detected so as to judge reliability of the functional modules, and marking the detected circuit when the functional modules are reliable; extracting classification features from the marked detected circuit, matching each type of hardware Trojan characteristics in a preset hardware Trojan circuit characteristic database and outputting characteristic analysis results of classes according to the matching results; comprehensively analyzing the characteristic analysis results of classes so as to obtain reliability information of the detected circuit. By the hardware Trojan detecting method, hardware Trojan detecting speed is effectively increased as well as discrimination degree of the detecting area of different types of hardware Trojan, and detection effect of hardware Trojan in the time sequencing circuit is effectively improved.

Description

technical field [0001] The invention relates to the technical field of computers and electronic information, in particular to a hardware Trojan horse detection method based on circuit feature analysis. Background technique [0002] The current integrated circuit chip can be composed of billions of transistors. In the process of chip design and manufacturing, if some malicious modules are implanted in the chip used or the third-party IP core, it will be difficult to check it out. As far as users are concerned, there will be uncontrolled security issues, leading to information leakage, chips being left behind, or abnormal chips failing, resulting in extremely serious consequences. This problem is the hardware security problem that people pay more and more attention to in recent years. Malicious circuits other than normal circuits are called "hardware Trojans". [0003] As the scale of System on Chip (SoC) becomes larger and the design cycle for chip products to be put into t...

AI Technical Summary

Problems solved by technology

[0005] However, the above method of analyzing combinational logic circuits suffers from several problems

The first is the complexity problem: analyzing combinational logic circuits leads to almost exponential computational complexity, which makes the detection time too long, reaching the order of tens of hours or even days

The second is the detection situation of hardware Trojans in sequential circuits: since the combinatorial logic circuit in sequential circuits is divided into scattered combinatorial logic circuit blocks by flip-flops, if a certain hardware Trojan consists of multiple combinatorial logic circuit blocks, the analysis of combinatorial logic The method cannot know which combinational logic circuit blocks should be combined, so it is difficult to detect such hardware Trojans

Images