G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 9/45 (2006.01) G06F 9/445 (2006.01)
Patent
CA 2342322
The invention relates to a method for verifying a transformer of a source code into a transformed code designed for an embedded system (7). The method comprises at least the following steps: determining a single virtual machine that factors in the behavior of both of these codes (1, 3), determining for each of said source (1) and transformed (3) codes a plurality of so-called auxiliary functions representing the residual differences between said source (1) and transformed (3) codes, and a step consisting of verifying a correspondence property between the auxiliary functions, the verification of the code transformer (2) being obtained from this last step. It particularly applies to chip cards (7).
L'invention concerne un procédé de vérification d'un transformateur de code source en un code transformé destiné à un système embarqué (7). Le procédé comprend au moins les étapes de détermination d'une machine virtuelle unique factorisant le comportement de ces deux codes (1, 3), la détermination, pour chacun desdits codes source (1) et transformé (3), d'une pluralité de fonctions dites auxiliaires représentant des différences résiduelles entre lesdits codes source (1) et transformé (3) et une étape consistant à vérifier une propriété de correspondance entre les fonctions auxiliaires, la vérification du transformateur de code (2) étant obtenue à partir de cette dernière étape. Application notamment aux cartes à puce (7).
Denney Ewen
Fradet Pascal
Goire Christian
Jensen Thomas
Le Metayer Daniel
Bull Cp8
Centre National de La Recherche Scientifique
Cp8 Technologies
Goudreau Gage Dubuc
Institut National de La Recherche En Informatique Et En Automati
LandOfFree
Method for verifying code transformers for an embedded... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for verifying code transformers for an embedded..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for verifying code transformers for an embedded... will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1762821