fix assertions for framework

This commit is contained in:
Chris PeBenito 2005-07-18 20:17:21 +00:00
parent a5f339f134
commit 391edeb577
2 changed files with 12 additions and 3 deletions

View File

@ -26,6 +26,14 @@ interface(`domain_base_domain_type',`
# allow $1 to create child processes in this domain
allow $1 self:process { fork sigchld };
# Files with domain types are currently only proc files
# self is excepted since domains and files can have
# the same type in SEFramework
# cjp: perhaps this should be a conditional exception,
# so it is excepted only on SEFramework policies
neverallow $1 { domain -$1 }:dir ~r_dir_perms;
neverallow $1 { domain -$1 }:file_class_set ~rw_file_perms;
')
########################################

View File

@ -32,6 +32,7 @@ neverallow domain ~domain:process { transition dyntransition };
# dynamic transition, you should not be using it!!!
neverallow { domain -set_curr_context } self:process setcurrent;
# Files with domain types are currently only proc files
neverallow * domain:dir ~r_dir_perms;
neverallow * domain:file_class_set ~rw_file_perms;
# TODO:
# cjp: also need to except correctly for SEFramework
#neverallow { domain unlabeled_t } file_type:process *;
#neverallow ~{ domain unlabeled_t } *:process *;