Invention Grant
US07882396B2 Method for controlling program execution integrity by verifying execution trace prints
有权
通过验证执行跟踪打印来控制程序执行完整性的方法
- Patent Title: Method for controlling program execution integrity by verifying execution trace prints
- Patent Title (中): 通过验证执行跟踪打印来控制程序执行完整性的方法
-
Application No.: US10585140Application Date: 2004-12-16
-
Publication No.: US07882396B2Publication Date: 2011-02-01
- Inventor: Dominique Bolignano , Xavier Leroy , Renaud Marlet
- Applicant: Dominique Bolignano , Xavier Leroy , Renaud Marlet
- Applicant Address: FR Versailles
- Assignee: Trusted Logic
- Current Assignee: Trusted Logic
- Current Assignee Address: FR Versailles
- Agency: Browdy and Neimark, PLLC
- Priority: FR0315633 20031231
- International Application: PCT/FR2004/003273 WO 20041216
- International Announcement: WO2005/073859 WO 20050811
- Main IPC: G06F11/00
- IPC: G06F11/00
Abstract:
The inventive method for controlling a program execution integrity by verifying execution trace prints consists in updating the representative print of an execution path and/or data applied for a program execution, comparing the actual print value (dynamically calculated to an expected value (statistically fixed, equal to a value of the print if the program execution is not disturbed) at a determined program spots and in carrying out a particular processing by the program when the actual print differs from the expected value.
Public/Granted literature
- US20100070804A1 Method for controlling program execution integrity by verifying execution trace Prints Public/Granted day:2010-03-18
Information query
