检查程序指令是否已经由便携式终端设备执行的方法

摘要

本发明涉及用于检查程序指令（13）是否已经由终端设备（1）执行的方法和系统。出于此目的，终端设备请求程序指令（13），其中该程序指令（13）已经以可执行形式存储在可信任实体（3）中，特别是芯片卡中。接着，以使得修改的程序指令在方法的每次执行时改变的方式，可变地修改可信任实体（3）中的程序指令（13）。通过在终端设备（1）中执行指令，获得测试值（9a），其又被传输到可信任实体（3）并且在该可信任实体中验证。

主权项

一种用于检查程序指令(13)是否已经由终端设备(1)执行的方法，具有方法步骤：‑由终端设备(1)调用(6)所述程序指令(13)，所述程序指令(13)以可执行形式被存储在可信任实体(3)中；‑由可信任实体(3)可变地修改可执行程序指令(7)，从而修改的程序指令在所述方法的每次执行时变化；‑从所述可信任实体(3)传送修改的程序指令(8)到所述终端设备(1)；‑由所述终端设备(1)执行修改的程序指令(9)，通过执行修改的程序指令(9)而获得检查值(9a)；‑从所述终端设备(1)传送所获得的检查值(10)到所述可信任实体(3)；并且‑在所述可信任实体(3)中验证所获得的检查值(11)，用于检查所调用的程序指令(13)是否已经在所述终端设备(1)中执行。