CONTROLLED PROGRAM EXECUTION BY A PORTABLE DATA CARRIER

摘要

The invention relates to a method for controlled program execution by a portable data carrier, wherein the state of a state counter (ZZ) is altered during the execution of each controlled section (36.x) of an executed program (30) in order to display the processing of said respective controlled section (36.x). When a jump instruction (42x) is executed, enabling one or more controlled sections (36.x) to be jumped, the state of the state counter (ZZ) is altered as if the jumped controlled sections (36.x) were executed and the state of the state counter (ZZ) is compared to at at least one test point (38) with at least one permissible value. A portable data carrier has corresponding features. The invention also offers reliable protection against manipulations on the portable data carrier and is suitable for use in the execution of complex programs. .