5 lines
115 B
Plaintext
5 lines
115 B
Plaintext
|
# Mark process types as domains
|
||
|
|
attribute domain;
|
||
|
|
|
||
|
|
neverallow domain ~domain:process { transition dyntransition };
|