Dominick Grift 712d28f
## <summary>Mail transfer agent.</summary>
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute a domain transition to run exim.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
Chris PeBenito 9401ae1
## <summary>
Chris PeBenito 9401ae1
##	Domain allowed to transition.
Chris PeBenito 9401ae1
## </summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_t, exim_exec_t;
1ec3d1a
	')
1ec3d1a
Dominick Grift 712d28f
	corecmd_search_bin($1)
1ec3d1a
	domtrans_pattern($1, exim_exec_t, exim_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##     Execute the mailman program in the mailman domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##     <summary>
1ec3d1a
##     Domain allowed to transition.
1ec3d1a
##     </summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="role">
1ec3d1a
##     <summary>
1ec3d1a
##     The role to allow the mailman domain.
1ec3d1a
##     </summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`exim_run',`
1ec3d1a
       gen_require(`
1ec3d1a
               type exim_t;
1ec3d1a
       ')
1ec3d1a
1ec3d1a
       exim_domtrans($1)
1ec3d1a
       role $2 types exim_t;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute exim in the exim domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_initrc_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_initrc_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	init_labeled_script_domtrans($1, exim_initrc_exec_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Do not audit attempts to read, 
1ec3d1a
##	exim tmp files
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain to not audit.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_dontaudit_read_tmp_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_tmp_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	dontaudit $1 exim_tmp_t:file read_file_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Allow domain to read, exim tmp files
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_read_tmp_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_tmp_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 exim_tmp_t:file read_file_perms;
1ec3d1a
	files_search_tmp($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read exim PID files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_read_pid_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 exim_var_run_t:file read_file_perms;
1ec3d1a
	files_search_pids($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Allow the specified domain to read exim's log files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`exim_read_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	read_files_pattern($1, exim_log_t, exim_log_t)
1ec3d1a
	logging_search_logs($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Allow the specified domain to append
1ec3d1a
##	exim log files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
Chris PeBenito 9401ae1
## 	<summary>
Chris PeBenito 9401ae1
##	Domain allowed access.
Chris PeBenito 9401ae1
## 	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_append_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	append_files_pattern($1, exim_log_t, exim_log_t)
1ec3d1a
	logging_search_logs($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Allow the specified domain to manage exim's log files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`exim_manage_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	manage_files_pattern($1, exim_log_t, exim_log_t)
1ec3d1a
	logging_search_logs($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Create, read, write, and delete
1ec3d1a
##	exim spool dirs.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_manage_spool_dirs',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_spool_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	manage_dirs_pattern($1, exim_spool_t, exim_spool_t)
1ec3d1a
	files_search_spool($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read exim spool files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_read_spool_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_spool_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 exim_spool_t:file read_file_perms;
1ec3d1a
	allow $1 exim_spool_t:dir list_dir_perms;
1ec3d1a
	files_search_spool($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Create, read, write, and delete
1ec3d1a
##	exim spool files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_manage_spool_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_spool_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	manage_files_pattern($1, exim_spool_t, exim_spool_t)
1ec3d1a
	files_search_spool($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	All of the rules required to administrate
1ec3d1a
##	an exim environment.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="role">
1ec3d1a
##	<summary>
1ec3d1a
##	Role allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`exim_admin',`
1ec3d1a
	gen_require(`
1ec3d1a
		type exim_t, exim_initrc_exec_t, exim_log_t;
1ec3d1a
		type exim_tmp_t, exim_spool_t, exim_var_run_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 exim_t:process signal_perms;
1ec3d1a
	ps_process_pattern($1, exim_t)
Dominick Grift 712d28f
1ec3d1a
	tunable_policy(`deny_ptrace',`',`
1ec3d1a
		allow $1 exim_t:process ptrace;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	exim_initrc_domtrans($1)
1ec3d1a
	domain_system_change_exemption($1)
1ec3d1a
	role_transition $2 exim_initrc_exec_t system_r;
1ec3d1a
	allow $2 system_r;
1ec3d1a
Dominick Grift 712d28f
	files_search_spool($1)
1ec3d1a
	admin_pattern($1, exim_spool_t)
1ec3d1a
Dominick Grift 712d28f
	logging_search_logs($1)
Dominick Grift 712d28f
	admin_pattern($1, exim_log_t)
Dominick Grift 712d28f
Dominick Grift 712d28f
	files_search_pids($1)
1ec3d1a
	admin_pattern($1, exim_var_run_t)
Dominick Grift 712d28f
Dominick Grift 712d28f
	files_search_tmp($1)
Dominick Grift 712d28f
	admin_pattern($1, exim_tmp_t)
1ec3d1a
')