METHOD AND DEVICE FOR AUTOMATIC VALIDATION OF A COMPUTER PROGRAM USING CRYPTOGRAPHY FUNCTIONS

摘要

The invention relates to a method for automatic validation of a computer program which can access a secure memory and a non-secure memory, said program using at least one coding function and at least one de-coding function. The inventive method comprises a verification step (E340) during which verification occurs to ensure that the 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.