Method of verifying pseudo-code loaded in an embedded system, in particular a smart card
US7991953B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 14, 2006 |
| Grant date | Aug 2, 2011 |
| Priority date | — |
| Expiry date | Oct 22, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/44589
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The invention relates to a verification of applications in interpreted language of the byte-code type (pseudo-code) loaded on portable electronic devices, in particular a chipcard and a method for verification of an application (31) interpreted by a virtual machine (42), said application being loaded on a portable electronic device (1), comprising at least one processor (2) and one RAM (5). The method comprises carrying out the following after loading said application in the device and before validation thereof, checks in the code of said application by means of a process carried out by the processor (2), characterized in comprising, on starting a sub-program, a step of backing up the actual verification context (200 to 203) in the RAM (5), a step for creation and activation of a new verification context (206 to 209) for the sub-program and a step for restoration of the verification context (200 to 203) previously backed-up.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.