b43f464
## <summary>Mailman is for managing electronic mail discussion and e-newsletter lists</summary>
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	The template to define a mailmain domain.
1ec3d1a
## </summary>
b43f464
## <desc>
b43f464
##	

b43f464
##	This template creates a domain to be used for
b43f464
##	a new mailman daemon.
b43f464
##	

b43f464
## </desc>
b43f464
## <param name="userdomain_prefix">
1ec3d1a
##	<summary>
b43f464
##	The type of daemon to be used eg, cgi would give mailman_cgi_
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
b43f464
template(`mailman_domain_template', `
1f86dac
1f86dac
    ########################################
1f86dac
    #    
1f86dac
    # Declarations
1f86dac
    #            
1f86dac
Dominick Grift 7b53a1b
	type mailman_$1_t;
Dominick Grift 7b53a1b
	domain_type(mailman_$1_t)
b43f464
	type mailman_$1_exec_t;
b43f464
	domain_entry_file(mailman_$1_t, mailman_$1_exec_t)
1f86dac
	role system_r types mailman_$1_t;
b43f464
1ec3d1a
	type mailman_$1_tmp_t;
1ec3d1a
	files_tmp_file(mailman_$1_tmp_t)
1ec3d1a
1f86dac
    ####################################
1f86dac
    # 
1f86dac
    # Policy
1f86dac
    #            
1ec3d1a
1ec3d1a
	manage_dirs_pattern(mailman_$1_t, mailman_$1_tmp_t, mailman_$1_tmp_t)
1ec3d1a
	manage_files_pattern(mailman_$1_t, mailman_$1_tmp_t, mailman_$1_tmp_t)
1ec3d1a
	files_tmp_filetrans(mailman_$1_t, mailman_$1_tmp_t, { file dir })
1ec3d1a
1ec3d1a
	kernel_read_system_state(mailman_$1_t)
1ec3d1a
1f86dac
	corenet_all_recvfrom_unlabeled(mailman_$1_t)
1ec3d1a
	corenet_all_recvfrom_netlabel(mailman_$1_t)
1ec3d1a
	corenet_tcp_sendrecv_generic_if(mailman_$1_t)
1ec3d1a
	corenet_udp_sendrecv_generic_if(mailman_$1_t)
1ec3d1a
	corenet_raw_sendrecv_generic_if(mailman_$1_t)
1ec3d1a
	corenet_tcp_sendrecv_generic_node(mailman_$1_t)
1ec3d1a
	corenet_udp_sendrecv_generic_node(mailman_$1_t)
1ec3d1a
	corenet_raw_sendrecv_generic_node(mailman_$1_t)
1ec3d1a
	corenet_tcp_sendrecv_all_ports(mailman_$1_t)
1ec3d1a
	corenet_udp_sendrecv_all_ports(mailman_$1_t)
1ec3d1a
	corenet_tcp_bind_generic_node(mailman_$1_t)
1ec3d1a
	corenet_udp_bind_generic_node(mailman_$1_t)
1ec3d1a
	corenet_tcp_connect_smtp_port(mailman_$1_t)
1ec3d1a
	corenet_sendrecv_smtp_client_packets(mailman_$1_t)
1ec3d1a
1ec3d1a
	auth_use_nsswitch(mailman_$1_t)
1ec3d1a
1ec3d1a
	logging_send_syslog_msg(mailman_$1_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute mailman in the mailman domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_mail_exec_t, mailman_mail_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	domtrans_pattern($1, mailman_mail_exec_t, mailman_mail_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(`mailman_run',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_mail_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	mailman_domtrans($1)
1ec3d1a
	role $2 types mailman_mail_t;
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute mailman CGI scripts in the 
1ec3d1a
##	mailman CGI domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_domtrans_cgi',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_cgi_exec_t, mailman_cgi_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	domtrans_pattern($1, mailman_cgi_exec_t, mailman_cgi_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute mailman in the caller domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowd access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_exec',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_mail_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	can_exec($1, mailman_mail_exec_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Send generic signals to the mailman cgi domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_signal_cgi',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_cgi_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 mailman_cgi_t:process signal;
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Allow domain to search data directories.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_search_data',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_data_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 mailman_data_t:dir search_dir_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Allow domain to to read mailman data files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_read_data_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_data_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	list_dirs_pattern($1, mailman_data_t, mailman_data_t)
1ec3d1a
	read_files_pattern($1, mailman_data_t, mailman_data_t)
1ec3d1a
	read_lnk_files_pattern($1, mailman_data_t, mailman_data_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Allow domain to to create mailman data files
b43f464
##	and write the directory.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_manage_data_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_data_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	manage_dirs_pattern($1, mailman_data_t, mailman_data_t)
1ec3d1a
	manage_files_pattern($1, mailman_data_t, mailman_data_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	List the contents of mailman data directories.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_list_data',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_data_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 mailman_data_t:dir list_dir_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Allow read acces to mailman data symbolic links.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_read_data_symlinks',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_data_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	read_lnk_files_pattern($1, mailman_data_t, mailman_data_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Read mailman logs.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_read_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	read_files_pattern($1, mailman_log_t, mailman_log_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Append to mailman logs.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_append_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	append_files_pattern($1, mailman_log_t, mailman_log_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Create, read, write, and delete
b43f464
##	mailman logs.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_manage_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	manage_files_pattern($1, mailman_log_t, mailman_log_t)
1ec3d1a
	manage_lnk_files_pattern($1, mailman_log_t, mailman_log_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Allow domain to read mailman archive files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_read_archive',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_archive_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 mailman_archive_t:dir list_dir_perms;
1ec3d1a
	read_files_pattern($1, mailman_archive_t, mailman_archive_t)
1ec3d1a
	read_lnk_files_pattern($1, mailman_archive_t, mailman_archive_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
b43f464
##	Execute mailman_queue in the mailman_queue domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`mailman_domtrans_queue',`
1ec3d1a
	gen_require(`
1ec3d1a
		type mailman_queue_exec_t, mailman_queue_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	domtrans_pattern($1, mailman_queue_exec_t, mailman_queue_t)
1ec3d1a
')