专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US07882396B2 Method for controlling program execution integrity by verifying execution trace prints 有权
标题翻译：通过验证执行跟踪打印来控制程序执行完整性的方法
公开(公告)号：US07882396B2
公开(公告)日：2011-02-01
申请号：US10585140
申请日：2004-12-16
申请人： Dominique Bolignano , Xavier Leroy , Renaud Marlet
发明人： Dominique Bolignano , Xavier Leroy , Renaud Marlet
IPC分类号： G06F11/00
CPC分类号： G06F11/28
摘要： 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.
摘要翻译：用于通过验证执行跟踪打印来控制程序执行完整性的本发明的方法在于更新执行路径的代表性打印和/或应用于程序执行的数据，将实际打印值（动态计算为预期值（统计上固定的，如果程序执行不受干扰则等于打印的值），并且当实际打印与期望值不同时，执行程序的特定处理。

2. 发明申请

US20100070804A1 Method for controlling program execution integrity by verifying execution trace Prints 有权
标题翻译：通过验证执行跟踪来控制程序执行完整性的方法打印
公开(公告)号：US20100070804A1
公开(公告)日：2010-03-18
申请号：US10585140
申请日：2004-12-16
申请人： Dominique Bolignano , Xavier Leroy , Renaud Marlet
发明人： Dominique Bolignano , Xavier Leroy , Renaud Marlet
IPC分类号： G06F11/28
CPC分类号： G06F11/28
摘要： 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.
摘要翻译：用于通过验证执行跟踪打印来控制程序执行完整性的本发明的方法在于更新执行路径的代表性打印和/或应用于程序执行的数据，将实际打印值（动态计算为预期值（统计上固定的，如果程序执行不受干扰则等于打印的值），并且当实际打印与期望值不同时，执行程序的特定处理。

3. 发明授权

US08321668B2 Control of data access by dynamically verifying legal references 有权
标题翻译：通过动态验证法律参考来控制数据访问
公开(公告)号：US08321668B2
公开(公告)日：2012-11-27
申请号：US10585097
申请日：2004-12-16
申请人： Xavier Leroy , Patrice Hameau , Nicolas Regnault , Renaud Marlet
发明人： Xavier Leroy , Patrice Hameau , Nicolas Regnault , Renaud Marlet
IPC分类号： H04L29/06
CPC分类号： G06F21/6281 , G06F21/54
摘要： The inventive method for controlling access to data which is used by reference in a program execution system (including processes and aims) during the program execution consists in memorising by the system the totality of references obtainable by said program with the aid of means considered legal, before any operation which can be prohibited if it relates to values which are not legal references, in verifying by the system whether said values are amongst the legal references memorized for the program and in accepting or rejecting the operation, respectively.
摘要翻译：用于控制在程序执行系统中通过参考使用的数据访问的创造性方法（包括过程和目标）在于该程序执行期间，借助于被认为合法的手段来记住所述程序可获得的全部参考文献，在任何可能被禁止的行为，如果涉及不合法参考的价值观，则在系统核实所述价值是否分别记录在计划的法定参考书籍中，并接受或拒绝该操作。

4. 发明申请

US20070168313A1 Control of data access by dynamically verifying legal references 有权
标题翻译：通过动态验证法律参考来控制数据访问
公开(公告)号：US20070168313A1
公开(公告)日：2007-07-19
申请号：US10585097
申请日：2004-12-16
申请人： Xavier Leroy , Patrice Hameau , Nicolas Regnault , Renaud Marlet
发明人： Xavier Leroy , Patrice Hameau , Nicolas Regnault , Renaud Marlet
IPC分类号： G06F17/30
CPC分类号： G06F21/6281 , G06F21/54
摘要： The inventive method for controlling access to data which is used by reference in a program execution system (including processes and aims) during the program execution consists in memorising by the system the totality of references obtainable by said program with the aid of means considered legal, before any operation which can be prohibited if it relates to values which are not legal references, in verifying by the system whether said values are amongst the legal references memorised for the program and in accepting or rejecting the operation, respectively.
摘要翻译：用于控制在程序执行系统中通过参考使用的数据访问的创造性方法（包括过程和目标）在于该程序执行期间，借助于被认为合法的手段来记住所述程序可获得的全部参考文献，在任何可能被禁止的行为，如果涉及不合法参考的价值观，则在系统核实所述价值是否分别记录在计划的法定参考书籍中，并接受或拒绝该操作。

5. 发明授权

