发明名称 |
Process and System for Verifying Computer Program on a Smart Card |
摘要 |
According to an aspect of the invention, a process for verifying a computer program on a smart card is conceived, the process comprising: identifying, within said computer program, one or more instruction sequences that have a single start point and one or more end points in the program flow; identifying, in each instruction sequence, one or more basic blocks that have a single start point and a single end point in the program flow; and verifying the instruction sequences by verifying each basic block identified in said instruction sequences. |
申请公布号 |
US2014289565(A1) |
申请公布日期 |
2014.09.25 |
申请号 |
US201414188147 |
申请日期 |
2014.02.24 |
申请人 |
NXP B.V. |
发明人 |
Berlach Reinhard;Loinig Johannes;Haselsteiner Ernst |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
1. A process for verifying a computer program on a smart card, the process comprising:
identifying, within said computer program, one or more instruction sequences that have a single start point and one or more end points in the program flow; identifying, in each instruction sequence, one or more basic blocks that have a single start point and a single end point in the program flow; verifying the instruction sequences by verifying each basic block identified in said instruction sequences. |
地址 |
EINDHOVEN NL |