Unlock instant, AI-driven research and patent intelligence for your innovation.

Hardware Assisted Control Structure Invariant Mining Method

A technology of control structure and hardware, applied in the fields of instrumentation, calculation, electrical and digital data processing, etc., can solve the problems of increased possibility of measurement methods, misjudgment or omission of measurement results, etc.

Active Publication Date: 2021-11-12
PLA STRATEGIC SUPPORT FORCE INFORMATION ENG UNIV PLA SSF IEU
View PDF6 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The present invention aims at the traditional control flow integrity measurement method, which usually takes the control transfer process caused by dynamic jump as the measurement object, which makes the target of the enemy’s attack clear, and the possibility of bypassing the measurement method increases, relying solely on a single control transfer as the measurement object, It will cause misjudgment or missed judgment in the measurement results. A hardware-assisted control structure invariant mining method is proposed to check the integrity of the control flow of software operation from multiple angles, so as to implement more accurate and comprehensive judgments.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Hardware Assisted Control Structure Invariant Mining Method
  • Hardware Assisted Control Structure Invariant Mining Method
  • Hardware Assisted Control Structure Invariant Mining Method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0052] For a better understanding of the present invention, some nouns appearing in the present invention are explained:

[0053] Control transfer: When the processor executes instructions, it executes the instructions sequentially, but once it encounters a jump instruction such as JMP, it will jump to another location to continue execution. This process is control transfer.

[0054] Static jump: refers to the destination address of the jump, which is fixed when the instruction is written and will not change when the software is running. As long as the instruction does not change, the destination address of the static jump cannot be tampered with.

[0055] Dynamic jump: refers to the destination address of the jump, which is not fixed when the instruction is written, but is determined according to the actual situation during the running process. Since the jump destination address can only be determined before execution, the challenge of its integrity measurement is much highe...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention belongs to the technical field of software control flow integrity measurement, and discloses a hardware-assisted control structure invariant mining method, which includes the following steps: Step 1, using the two hardware characteristics of the Intel processor BTS and PMC to capture the running process of the target software The traces of software running in the software; step 2, excavating control structure invariants from the traces of software running, the control structure invariants refer to the laws that the software control flow satisfies. The present invention characterizes the integrity of software control flow from multiple angles, adopts Intel processor PMC and BTS hardware characteristics to collect software running traces, and adopts corresponding methods to mine valuable and regular control structure invariants for implementation More types of control flow integrity metrics.

Description

technical field [0001] The invention belongs to the technical field of software control flow integrity measurement, in particular to a hardware-assisted control structure invariant mining method. Background technique [0002] The notion of control flow integrity in the strict sense is defined by M Abadi exist CCS Proposed at the 2005 conference (Abadi, Martín, Budiu M , Erlingsson, úlfar, et al. Control-flow integrity principles, implementations, and applications[J]. CCS, 2005.), which means that software follows a predetermined control flow graph (CFG) run. According to the definition of control flow integrity, it is not practical to implement integrity measurement for software control flow. As the scale of the software system becomes larger and larger, its control flow graph is very complex, and it is neither realistic nor possible to check each control transfer instruction one by one. [0003] In view of the above problems, the existing control flow integrity measur...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F21/56
CPCG06F21/566
Inventor 周洪伟原锦辉张玉臣汪永伟胡浩
Owner PLA STRATEGIC SUPPORT FORCE INFORMATION ENG UNIV PLA SSF IEU
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com