Chris PeBenito 6d4dbd2
## <summary>Virtual host metrics daemon</summary>
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Execute a domain transition to run vhostmd.
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Dominick Grift dcf8746
##	<summary>
Chris PeBenito 6d4dbd2
##	Domain allowed to transition.
Dominick Grift dcf8746
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_domtrans',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_t, vhostmd_exec_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	domtrans_pattern($1, vhostmd_exec_t, vhostmd_t)
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Execute vhostmd server in the vhostmd domain.
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Dominick Grift 288845a
##	Domain allowed to transition.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_initrc_domtrans',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_initrc_exec_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	init_labeled_script_domtrans($1, vhostmd_initrc_exec_t)
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Allow domain to read, vhostmd tmpfs files
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Dominick Grift 288845a
##	Domain allowed access.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_read_tmpfs_files',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_tmpfs_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	allow $1 vhostmd_tmpfs_t:file read_file_perms;
Dominick Grift f926621
	fs_search_tmpfs($1)
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Do not audit attempts to read,
Chris PeBenito 6d4dbd2
##	vhostmd tmpfs files
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Chris PeBenito 6d4dbd2
##	Domain to not audit.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_dontaudit_read_tmpfs_files',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_tmpfs_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	dontaudit $1 vhostmd_tmpfs_t:file read_file_perms;
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
#######################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Allow domain to read and write vhostmd tmpfs files
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Dominick Grift 288845a
##	Domain allowed access.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_rw_tmpfs_files',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_tmpfs_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	rw_files_pattern($1, vhostmd_tmpfs_t, vhostmd_tmpfs_t)
Dominick Grift f926621
	fs_search_tmpfs($1)
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Create, read, write, and delete vhostmd tmpfs files.
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Dominick Grift 288845a
##	Domain allowed access.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_manage_tmpfs_files',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_tmpfs_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	manage_files_pattern($1, vhostmd_tmpfs_t, vhostmd_tmpfs_t)
Dominick Grift f926621
	fs_search_tmpfs($1)
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Read vhostmd PID files.
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Chris PeBenito 6d4dbd2
##	Domain allowed access.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_read_pid_files',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_var_run_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	files_search_pids($1)
Chris PeBenito 6d4dbd2
	allow $1 vhostmd_var_run_t:file read_file_perms;
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Manage vhostmd var_run files.
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Chris PeBenito 6d4dbd2
##	Domain allowed access.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_manage_pid_files',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_var_run_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Dominick Grift f926621
	files_search_pids($1)
Dominick Grift dcf8746
	manage_files_pattern($1, vhostmd_var_run_t, vhostmd_var_run_t)
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Connect to vhostmd over an unix domain stream socket.
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Chris PeBenito 6d4dbd2
##	Domain allowed access.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_stream_connect',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_t, vhostmd_var_run_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	files_search_pids($1)
Chris PeBenito 6d4dbd2
	stream_connect_pattern($1, vhostmd_var_run_t, vhostmd_var_run_t, vhostmd_t)
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
#######################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	Dontaudit read and write to vhostmd
Chris PeBenito 6d4dbd2
##	over an unix domain stream socket.
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Dominick Grift 288845a
##	Domain to not audit.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_dontaudit_rw_stream_connect',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	dontaudit $1 vhostmd_t:unix_stream_socket { read write };
Chris PeBenito 6d4dbd2
')
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
########################################
Chris PeBenito 6d4dbd2
## <summary>
Chris PeBenito 6d4dbd2
##	All of the rules required to administrate
Chris PeBenito 6d4dbd2
##	an vhostmd environment
Chris PeBenito 6d4dbd2
## </summary>
Chris PeBenito 6d4dbd2
## <param name="domain">
Chris PeBenito 6d4dbd2
##	<summary>
Chris PeBenito 6d4dbd2
##	Domain allowed access.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
## <param name="role">
Chris PeBenito 6d4dbd2
##	<summary>
Chris PeBenito 6d4dbd2
##	Role allowed access.
Chris PeBenito 6d4dbd2
##	</summary>
Chris PeBenito 6d4dbd2
## </param>
Chris PeBenito 6d4dbd2
## <rolecap/>
Chris PeBenito 6d4dbd2
#
Chris PeBenito 6d4dbd2
interface(`vhostmd_admin',`
Chris PeBenito 6d4dbd2
	gen_require(`
Chris PeBenito 6d4dbd2
		type vhostmd_t, vhostmd_initrc_exec_t;
Chris PeBenito 6d4dbd2
	')
Chris PeBenito 6d4dbd2
3eaa993
	allow $1 vhostmd_t:process { ptrace signal_perms };
Chris PeBenito 6d4dbd2
	ps_process_pattern($1, vhostmd_t)
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	vhostmd_initrc_domtrans($1)
Chris PeBenito 6d4dbd2
	domain_system_change_exemption($1)
Chris PeBenito 6d4dbd2
	role_transition $2 vhostmd_initrc_exec_t system_r;
Chris PeBenito 6d4dbd2
	allow $2 system_r;
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	vhostmd_manage_tmpfs_files($1)
Chris PeBenito 6d4dbd2
Chris PeBenito 6d4dbd2
	vhostmd_manage_pid_files($1)
Chris PeBenito 6d4dbd2
')