1ec3d1a
## <summary>Jabber instant messaging server</summary>
1ec3d1a
1ec3d1a
#####################################
1ec3d1a
## <summary>
1ec3d1a
##  Creates types and rules for a basic
1ec3d1a
##  jabber init daemon domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="prefix">
1ec3d1a
##  <summary>
1ec3d1a
##  Prefix for the domain.
1ec3d1a
##  </summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
template(`jabber_domain_template',`
1ec3d1a
    gen_require(`
1ec3d1a
        attribute jabberd_domain;
1ec3d1a
    ')
1ec3d1a
1ec3d1a
    ##############################
1ec3d1a
    #   
1ec3d1a
    #  $1_t declarations
1ec3d1a
    # 
1ec3d1a
1ec3d1a
    type $1_t, jabberd_domain;
1ec3d1a
    type $1_exec_t;
1ec3d1a
    init_daemon_domain($1_t, $1_exec_t)
1ec3d1a
1bafb67
	kernel_read_system_state($1_t)
1bafb67
6a213c4
    corenet_all_recvfrom_netlabel($1_t)
6a213c4
05b4f84
    logging_send_syslog_msg($1_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute a domain transition to run jabberd services
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`jabber_domtrans_jabberd',`
1ec3d1a
	gen_require(`
1ec3d1a
		type jabberd_t, jabberd_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	domtrans_pattern($1, jabberd_exec_t, jabberd_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
######################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute a domain transition to run jabberd router service
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`jabber_domtrans_jabberd_router',`
1ec3d1a
	gen_require(`
1ec3d1a
		type jabberd_router_t, jabberd_router_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	domtrans_pattern($1, jabberd_router_exec_t, jabberd_router_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Read jabberd lib files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`jabberd_read_lib_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type jabberd_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	read_files_pattern($1, jabberd_var_lib_t, jabberd_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Dontaudit inherited read jabberd lib files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain to not audit.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`jabberd_dontaudit_read_lib_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type jabberd_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	dontaudit $1 jabberd_var_lib_t:file read_inherited_file_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
#######################################
1ec3d1a
## <summary>
1ec3d1a
##	Create, read, write, and delete
1ec3d1a
##	jabberd lib files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`jabberd_manage_lib_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type jabberd_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	manage_files_pattern($1, jabberd_var_lib_t, jabberd_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	All of the rules required to administrate 
1ec3d1a
##	an jabber environment
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <param name="role">
1ec3d1a
##	<summary>
1ec3d1a
##	The role to be allowed to manage the jabber domain.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`jabber_admin',`
1ec3d1a
	gen_require(`
1ec3d1a
		type jabberd_t, jabberd_var_lib_t;
1ec3d1a
		type jabberd_initrc_exec_t, jabberd_router_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 jabberd_t:process signal_perms;
1ec3d1a
	ps_process_pattern($1, jabberd_t)
1ec3d1a
	tunable_policy(`deny_ptrace',`',`
1ec3d1a
		allow $1 jabberd_t:process ptrace;
1ec3d1a
		allow $1 jabberd_router_t:process ptrace;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 jabberd_router_t:process signal_perms;
1ec3d1a
	ps_process_pattern($1, jabberd_router_t)
1ec3d1a
1ec3d1a
	init_labeled_script_domtrans($1, jabberd_initrc_exec_t)
1ec3d1a
	domain_system_change_exemption($1)
1ec3d1a
	role_transition $2 jabberd_initrc_exec_t system_r;
1ec3d1a
	allow $2 system_r;
1ec3d1a
1ec3d1a
	files_list_var_lib($1)
1ec3d1a
	admin_pattern($1, jabberd_var_lib_t)
1ec3d1a
')