Data processing method
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. 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 or preventing analysis of a computer program, the method comprising:
translating an operation of the computer program into a first data processing net;
performing a composition of at least a second data processing net, the first data processing net, and a third data processing net to form a composite, wherein at least one of the second data processing net and the third data processing net comprise a cryptological component, the cryptological component being configured to interface with secure hardware included in a computer system executing the computer program to receive cryptographic information; and
replacing, in the computer program, the operation with an implementation of the composite to yield a protected version of the computer program,
wherein the first data processing net, the second data processing net, and the third data processing net comprise sequential machines M Ω with optionally plural input channels and optionally plural output channels, C is a finite set of channels, Δ is a finite set of finite alphabets, γ: C→Δ, Ω=(C, Δ, γ) is a communication rule,
E Ω ={e|e ={( c,σ )|σεγ( c )Λ(( c,σ 1 )ε eΛ ( c,σ 2 )ε e=>σ 1 =σ 2 )}}∪{Ø}
is a set of input/output events and S is a finite set of states and
M
Ω
:
=
{
(
S
,
E
Ω
,
δ
,
β
,
s
0
)
|
δ
:
R
->
S
⋀
β
:
R
->
E
Ω
⋀
R
⋐
S
×
E
Ω
⋀
(
∀
[
(
s
,
x
)
,
y
]
∈
β
∀
(
c
x
,
σ
x
)
∈
x
∀
(
c
y
,
σ
y
)
∈
y
:
c
x
≠
c
y
)
⋀
s
0
∈
S
}
,
B with B ⊂ C is a set of internal synchronization channels and the composition comp B : M Ω n →2 MΩ of sequential machines is characterized by:
comp
B
:
=
{
(
(
K
1
,
…
,
K
n
)
,
K
~
)
|
(
K
1
,
…
,
K
n
)
=
(
(
S
1
,
E
Ω
,
δ
1
,
β
1
,
s
0
1
)
,
…
,
(
S
n
,
E
Ω
,
δ
n
,
β
n
,
s
0
n
)
)
⋀
∃
T
=
{
(
(
x
1
,
…
,
x
n
)
,
(
y
1
,
…
,
y
n
)
,
(
s
1
′
,
…
,
s
n
′
)
,
x
~
,
y
~
)
|
(
[
(
s
0
1
,
x
1
)
,
s
1
′
]
,
…
,
[
(
s
0
n
,
x
n
)
,
s
n
′
]
)
∈
δ
1
×
…
×
δ
n
⋀
(
[
(
s
0
1
,
x
1
)
,
y
1
]
,
…
,
[
(
s
0
n
,
x
n
)
,
y
n
]
)
∈
β
1
×
…
×
β
n
⋀
∃
H
z
=
⋃
i
∈
{
1
,
…
,
n
}
x
i
∃
H
y
=
⋃
i
∈
{
1
,
…
,
n
}
β
i
(
x
i
)
:
H
x
∈
E
Ω
⋀
H
y
∈
E
Ω
⋀
∀
(
c
,
σ
)
:
(
c
∈
B
⇔
(
c
,
σ
)
∈
H
x
⋂
H
y
)
⋀
x
~
=
H
x
\
H
y
⋀
y
~
=
H
y
\
H
x
}
∃
M
~
Ω
′
=
{
K
~
′
|
∃
(
(
x
1
,
…
,
x
n
)
,
(
y
1
,
…
,
y
n
)
,
(
s
1
′
,
…
,
s
n
′
)
,
x
~
,
y
~
)
∈
T
:
K
~
′
=
comp
B
(
[
(
S
1
,
E
Ω
,
δ
1
,
β
1
,
s
1
′
)
,
…
,
(
S
n
,
E
Ω
,
δ
n
,
β
n
,
s
n
′
)
]
)
}
:
K
~
=
(
S
~
,
E
Ω
,
δ
~
,
β
~
,
s
0
~
)
⋀
S
~
=
(
s
0
1
,
…
,
s
0
n
)
⋃
⋃
(
S
′
~
,
E
Ω
′
,
δ
′
~
,
β
′
~
,
s
0
′
~
)
∈
M
~
n
′
S
~
′
⋀
δ
~
=
{
[
(
(
s
0
1
,
…
,
s
0
n
)
,
x
~
)
,
(
s
1
′
,
…
,
s
n
′
)
]
|
(
(
x
1
,
…
,
x
n
)
,
(
y
1
,
…
,
y
n
)
,
(
s
1
′
,
…
,
s
n
′
)
,
x
~
,
y
~
)
∈
T
}
⋃
⋃
(
S
′
~
,
E
Ω
′
,
δ
′
~
,
β
′
~
,
s
0
′
~
)
∈
M
~
n
′
δ
~
′
⋀
β
~
=
{
[
(
(
s
0
1
,
…
,
s
0
n
)
,
x
~
)
,
y
~
]
|
(
(
x
1
,
…
,
x
n
)
,
(
y
1
,
…
,
y
n
)
,
(
s
1
′
,
…
,
s
n
′
)
,
x
~
,
y
~
)
∈
T
}
⋃
⋃
(
S
′
~
,
E
Ω
′
,
δ
′
~
,
β
′
~
,
s
0
′
~
)
∈
M
~
n
′
β
_
′
⋀
s
0
~
=
(
s
0
1
,
…
,
s
0
n
)
}
.
2. The method of claim 1 , wherein at least one output of the second data processing net is an input to the first data processing net, and at least one output of the first data processing net is an input to the third data processing net.
3. The method of claim 1 , wherein the cryptological component is randomly generated.
4. The method of claim 1 , wherein at least one of the data processing nets has more than one input.