beb8879
## <summary>Virtual network service for Openstack.</summary>
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Transition to quantum.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
## <summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
## </summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_domtrans',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_t, quantum_exec_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	corecmd_search_bin($1)
1ec3d1a
	domtrans_pattern($1, quantum_exec_t, quantum_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read quantum's log files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
## <rolecap/>
1ec3d1a
#
1ec3d1a
interface(`quantum_read_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	logging_search_logs($1)
1ec3d1a
	read_files_pattern($1, quantum_log_t, quantum_log_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Append to quantum log files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_append_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	logging_search_logs($1)
1ec3d1a
	append_files_pattern($1, quantum_log_t, quantum_log_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Manage quantum log files
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_manage_log',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_log_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	logging_search_logs($1)
1ec3d1a
	manage_dirs_pattern($1, quantum_log_t, quantum_log_t)
1ec3d1a
	manage_files_pattern($1, quantum_log_t, quantum_log_t)
1ec3d1a
	manage_lnk_files_pattern($1, quantum_log_t, quantum_log_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Search quantum lib directories.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_search_lib',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 quantum_var_lib_t:dir search_dir_perms;
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Read quantum lib files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_read_lib_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	read_files_pattern($1, quantum_var_lib_t, quantum_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Manage quantum lib files.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_manage_lib_files',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	manage_files_pattern($1, quantum_var_lib_t, quantum_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Manage quantum lib directories.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_manage_lib_dirs',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_var_lib_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	manage_dirs_pattern($1, quantum_var_lib_t, quantum_var_lib_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	Execute quantum server in the quantum domain.
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed to transition.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_systemctl',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_t;
1ec3d1a
		type quantum_unit_file_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	systemd_exec_systemctl($1)
1ec3d1a
	systemd_read_fifo_file_passwd_run($1)
1ec3d1a
	allow $1 quantum_unit_file_t:file read_file_perms;
1ec3d1a
	allow $1 quantum_unit_file_t:service manage_service_perms;
1ec3d1a
1ec3d1a
	ps_process_pattern($1, quantum_t)
1ec3d1a
')
1ec3d1a
1ec3d1a
1ec3d1a
########################################
1ec3d1a
## <summary>
1ec3d1a
##	All of the rules required to administrate
1ec3d1a
##	an quantum environment
1ec3d1a
## </summary>
1ec3d1a
## <param name="domain">
1ec3d1a
##	<summary>
1ec3d1a
##	Domain allowed access.
1ec3d1a
##	</summary>
1ec3d1a
## </param>
1ec3d1a
#
1ec3d1a
interface(`quantum_admin',`
1ec3d1a
	gen_require(`
1ec3d1a
		type quantum_t;
1ec3d1a
		type quantum_log_t;
1ec3d1a
		type quantum_var_lib_t;
1ec3d1a
		type quantum_unit_file_t;
1ec3d1a
	')
1ec3d1a
1ec3d1a
	allow $1 quantum_t:process { ptrace signal_perms };
1ec3d1a
	ps_process_pattern($1, quantum_t)
1ec3d1a
1ec3d1a
	logging_search_logs($1)
1ec3d1a
	admin_pattern($1, quantum_log_t)
1ec3d1a
1ec3d1a
	files_search_var_lib($1)
1ec3d1a
	admin_pattern($1, quantum_var_lib_t)
1ec3d1a
1ec3d1a
	quantum_systemctl($1)
1ec3d1a
	admin_pattern($1, quantum_unit_file_t)
1ec3d1a
	allow $1 quantum_unit_file_t:service all_service_perms;
1ec3d1a
	optional_policy(`
1ec3d1a
		systemd_passwd_agent_exec($1)
1ec3d1a
		systemd_read_fifo_file_passwd_run($1)
1ec3d1a
	')
1ec3d1a
')