Method for processing data
Method for processing data, in which a Petri net is encoded, written into a memory and read and executed by at least one instance, wherein transitions of the Petri net read from at least one tape and/or write on at least one tape symbols or symbol strings, with the aid of at least one head. [FIG. 1 ]. In an alternative, data-processing, co-operating nets are composed, the composition result is encoded, written into a memory and read and executed from the memory by at least one instance. In doing this, components can have cryptological functions. The data-processing nets can receive and process second data from a cryptological function which is executed in a protected manner. The invention enables processing of data which prevents semantic analysis of laid-open, possibly few processing steps and which can produce a linkage of the processing steps with a hardware which is difficult to isolate.
1. A computer-implemented method for obstructing analysis of a computer program, the method comprising:
translating a first operation of the computer program into a first Petri net;
performing a composition of at least a second Petri net and the first Petri net to form a first composite, the second Petri net comprising a function configured to interface with secure hardware included in a computer system executing the computer program to receive randomly generated cryptographic information, the input and output behavior of the first composite being based, at least in part, on the input and output behavior of the first Petri net and the second Petri net;
translating a second operation of the computer program into a third Petri net;
performing a composition of at least a fourth Petri net and the third Petri net to form a second composite; and
replacing, in the computer program, the first operation with an implementation of the first composite and the second operation with an implementation of the second composite to yield a protected version of the computer program,
wherein at least one of the first Petri net, the second Petri net, the third Petri net, and the fourth Petri net comprise a sequential machine having one or more input channels, one or more output channels, and one or more internal synchronization channels.
2. The method of claim 1 , wherein the second Petri net comprises a cryptological function.
3. The method of claim 2 , wherein the cryptological function is configured to interface with the secure hardware included in the computer system executing the computer program to receive the randomly generated cryptographic information.
4. The method of claim 1 , wherein performing the composition to form the first composite further comprises performing a composition of at least the second Petri net, the first Petri net, and a fifth Petri net to form the first composite.
5. The method of claim 4 , wherein the fifth Petri net comprises a cryptological function.
6. The method of claim 5 , wherein at least one output of the second Petri net is an input to the first Petri net, and at least one output of the first Petri net is an input to the fifth Petri net.
7. The method of claim 1 , wherein the fourth Petri net comprises a cryptological function.
8. The method of claim 1 , wherein the cryptological function is configured to interface with the secure hardware included in the computer system executing the computer program to receive the randomly generated cryptographic information.
9. The method of claim 1 , wherein at least one of the first Petri net, the second Petri net, the third Petri net, and the fourth Petri net has more than one input.
10. The method of claim 1 , wherein at least one of the first Petri net, the second Petri net, the third Petri net, and the fourth Petri net has more than one output.
11. The method of claim 1 wherein at least one of the first Petri net, the second Petri net, the third Petri net, and the fourth Petri net comprises a watermarking component.
12. The method of claim 1 , wherein at least one of the first Petri net, the second Petri net, the third Petri net, and the fourth Petri net comprises a component configured to deflate compressed data.