1ec3d1a
## <summary>Ethernet activity monitor.</summary>
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute arpwatch server in the arpwatch domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`arpwatch_initrc_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type arpwatch_initrc_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	init_labeled_script_domtrans($1, arpwatch_initrc_exec_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Search arpwatch's data file directories.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`arpwatch_search_data',`
1ec3d1a
	gen_require(`
1ec3d1a
		type arpwatch_data_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	allow $1 arpwatch_data_t:dir search_dir_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Create arpwatch data files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`arpwatch_manage_data_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type arpwatch_data_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	manage_files_pattern($1, arpwatch_data_t, arpwatch_data_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read and write arpwatch temporary files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`arpwatch_rw_tmp_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type arpwatch_tmp_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_tmp($1)
1ec3d1a
	allow $1 arpwatch_tmp_t:file rw_file_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read and write arpwatch temporary files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`arpwatch_manage_tmp_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type arpwatch_tmp_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_tmp($1)
1ec3d1a
	allow $1 arpwatch_tmp_t:file manage_file_perms;
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Do not audit attempts to read and write
1ec3d1a
##	arpwatch packet sockets.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain to not audit.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`arpwatch_dontaudit_rw_packet_sockets',`
1ec3d1a
	gen_require(`
1ec3d1a
		type arpwatch_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	dontaudit $1 arpwatch_t:packet_socket { read write };
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute arpwatch server in the arpwatch domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`arpwatch_systemctl',`
1ec3d1a
	gen_require(`
1ec3d1a
		type arpwatch_t;
1ec3d1a
		type arpwatch_unit_file_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	systemd_exec_systemctl($1)
1ec3d1a
	allow $1 arpwatch_unit_file_t:file read_file_perms;
1ec3d1a
	allow $1 arpwatch_unit_file_t:service manage_service_perms;
1ec3d1a
1ec3d1a
	ps_process_pattern($1, arpwatch_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	All of the rules required to administrate 
1ec3d1a
##	an arpwatch 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 arpwatch domain.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`arpwatch_admin',`
1ec3d1a
	gen_require(`
1ec3d1a
		type arpwatch_t, arpwatch_tmp_t;
1ec3d1a
		type arpwatch_data_t, arpwatch_var_run_t;
1ec3d1a
		type arpwatch_initrc_exec_t;
1ec3d1a
		type arpwatch_unit_file_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 arpwatch_t:process signal_perms;
1ec3d1a
	ps_process_pattern($1, arpwatch_t)
1ec3d1a
1ec3d1a
	tunable_policy(`deny_ptrace',`',`
1ec3d1a
		allow $1 arpwatch_t:process ptrace;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	arpwatch_initrc_domtrans($1)
1ec3d1a
	domain_system_change_exemption($1)
1ec3d1a
	role_transition $2 arpwatch_initrc_exec_t system_r;
1ec3d1a
	allow $2 system_r;
1ec3d1a
1ec3d1a
	files_list_tmp($1)
1ec3d1a
	admin_pattern($1, arpwatch_tmp_t)
1ec3d1a
1ec3d1a
	files_list_var($1)
1ec3d1a
	admin_pattern($1, arpwatch_data_t)
1ec3d1a
1ec3d1a
	files_list_pids($1)
1ec3d1a
	admin_pattern($1, arpwatch_var_run_t)
1ec3d1a
1ec3d1a
	arpwatch_systemctl($1)
1ec3d1a
	admin_pattern($1, arpwatch_unit_file_t)
1ec3d1a
	allow $1 arpwatch_unit_file_t:service all_service_perms;
1ec3d1a
')