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