首页>
外国专利>
Continuous run-time validation of program execution: a practical approach
Continuous run-time validation of program execution: a practical approach
展开▼
机译：程序执行的连续运行时验证：一种实用方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
Trustworthy systems require that code be validated as genuine. Most systems implement this requirement prior to execution by matching a cryptographic hash of the binary file against a reference hash value, leaving the code vulnerable to run time compromises, such as code injection, return and jump-oriented programming, and illegal linking of the code to compromised library functions. The Run-time Execution Validator (REV) validates, as the program executes, the control flow path and instructions executed along the control flow path. REV uses a signature cache integrated into the processor pipeline to perform live validation of executions, at basic block boundaries, and ensures that changes to the program state are not made by the instructions within a basic block until the control flow path into the basic block and the instructions within the basic block are both validated.
展开▼
