|
Chris PeBenito |
e181fe |
# Copyright (C) 2005 Tresys Technology, LLC
|
|
Chris PeBenito |
e181fe |
|
|
Chris PeBenito |
b4cd15 |
########################################
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
# domain_make_base_domain(domain,[`optional'])
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
define(`domain_make_base_domain',`
|
|
Chris PeBenito |
b4cd15 |
requires_block_template(domain_make_base_domain_depend,$2)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
# mark as a domain
|
|
Chris PeBenito |
b4cd15 |
typeattribute $1 domain;
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
# allow the domain to read its /proc/pid entries
|
|
Chris PeBenito |
b4cd15 |
allow $1 self:dir { getattr search read };
|
|
Chris PeBenito |
b4cd15 |
allow $1 self:{ file lnk_file } { getattr read };
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
# allow $1 to create child processes in this domain
|
|
Chris PeBenito |
b4cd15 |
allow $1 self:process { fork sigchld };
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
define(`domain_make_base_domain_depend',`
|
|
Chris PeBenito |
b4cd15 |
attribute domain;
|
|
Chris PeBenito |
b4cd15 |
class dir { getattr search read };
|
|
Chris PeBenito |
b4cd15 |
class file { getattr read };
|
|
Chris PeBenito |
b4cd15 |
class lnk_file { getattr read };
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
########################################
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
# domain_make_domain(domain,[`optional'])
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
define(`domain_make_domain',`
|
|
Chris PeBenito |
b4cd15 |
requires_block_template(domain_make_domain_depend,$2)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
domain_make_base_domain($1,optional)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
files_read_root_dir($1,optional)
|
|
Chris PeBenito |
b4cd15 |
init_sigchld($1,optional)
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
define(`domain_make_domain_depend',`
|
|
Chris PeBenito |
b4cd15 |
domain_make_base_domain_depend
|
|
Chris PeBenito |
b4cd15 |
files_read_root_dir_depend
|
|
Chris PeBenito |
b4cd15 |
init_send_sigchld_depend
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
########################################
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
# domain_make_entrypoint_file(domain,entrypointfile,[`optional'])
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
define(`domain_make_entrypoint_file',`
|
|
Chris PeBenito |
b4cd15 |
requires_block_template(domain_make_entrypoint_file_depend,$3)
|
|
Chris PeBenito |
b4cd15 |
allow $1 $2:file entrypoint;
|
|
Chris PeBenito |
b4cd15 |
files_make_file($2,$3)
|
|
Chris PeBenito |
960373 |
typeattribute $1 entry_type;
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
define(`domain_make_entrypoint_file_depend',`
|
|
Chris PeBenito |
960373 |
attribute entry_type;
|
|
Chris PeBenito |
b4cd15 |
class file entrypoint;
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
########################################
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
219bcf |
# domain_make_init_domain(domain,entrypointfile,[`optional'])
|
|
Chris PeBenito |
219bcf |
#
|
|
Chris PeBenito |
219bcf |
define(`domain_make_init_domain',`
|
|
Chris PeBenito |
219bcf |
requires_block_template(domain_make_init_domain_depend,$3)
|
|
Chris PeBenito |
219bcf |
domain_make_domain($1,optional)
|
|
Chris PeBenito |
219bcf |
domain_make_entrypoint_file($1,$2,optional)
|
|
Chris PeBenito |
219bcf |
typeattribute $1 init_domain;
|
|
Chris PeBenito |
219bcf |
typeattribute $2 init_domain_entry;
|
|
Chris PeBenito |
219bcf |
role system_r types $1;
|
|
Chris PeBenito |
219bcf |
')
|
|
Chris PeBenito |
219bcf |
|
|
Chris PeBenito |
219bcf |
define(`domain_make_init_domain_depend',`
|
|
Chris PeBenito |
219bcf |
attribute init_domain, init_domain_entry;
|
|
Chris PeBenito |
219bcf |
role system_r;
|
|
Chris PeBenito |
219bcf |
domain_make_domain_depend
|
|
Chris PeBenito |
219bcf |
domain_make_entrypoint_file_depend
|
|
Chris PeBenito |
219bcf |
')
|
|
Chris PeBenito |
219bcf |
|
|
Chris PeBenito |
219bcf |
########################################
|
|
Chris PeBenito |
219bcf |
#
|
|
Chris PeBenito |
219bcf |
# domain_make_daemon_domain(domain,entrypointfile,[`optional'])
|
|
Chris PeBenito |
219bcf |
#
|
|
Chris PeBenito |
219bcf |
define(`domain_make_daemon_domain',`
|
|
Chris PeBenito |
219bcf |
requires_block_template(domain_make_daemon_domain_depend,$3)
|
|
Chris PeBenito |
219bcf |
domain_make_domain($1,optional)
|
|
Chris PeBenito |
219bcf |
domain_make_entrypoint_file($1,$2,optional)
|
|
Chris PeBenito |
219bcf |
typeattribute $1 daemon_domain;
|
|
Chris PeBenito |
219bcf |
typeattribute $2 daemon_domain_entry;
|
|
Chris PeBenito |
219bcf |
role system_r types $1;
|
|
Chris PeBenito |
219bcf |
')
|
|
Chris PeBenito |
219bcf |
|
|
Chris PeBenito |
219bcf |
define(`domain_make_daemon_domain_depend',`
|
|
Chris PeBenito |
219bcf |
attribute init_domain, init_domain_entry;
|
|
Chris PeBenito |
219bcf |
role system_r;
|
|
Chris PeBenito |
219bcf |
domain_make_domain_depend
|
|
Chris PeBenito |
219bcf |
domain_make_entrypoint_file_depend
|
|
Chris PeBenito |
219bcf |
')
|
|
Chris PeBenito |
219bcf |
|
|
Chris PeBenito |
219bcf |
########################################
|
|
Chris PeBenito |
219bcf |
#
|
|
Chris PeBenito |
8a0da1 |
# domain_make_file_descriptors_widely_inheritable(domain,[`optional'])
|
|
Chris PeBenito |
8a0da1 |
#
|
|
Chris PeBenito |
8a0da1 |
define(`domain_make_file_descriptors_widely_inheritable',`
|
|
Chris PeBenito |
8a0da1 |
requires_block_template(domain_make_file_descriptors_widely_inheritable_depend,$2)
|
|
Chris PeBenito |
8a0da1 |
typeattribute $1 privfd;
|
|
Chris PeBenito |
8a0da1 |
')
|
|
Chris PeBenito |
8a0da1 |
|
|
Chris PeBenito |
8a0da1 |
define(`domain_make_file_descriptors_widely_inheritable_depend',`
|
|
Chris PeBenito |
8a0da1 |
attribute privfd;
|
|
Chris PeBenito |
8a0da1 |
')
|
|
Chris PeBenito |
8a0da1 |
|
|
Chris PeBenito |
8a0da1 |
########################################
|
|
Chris PeBenito |
8a0da1 |
#
|
|
Chris PeBenito |
219bcf |
# domain_all_init_domains_transition(domain,[`optional'])
|
|
Chris PeBenito |
219bcf |
#
|
|
Chris PeBenito |
219bcf |
define(`domain_all_init_domains_transition',`
|
|
Chris PeBenito |
219bcf |
requires_block_template(domain_all_init_domains_transition_depend,$3)
|
|
Chris PeBenito |
219bcf |
allow $1 init_domain:process transition;
|
|
Chris PeBenito |
219bcf |
allow $1 init_domain_entry:file { getattr read execute };
|
|
Chris PeBenito |
b30304 |
dontaudit $1 daemon_domain:process { noatsecure siginh rlimitinh };
|
|
Chris PeBenito |
219bcf |
')
|
|
Chris PeBenito |
219bcf |
|
|
Chris PeBenito |
219bcf |
define(`domain_all_init_domains_transition_depend',`
|
|
Chris PeBenito |
219bcf |
attribute init_domain, init_domain_entry;
|
|
Chris PeBenito |
b30304 |
class process { transition noatsecure siginh rlimitinh };
|
|
Chris PeBenito |
219bcf |
class file { getattr read execute };
|
|
Chris PeBenito |
219bcf |
')
|
|
Chris PeBenito |
219bcf |
|
|
Chris PeBenito |
219bcf |
########################################
|
|
Chris PeBenito |
219bcf |
#
|
|
Chris PeBenito |
219bcf |
# domain_all_daemon_domains_transition(domain,[`optional'])
|
|
Chris PeBenito |
219bcf |
#
|
|
Chris PeBenito |
219bcf |
define(`domain_all_daemon_domains_transition',`
|
|
Chris PeBenito |
219bcf |
requires_block_template(domain_all_daemon_domains_transition_depend,$3)
|
|
Chris PeBenito |
219bcf |
allow $1 daemon_domain:process transition;
|
|
Chris PeBenito |
219bcf |
allow $1 daemon_domain_entry:file { getattr read execute };
|
|
Chris PeBenito |
b30304 |
allow init_domain $1:fd use;
|
|
Chris PeBenito |
bcd359 |
allow $1 daemon_domain:process { noatsecure siginh rlimitinh };
|
|
Chris PeBenito |
219bcf |
')
|
|
Chris PeBenito |
219bcf |
|
|
Chris PeBenito |
219bcf |
define(`domain_all_daemon_domains_transition_depend',`
|
|
Chris PeBenito |
219bcf |
attribute daemon_domain, daemon_domain_entry;
|
|
Chris PeBenito |
b30304 |
class process { transition noatsecure siginh rlimitinh };
|
|
Chris PeBenito |
219bcf |
class file { getattr read execute };
|
|
Chris PeBenito |
219bcf |
')
|
|
Chris PeBenito |
219bcf |
|
|
Chris PeBenito |
219bcf |
########################################
|
|
Chris PeBenito |
219bcf |
#
|
|
Chris PeBenito |
b4cd15 |
# domain_signal_all_domains(domain,[`optional'])
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
define(`domain_signal_all_domains',`
|
|
Chris PeBenito |
b4cd15 |
requires_block_template(domain_signal_all_domains_depend,$2)
|
|
Chris PeBenito |
b4cd15 |
allow $1 domain:process signal;
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
define(`domain_signal_all_domains_depend',`
|
|
Chris PeBenito |
b4cd15 |
attribute domain;
|
|
Chris PeBenito |
b4cd15 |
class process signal;
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
########################################
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
# domain_kill_all_domains(domain,[`optional'])
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
define(`domain_kill_all_domains',`
|
|
Chris PeBenito |
b4cd15 |
requires_block_template(domain_kill_all_domains_depend,$2)
|
|
Chris PeBenito |
b4cd15 |
allow $1 domain:process sigkill;
|
|
Chris PeBenito |
b4cd15 |
allow $1 self:capability kill;
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
define(`domain_kill_all_domains_depend',`
|
|
Chris PeBenito |
b4cd15 |
attribute domain;
|
|
Chris PeBenito |
b4cd15 |
class process sigkill;
|
|
Chris PeBenito |
b4cd15 |
class capability kill;
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
########################################
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
# domain_read_all_domains_process_state(domain,[`optional'])
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
define(`domain_read_all_domains_process_state',`
|
|
Chris PeBenito |
b4cd15 |
requires_block_template(domain_read_all_domains_process_state_depend,$2)
|
|
Chris PeBenito |
b4cd15 |
allow $1 domain:dir { getattr search read };
|
|
Chris PeBenito |
b4cd15 |
allow $1 domain:lnk_file { getattr read };
|
|
Chris PeBenito |
b4cd15 |
allow $1 domain:file { getattr read };
|
|
Chris PeBenito |
b4cd15 |
allow $1 domain:process { getattr getsession };
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
define(`domain_read_all_domains_process_state_depend',`
|
|
Chris PeBenito |
b4cd15 |
attribute domain;
|
|
Chris PeBenito |
b4cd15 |
class dir { getattr search read };
|
|
Chris PeBenito |
b4cd15 |
class lnk_file { getattr read };
|
|
Chris PeBenito |
b4cd15 |
class file { getattr read };
|
|
Chris PeBenito |
b4cd15 |
class process { getattr getsession };
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
960373 |
|
|
Chris PeBenito |
960373 |
########################################
|
|
Chris PeBenito |
960373 |
#
|
|
Chris PeBenito |
960373 |
# domain_execute_all_entrypoint_programs(domain,[`optional'])
|
|
Chris PeBenito |
960373 |
#
|
|
Chris PeBenito |
960373 |
define(`domain_execute_all_entrypoint_programs',`
|
|
Chris PeBenito |
960373 |
requires_block_template(domain_execute_all_entrypoint_programs_depend,$2)
|
|
Chris PeBenito |
960373 |
allow $1 entry_type:file { getattr read execute execute_no_trans };
|
|
Chris PeBenito |
960373 |
')
|
|
Chris PeBenito |
960373 |
|
|
Chris PeBenito |
960373 |
define(`domain_execute_all_entrypoint_programs_depend',`
|
|
Chris PeBenito |
960373 |
attribute entry_type;
|
|
Chris PeBenito |
960373 |
class file { getattr read execute execute_no_trans };
|
|
Chris PeBenito |
960373 |
')
|