policy_module(mta,1.0)

########################################
#
# Declarations
#

type etc_aliases_t;
files_type(etc_aliases_t)

type etc_mail_t;
files_type(etc_mail_t)

attribute mailserver_domain;

type mqueue_spool_t;
files_type(mqueue_spool_t)

type mail_spool_t;
files_type(mail_spool_t)

type sendmail_exec_t;
files_type(sendmail_exec_t)

type system_mail_t; #, user_mail_domain
domain_type(system_mail_t)
role system_r types system_mail_t;

ifdef(`targeted_policy',`',`
	optional_policy(`sendmail.te',`
		domain_entry_file(system_mail_t,sendmail_exec_t)
	',`
		init_system_domain(system_mail_t,sendmail_exec_t)
	')
')

########################################
#
# System mail local policy
#

allow system_mail_t self:capability { setuid setgid chown };
allow system_mail_t self:process { signal_perms setrlimit };

allow system_mail_t self:tcp_socket create_socket_perms;

# re-exec itself
can_exec(system_mail_t, sendmail_exec_t)
allow system_mail_t sendmail_exec_t:lnk_file r_file_perms;

kernel_read_kernel_sysctl(system_mail_t)
kernel_read_system_state(system_mail_t)
kernel_read_network_state(system_mail_t)

corenet_tcp_sendrecv_all_if(system_mail_t)
corenet_raw_sendrecv_all_if(system_mail_t)
corenet_tcp_sendrecv_all_nodes(system_mail_t)
corenet_raw_sendrecv_all_nodes(system_mail_t)
corenet_tcp_bind_all_nodes(system_mail_t)
corenet_tcp_sendrecv_all_ports(system_mail_t)

dev_read_urand(system_mail_t)

fs_getattr_xattr_fs(system_mail_t)

init_use_script_pty(system_mail_t)

files_read_etc_runtime_files(system_mail_t)
files_read_etc_files(system_mail_t)
# It wants to check for nscd
files_dontaudit_search_pids(system_mail_t)

corecmd_exec_bin(system_mail_t)

libs_use_ld_so(system_mail_t)
libs_use_shared_libs(system_mail_t)

logging_send_syslog_msg(system_mail_t)

miscfiles_read_localization(system_mail_t)

sysnet_read_config(system_mail_t)

tunable_policy(`use_dns',`
	allow system_mail_t self:udp_socket create_socket_perms;
	corenet_udp_sendrecv_all_if(system_mail_t)
	corenet_udp_sendrecv_all_nodes(system_mail_t)
	corenet_udp_bind_all_nodes(system_mail_t)
	corenet_udp_sendrecv_dns_port(system_mail_t)
')

optional_policy(`nis.te',`
	nis_use_ypbind(system_mail_t)
')

optional_policy(`nscd.te',`
	nscd_use_socket(system_mail_t)
')

optional_policy(`procmail.te',`
	procmail_exec(system_mail_t)
')

ifdef(`TODO',`

optional_policy(`sendmail.te',`
	allow system_mail_t etc_mail_t:dir { getattr search };

	kernel_read_system_state(system_mail_t)

	fs_getattr_xattr_fs(system_mail_t)

	files_read_etc_runtime_files(system_mail_t)

	dontaudit system_mail_t proc_net_t:dir search;

	allow system_mail_t var_t:dir getattr;
	allow system_mail_t var_spool_t:dir getattr;
	dontaudit system_mail_t userpty_type:chr_file { getattr read write };

	# sendmail -q 
	allow system_mail_t mqueue_spool_t:dir rw_dir_perms;
	allow system_mail_t mqueue_spool_t:file create_file_perms;

	optional_policy(`crond.te', `
		dontaudit system_mail_t system_crond_tmp_t:file append;
	')
')

allow system_mail_t device_t:dir search;
allow system_mail_t { var_t var_spool_t }:dir search;
allow system_mail_t sbin_t:dir search;

# Transition from a system domain to the derived domain.
domain_auto_trans(privmail, sendmail_exec_t, system_mail_t)
allow privmail sendmail_exec_t:lnk_file { getattr read };

optional_policy(`crond.te',`
	# Read cron temporary files.
	allow system_mail_t system_crond_tmp_t:file r_file_perms;
	allow mta_user_agent system_crond_tmp_t:file r_file_perms;
')

ifdef(`qmail.te', `
	allow system_mail_t qmail_etc_t:dir search;
	allow system_mail_t qmail_etc_t:{ file lnk_file } read;
')

ifdef(`targeted_policy', `
	allow system_mail_t { var_t var_spool_t }:dir getattr;

	allow system_mail_t etc_mail_t:file r_file_perms;

	allow system_mail_t mail_spool_t:dir create_dir_perms;
	allow system_mail_t mail_spool_t:file create_file_perms;
	allow system_mail_t mail_spool_t:lnk_file create_lnk_perms;
	allow system_mail_t mail_spool_t:fifo_file rw_file_perms;

	allow system_mail_t mqueue_spool_t:dir create_dir_perms;
	allow system_mail_t mqueue_spool_t:file create_file_perms;
	allow system_mail_t mqueue_spool_t:lnk_file create_lnk_perms;

	optional_policy(`postfix.te',`',`
		corecmd_exec_bin(system_mail_t)
		corecmd_exec_sbin(system_mail_t)

		domain_exec_all_entry_files(system_mail_t)

		files_exec_etc_files(system_mail_t)

		libs_use_ld_so(system_mail_t)
		libs_use_shared_libs(system_mail_t)
		libs_exec_ld_so(system_mail_t)
		libs_exec_lib_files(system_mail_t)
	')
',`
	optional_policy(`sendmail.te', `
		# sendmail has an ugly design, the one process parses input from the user and
		# then does system things with it.
		domain_auto_trans(initrc_t, sendmail_exec_t, sendmail_t)
	')

	# allow the sysadmin to do "mail someone < /home/user/whatever"
	allow sysadm_mail_t user_home_dir_type:dir search;
	r_dir_file(sysadm_mail_t, user_home_type)
')

# for a mail server process that does things in response to a user command
allow mta_user_agent userdomain:process sigchld;
allow mta_user_agent { userdomain privfd }:fd use;
ifdef(`crond.te', `
allow mta_user_agent crond_t:process sigchld;
')
allow mta_user_agent sysadm_t:fifo_file { read write };

allow { system_mail_t mta_user_agent } privmail:fd use;
allow { system_mail_t mta_user_agent } privmail:process sigchld;
allow { system_mail_t mta_user_agent } privmail:fifo_file { read write };
allow { system_mail_t mta_user_agent } admin_tty_type:chr_file { read write };

ifdef(`arpwatch.te', `
# why is mail delivered to a directory of type arpwatch_data_t?
allow mta_delivery_agent arpwatch_data_t:dir search;
allow { system_mail_t mta_user_agent } arpwatch_tmp_t:file rw_file_perms;
ifdef(`hide_broken_symptoms', `
dontaudit { system_mail_t mta_user_agent } arpwatch_t:packet_socket { read write };
')
')dnl end if arpwatch.te

allow mta_delivery_agent home_root_t:dir { getattr search };

# for /var/spool/mail
ra_dir_create_file(mta_delivery_agent, mail_spool_t)

# for piping mail to a command
can_exec(mta_delivery_agent, shell_exec_t)
allow mta_delivery_agent bin_t:dir search;
allow mta_delivery_agent bin_t:lnk_file read;
allow mta_delivery_agent { etc_runtime_t proc_t }:file r_file_perms;

# Transition from a system domain to the derived domain.
domain_auto_trans(privmail, sendmail_exec_t, system_mail_t)
allow privmail sendmail_exec_t:lnk_file r_file_perms;

ifdef(`crond.te', `
# Read cron temporary files.
allow system_mail_t system_crond_tmp_t:file r_file_perms;
allow mta_user_agent system_crond_tmp_t:file r_file_perms;
')

optional_policy(`logrotate.te', `
	allow { system_mail_t mta_user_agent } logrotate_tmp_t:file r_file_perms;
')

') dnl end TODO