US07827534B2 Method for determining operational characteristics of a program 有权
标题翻译：确定程序运行特性的方法
公开(公告)号：US07827534B2
公开(公告)日：2010-11-02
申请号：US10585101
申请日：2004-12-27
申请人： Eric Vetillard , Renaud Marlet
发明人： Eric Vetillard , Renaud Marlet
IPC分类号： G06F9/45
CPC分类号： G06F11/3608
摘要： The inventive method for determining operational characteristics of a program includes a verification procedure involving the following stages: the first stage for expressing the operational characteristics of the program in the form of functions related to events producible during possible executions of the program, a second stage for simultaneously estimating, by program analysis, the program structure, the possible ways of execution and values used at different program points and the third stage for determining said characteristics by calculating associated functions by means of information extracted with the aid of the analysis.
摘要翻译：用于确定节目的操作特征的本发明的方法包括包括以下阶段的验证过程：用于以与在节目可能执行期间产生的事件有关的功能的形式来表达节目的操作特征的第一阶段，第二阶段通过程序分析，同时通过程序结构，可能的执行方式和在不同程序点使用的值进行估计，第三阶段通过借助于分析提取的信息计算相关函数来确定所述特征。

6. 发明授权

US07467376B2 Semantic analysis based compression of interpreted code by replacing object instruction groups with special instruction specifying a register representing the object 有权
标题翻译：通过用指定表示对象的寄存器的特殊指令替换对象指令组的语义分析压缩解释代码
公开(公告)号：US07467376B2
公开(公告)日：2008-12-16
申请号：US10484849
申请日：2002-07-22
申请人： Daniel Le Metayer , Renaud Marlet , Arnaud Venet , Alexandre Frey
发明人： Daniel Le Metayer , Renaud Marlet , Arnaud Venet , Alexandre Frey
IPC分类号： G06F9/45
CPC分类号： G06F8/4434
摘要： The invention concerns a method for compressing program code for execution in a system with few physical resources. This method comprises a semantic analysis of the code as to identify the objects accessed at each program point and to replace in this program groups of instructions used to access the objects by more compact specialised instructions.
摘要翻译：本发明涉及一种用于压缩程序代码以在具有少量物理资源的系统中执行的方法。该方法包括代码的语义分析以识别在每个程序点处访问的对象，并且在该程序中替换用于通过更紧凑的专门指令访问对象的指令组。

7. 发明授权

US07565646B2 Method for compression of object code interpreted by tree-structured expression factorization 有权
标题翻译：通过树结构化表示因式分解解释的对象代码的压缩方法
公开(公告)号：US07565646B2
公开(公告)日：2009-07-21
申请号：US10485600
申请日：2002-07-23
申请人： Daniel Le Metayer , Renaud Marlet , Arnaud Venet , Alexandre Frey
发明人： Daniel Le Metayer , Renaud Marlet , Arnaud Venet , Alexandre Frey
IPC分类号： G06F9/45
CPC分类号： G06F8/4434
摘要： A method for compressing an interpreted object code in a system using an interpreter, by identifying, in the interpreted object-coded program, similar non-contiguous groups of instructions, of arbitrarily complex structure, by replacing all or part of said groups in the interpreted object code of the program with newly-created specialized instructions and by instrumenting the interpreter and/or the interpreted object code of the program so as to render it capable of implementing the newly-created instructions.
摘要翻译：一种用于使用解释器来压缩系统中的解释对象代码的方法，通过在所解释的对象编码程序中通过将所解释的所有组中的全部或部分组替换为任意复杂结构中的所有或部分所述组来识别相似的非连续组的指令，通过新创建的专门指令以及通过对程序的解释器和/或解释的目标代码进行测试，以便使其能够实现新创建的指令，程序的目标代码。

8. 发明申请

US20070168987A1 Method for determining operational characteristics of a program 有权
标题翻译：确定程序运行特性的方法
公开(公告)号：US20070168987A1
公开(公告)日：2007-07-19
申请号：US10585101
申请日：2004-12-27
申请人： Eric Vetillard , Renaud Marlet
发明人： Eric Vetillard , Renaud Marlet
IPC分类号： G06F9/44
CPC分类号： G06F11/3608
摘要： The inventive method for determining operational characteristics of a program includes a verification procedure involving the following stages: the first stage for expressing the operational characteristics of the program in the form of functions related to events producible during possible executions of the program, a second stage for simultaneously estimating, by program analysis, the program structure, the possible ways of execution and values used at different program points and the third stage for determining said characteristics by calculating associated functions by means of information extracted with the aid of the analysis.
摘要翻译：用于确定节目的操作特征的本发明的方法包括包括以下阶段的验证过程：用于以与在节目可能执行期间产生的事件有关的功能的形式来表达节目的操作特征的第一阶段，第二阶段通过程序分析，同时通过程序结构，可能的执行方式和在不同程序点使用的值进行估计，第三阶段通过借助于分析提取的信息计算相关函数来确定所述特征。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式