Abstract: A method for authorizing a program sequence provides, despite centralization and the associated high latency and optionally faulty communication, an undisturbed program sequence accompanied by protection of base functionalities. Data of the program sequence may be maintained in various provided states, and at least one instruction of the program sequence which accesses the data is maintained in different, functionally equivalent implementations. The set of the state indices of the provided states and the multiset form a directed acyclic (multi)graph, wherein the provided states form the nodes, and the implementations of the instruction form the edges and/or multiple edges, of the graph.

Abstract: The present invention relates to a method for authorizing a program sequence. Carrying out software authorization is basically known from the prior art, for example by inputting appropriate license keys, or in a recurring manner via challenge response protocols. Latency results in the program sequence when challenge response protocols are used. Furthermore, the use of external modules for the authorization represents a large outlay in materials, costs, and administrative effort. The object of the present invention, therefore, is to extend the known authorization methods in such a way that, despite centralization and the associated high latency and optionally faulty communication, an undisturbed program sequence is made possible, also with protection of base functionalities.