Method and device for automatic validation of computer program using cryptography functions
US7627768B2 · kind B2 · utility
2Cited by
10References
21Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Mar 18, 2003 |
| Grant date | Dec 1, 2009 |
| Priority date | — |
| Expiry date | Sep 23, 2025 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG07F7/082
- WIPO fieldControl
- WIPO sectorInstruments
Abstract
A method for automatic validation of a computer program can access a secure memory and a non-secure memory, the program using at least one coding function and at least one de-coding function. The method includes a verification step (E340) during which verification occurs to ensure that each function which is adapted in order to read data from the secure memory and to produce data in the non-secure memory is a coding function and that all data produced by the coding function is stored in the secure memory.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.