Dan Walsh 3eaa99
## <summary>policy for mock</summary>
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Execute a domain transition to run mock.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dominick Grift 1976dd
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed to transition.
Dominick Grift 1976dd
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_domtrans',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_t, mock_exec_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	domtrans_pattern($1, mock_exec_t, mock_t)
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Search mock lib directories.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_search_lib',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_var_lib_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	allow $1 mock_var_lib_t:dir search_dir_perms;
Dan Walsh 3eaa99
	files_search_var_lib($1)
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Read mock lib files.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_read_lib_files',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_var_lib_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	files_search_var_lib($1)
Dominick Grift 1976dd
	read_files_pattern($1, mock_var_lib_t, mock_var_lib_t)
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Create, read, write, and delete
Dan Walsh 3eaa99
##	mock lib files.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_manage_lib_files',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_var_lib_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	files_search_var_lib($1)
Dominick Grift 1976dd
	manage_files_pattern($1, mock_var_lib_t, mock_var_lib_t)
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Manage mock lib dirs files.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_manage_lib_dirs',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_var_lib_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	files_search_var_lib($1)
Dominick Grift 1976dd
	manage_dirs_pattern($1, mock_var_lib_t, mock_var_lib_t)
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
#########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Manage mock lib symlinks.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_manage_lib_symlinks',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_var_lib_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	files_search_var_lib($1)
Dominick Grift 1976dd
	manage_lnk_files_pattern($1, mock_var_lib_t, mock_var_lib_t)
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Manage mock lib files.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_manage_lib_chr_files',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_var_lib_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	files_search_var_lib($1)
Dominick Grift 1976dd
	manage_chr_files_pattern($1, mock_var_lib_t, mock_var_lib_t)
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Execute mock in the mock domain, and
Dan Walsh 3eaa99
##	allow the specified role the mock domain.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
## <param name="role">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	The role to be allowed the mock domain.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dominick Grift 55c2e0
## <rolecap/>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_run',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	mock_domtrans($1)
Dan Walsh 3eaa99
	role $2 types mock_t;
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Role access for mock
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="role">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Role allowed access
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	User domain for the role
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dominick Grift 55c2e0
## <rolecap/>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_role',`
Dan Walsh 3eaa99
	gen_require(`
Dominick Grift 1976dd
		type mock_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	role $1 types mock_t;
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	mock_domtrans($2)
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	ps_process_pattern($2, mock_t)
Dominick Grift e8ea77
	allow $2 mock_t:process { ptrace signal_perms };
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
#######################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	Send a generic signal to mock.
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_signal',`
Dan Walsh 3eaa99
	gen_require(`
Dan Walsh 3eaa99
		type mock_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	allow $1 mock_t:process signal;
Dan Walsh 3eaa99
')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
########################################
Dan Walsh 3eaa99
## <summary>
Dan Walsh 3eaa99
##	All of the rules required to administrate 
Dan Walsh 3eaa99
##	an mock environment
Dan Walsh 3eaa99
## </summary>
Dan Walsh 3eaa99
## <param name="domain">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Domain allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
## <param name="role">
Dan Walsh 3eaa99
##	<summary>
Dan Walsh 3eaa99
##	Role allowed access.
Dan Walsh 3eaa99
##	</summary>
Dan Walsh 3eaa99
## </param>
Dan Walsh 3eaa99
## <rolecap/>
Dan Walsh 3eaa99
#
Dan Walsh 3eaa99
interface(`mock_admin',`
Dan Walsh 3eaa99
	gen_require(`
Dominick Grift 8f0b74
		type mock_t, mock_var_lib_t;
Dan Walsh 3eaa99
	')
Dan Walsh 3eaa99
Dan Walsh 3eaa99
	allow $1 mock_t:process { ptrace signal_perms };
Dan Walsh 3eaa99
	ps_process_pattern($1, mock_t)
Dan Walsh 3eaa99
Dominick Grift 61f406
	files_list_var_lib($1)
Dan Walsh 3eaa99
	admin_pattern($1, mock_var_lib_t)
Dan Walsh 3eaa99
')