基本信息:
- 专利标题： Method for verifying code transformer for system incorporated in ic card
- 专利标题（中）：用于验证IC卡中并入的系统的代码变换器的方法
- 申请号：JP2011206844 申请日：2011-09-22
- 公开(公告)号：JP2012027936A 公开(公告)日：2012-02-09
- 发明人： CHRISTIAN GAWHAR , JONATHAN THOMAS , FLADO PASCAL , DANIEL LE METAYER , YVAIN DONNAY
- 申请人： Cp8 Technologies , セー・ペー・8・テクノロジーズ
- 专利权人： Cp8 Technologies,セー・ペー・8・テクノロジーズ
- 当前专利权人： Cp8 Technologies,セー・ペー・８・テクノロジーズ
- 优先权： FR9908460 1999-07-01
- 主分类号： G06F9/44
- IPC分类号： G06F9/44 ; G06K19/07 ; G06F9/445 ; G06F9/45 ; G06F11/28 ; G06F11/36 ; G06F21/22 ; G06K17/00
摘要：
PROBLEM TO BE SOLVED: To provide a method for verifying a transformer of a source code into a transformed code, designed for an incorporated system (7).SOLUTION: The method comprises at least steps of: determining a single virtual machine factoring the behavior of two codes (1) and ( 3); determining, for each of a source code (1) and a transformed code (3), a plurality of auxiliary functions representing resident differences between the source code (1) and the transformed code (3); and verifying appropriateness of correspondence between the auxiliary functions. A code transformer verification (2) results from the last step. This invention is particularly applicable to IC cards (7).
摘要（中）：
要解决的问题：提供一种用于将源代码的变压器验证为针对并入的系统（7）设计的变换代码的方法。 解决方案：该方法至少包括以下步骤：确定分解两个代码（1）和（3）的行为的单个虚拟机; 为源代码（1）和变换代码（3）中的每一个确定表示源代码（1）和变换代码（3）之间驻留差异的多个辅助函数; 并验证辅助功能之间的对应关系。 代码转换器验证（2）来自最后一步。 本发明特别适用于IC卡（7）。 版权所有（C）2012，JPO＆INPIT
信息查询:
EspacenetIPC结构图谱:
| G | 物理 |
| --G06 | 计算；推算；计数 |
| ----G06F | 电数字数据处理 |
| ------G06F9/00 | 电数字数据处理的控制单元 |
| --------G06F9/06 | .应用存入的程序的，即应用处理设备的内部存储来接收程序并保持程序的 |
| ----------G06F9/44 | ..用于执行专门程序的装置 |