Method and device for automatic validation of computer program using cryptography functions
AssigneeOberthur Card Systems SA
InventorsVincent Finkelstein, Fabrice Elisabeth
Life of this patent
Estimating the term…
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.
Claims21
A method of automatic validation of a computer program able to access secure memory (MS) and non-secure memory (MNS), the program using at least one encryption function (DES) and at least one decryption function (DES-1), comprising a verification step (E340) which verifies that:
- any function adapted to read data from said secure memory (MS) and to produce data in said non-secure memory (MNS) is an encryption function;
- and
- any data produced by said decryption function is stored in said secure memory (MS).
A device for validating a computer program adapted to access secure memory (MS) and nonsecure memory (MNS), the program using at least one encryption function (DES) and at least one decryption function (DES-1), comprising:
- a verifier program adapted to verify that:
- any function adapted to read data from said secure memory (MS) and to produce data in said nonsecure memory (MNS) is an encryption function;
- and
- any data produced by said decryption function is stored in said secure memory (MS).
Dependencies are inferred from the claim text.