发明名称 |
VERIFICATION D'INTEGRITE D'UN PROGRAMME EXECUTE PAR UN CIRCUIT ELECTRONIQUE |
摘要 |
A method for checking the integrity of a program executed by an electronic circuit and including at least one conditional jump, wherein: a first value is updated for any instruction which does not correspond to a jump instruction; a second value is updated with the first value for each conditional jump instruction; and the second value is compared with a third value, calculated according to the performed conditional jumps.
|
申请公布号 |
FR2977342(A1) |
申请公布日期 |
2013.01.04 |
申请号 |
FR20110055874 |
申请日期 |
2011.06.30 |
申请人 |
PROTON WORLD INTERNATIONAL N.V. |
发明人 |
VAN ASSCHE GILLES;VAN KEER RONNY |
分类号 |
G06F11/30;G06F11/08;G06F11/14 |
主分类号 |
G06F11/30 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|