Prozess und System zur Überprüfung eines Computerprogramms auf einer Chipkarte

Details

Veröffentlichungs-Nr.

EP2782006

Aktenzeichen

EP13159893

Anmeldetag

19. März 2013

Veröffentlichung

13. Juni 2018

Erteilung

13. Juni 2018

Rechtsraum

EP

IPC

G06F21/57G06F11/36G06F9/445G06F21/77G06F8/60

Abstract

According to an aspect of the invention, a process for verifying a computer program on a smart card is conceived, the process comprising: identifying, within said computer program, one or more instruction sequences that have a single start point and one or more end points in the program flow; identifying, in each instruction sequence, one or more basic blocks that have a single start point and a single end point in the program flow; and verifying the instruction sequences by verifying each basic block identified in said instruction sequences.

Anmelder

Firma

NXP B.V.

Land

🇳🇱 Niederlande

Fachgebiete