d54e74d
d54e74d
## <summary>policy for pkcsslotd</summary>
d54e74d
d54e74d
########################################
d54e74d
## <summary>
d54e74d
##	Transition to pkcsslotd.
d54e74d
## </summary>
d54e74d
## <param name="domain">
d54e74d
## <summary>
d54e74d
##	Domain allowed to transition.
d54e74d
## </summary>
d54e74d
## </param>
d54e74d
#
d54e74d
interface(`pkcsslotd_domtrans',`
d54e74d
	gen_require(`
d54e74d
		type pkcsslotd_t, pkcsslotd_exec_t;
d54e74d
	')
d54e74d
d54e74d
	corecmd_search_bin($1)
d54e74d
	domtrans_pattern($1, pkcsslotd_exec_t, pkcsslotd_t)
d54e74d
')
d54e74d
d54e74d
########################################
d54e74d
## <summary>
d54e74d
##	Search pkcsslotd lib directories.
d54e74d
## </summary>
d54e74d
## <param name="domain">
d54e74d
##	<summary>
d54e74d
##	Domain allowed access.
d54e74d
##	</summary>
d54e74d
## </param>
d54e74d
#
d54e74d
interface(`pkcsslotd_search_lib',`
d54e74d
	gen_require(`
d54e74d
		type pkcsslotd_var_lib_t;
d54e74d
	')
d54e74d
d54e74d
	allow $1 pkcsslotd_var_lib_t:dir search_dir_perms;
d54e74d
	files_search_var_lib($1)
d54e74d
')
d54e74d
d54e74d
########################################
d54e74d
## <summary>
d54e74d
##	Read pkcsslotd lib files.
d54e74d
## </summary>
d54e74d
## <param name="domain">
d54e74d
##	<summary>
d54e74d
##	Domain allowed access.
d54e74d
##	</summary>
d54e74d
## </param>
d54e74d
#
d54e74d
interface(`pkcsslotd_read_lib_files',`
d54e74d
	gen_require(`
d54e74d
		type pkcsslotd_var_lib_t;
d54e74d
	')
d54e74d
d54e74d
	files_search_var_lib($1)
d54e74d
	read_files_pattern($1, pkcsslotd_var_lib_t, pkcsslotd_var_lib_t)
d54e74d
')
d54e74d
d54e74d
########################################
d54e74d
## <summary>
d54e74d
##	Manage pkcsslotd lib files.
d54e74d
## </summary>
d54e74d
## <param name="domain">
d54e74d
##	<summary>
d54e74d
##	Domain allowed access.
d54e74d
##	</summary>
d54e74d
## </param>
d54e74d
#
d54e74d
interface(`pkcsslotd_manage_lib_files',`
d54e74d
	gen_require(`
d54e74d
		type pkcsslotd_var_lib_t;
d54e74d
	')
d54e74d
d54e74d
	files_search_var_lib($1)
d54e74d
	manage_files_pattern($1, pkcsslotd_var_lib_t, pkcsslotd_var_lib_t)
d54e74d
')
d54e74d
d54e74d
########################################
d54e74d
## <summary>
d54e74d
##	Manage pkcsslotd lib directories.
d54e74d
## </summary>
d54e74d
## <param name="domain">
d54e74d
##	<summary>
d54e74d
##	Domain allowed access.
d54e74d
##	</summary>
d54e74d
## </param>
d54e74d
#
d54e74d
interface(`pkcsslotd_manage_lib_dirs',`
d54e74d
	gen_require(`
d54e74d
		type pkcsslotd_var_lib_t;
d54e74d
	')
d54e74d
d54e74d
	files_search_var_lib($1)
d54e74d
	manage_dirs_pattern($1, pkcsslotd_var_lib_t, pkcsslotd_var_lib_t)
d54e74d
')
d54e74d
d54e74d
########################################
d54e74d
## <summary>
d54e74d
##	Execute pkcsslotd server in the pkcsslotd domain.
d54e74d
## </summary>
d54e74d
## <param name="domain">
d54e74d
##	<summary>
d54e74d
##	Domain allowed to transition.
d54e74d
##	</summary>
d54e74d
## </param>
d54e74d
#
d54e74d
interface(`pkcsslotd_systemctl',`
d54e74d
	gen_require(`
d54e74d
		type pkcsslotd_t;
d54e74d
		type pkcsslotd_unit_file_t;
d54e74d
	')
d54e74d
d54e74d
	systemd_exec_systemctl($1)
d54e74d
	allow $1 pkcsslotd_unit_file_t:file read_file_perms;
d54e74d
	allow $1 pkcsslotd_unit_file_t:service manage_service_perms;
d54e74d
d54e74d
	ps_process_pattern($1, pkcsslotd_t)
d54e74d
')
d54e74d
d54e74d
d54e74d
########################################
d54e74d
## <summary>
d54e74d
##	All of the rules required to administrate
d54e74d
##	an pkcsslotd environment
d54e74d
## </summary>
d54e74d
## <param name="domain">
d54e74d
##	<summary>
d54e74d
##	Domain allowed access.
d54e74d
##	</summary>
d54e74d
## </param>
d54e74d
#
d54e74d
interface(`pkcsslotd_admin',`
d54e74d
	gen_require(`
d54e74d
		type pkcsslotd_t;
d54e74d
		type pkcsslotd_var_lib_t;
d54e74d
		type pkcsslotd_unit_file_t;
d54e74d
	')
d54e74d
d54e74d
	allow $1 pkcsslotd_t:process { ptrace signal_perms };
d54e74d
	ps_process_pattern($1, pkcsslotd_t)
d54e74d
d54e74d
	files_search_var_lib($1)
d54e74d
	admin_pattern($1, pkcsslotd_var_lib_t)
d54e74d
d54e74d
	pkcsslotd_systemctl($1)
d54e74d
	admin_pattern($1, pkcsslotd_unit_file_t)
d54e74d
	allow $1 pkcsslotd_unit_file_t:service all_service_perms;
d54e74d
d54e74d
	optional_policy(`
d54e74d
		systemd_passwd_agent_exec($1)
d54e74d
		systemd_read_fifo_file_passwd_run($1)
d54e74d
	')
d54e74d
')