Patent ID: 8752163
Filing Date: 2014-06-10
Classification: G06F,H04L

Abstract:
1. A computer-implemented method for authorizing a program sequence (P) in particular of a computer program or a portion of a computer program comprising: a. using a computer processor to maintain data (T) of the program sequence (P) in various provided states (Z b. using a computer processor to maintain at least one instruction (F) of the program sequence (P) which accesses the data (T) in functionally equivalent implementations (F c. using a computer processor to transfer transfer data (D) within at least one authorization program sequence path (APP) of the program sequence (P) to an authorization component (A) which returns authorized information (AD) only when predefined conditions are present; d. using a computer processor, the authorized information (AD) changes the state of the data (T) into another of the provided states (Z e. forming a directed acyclic multigraph (G) using a computer processor by the set of the state indices ({0 , . . . , n}) and the multiset (M), and the multigraph (G) has the provided states (Z f. using a computer processor to call up the instruction (F) in the program sequence (P) when at least one output edge in the graph (G) exists for the instantaneous state (Z g. and wherein the computer processor uses the instruction (F) of the program sequence (P) in a mandatory authorization state (ZA) of the data (T) corresponding to a sink in the graph (G) only when