Chris PeBenito e08118
## <summary>Point to Point Protocol daemon creates links in ppp networks</summary>
Chris PeBenito e08118
Chris PeBenito e08118
########################################
Chris PeBenito e08118
## <summary>
Chris PeBenito e08118
##	Use PPP file discriptors.
Chris PeBenito e08118
## </summary>
Chris PeBenito e08118
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito e08118
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito e08118
## </param>
Chris PeBenito e08118
#
Chris PeBenito 1c1ac6
interface(`ppp_use_fds',`
Chris PeBenito e08118
	gen_require(`
Chris PeBenito e08118
		type pppd_t;
Chris PeBenito e08118
	')
Chris PeBenito e08118
Chris PeBenito e08118
	allow $1 pppd_t:fd use;
Chris PeBenito e08118
')
Chris PeBenito e08118
Chris PeBenito e08118
########################################
Chris PeBenito e08118
## <summary>
Chris PeBenito 725926
##	Do not audit attempts to inherit
Chris PeBenito 725926
##	and use PPP file discriptors.
Chris PeBenito 725926
## </summary>
Chris PeBenito 725926
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 725926
##	Domain to not audit.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 725926
## </param>
Chris PeBenito 725926
#
Chris PeBenito 1c1ac6
interface(`ppp_dontaudit_use_fds',`
Chris PeBenito 725926
	gen_require(`
Chris PeBenito 725926
		type pppd_t;
Chris PeBenito 725926
	')
Chris PeBenito 725926
Chris PeBenito 725926
	dontaudit $1 pppd_t:fd use;
Chris PeBenito 725926
')
Chris PeBenito 725926
Chris PeBenito 725926
########################################
Chris PeBenito 725926
## <summary>
Chris PeBenito 1470ff
##	Send a SIGCHLD signal to PPP.
Chris PeBenito e08118
## </summary>
Chris PeBenito e08118
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito e08118
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito e08118
## </param>
Chris PeBenito e08118
#
Chris PeBenito e08118
interface(`ppp_sigchld',`
Chris PeBenito e08118
	gen_require(`
Chris PeBenito e08118
		type pppd_t;
Chris PeBenito e08118
Chris PeBenito e08118
	')
Chris PeBenito e08118
Chris PeBenito e08118
	allow $1 pppd_t:process sigchld;
Chris PeBenito e08118
')
Chris PeBenito e08118
Chris PeBenito e08118
########################################
Chris PeBenito e08118
## <summary>
Chris PeBenito 725926
##	Send a generic signal to PPP.
Chris PeBenito e08118
## </summary>
Chris PeBenito e08118
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito e08118
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito e08118
## </param>
Chris PeBenito e08118
#
Chris PeBenito e08118
interface(`ppp_signal',`
Chris PeBenito e08118
	gen_require(`
Chris PeBenito e08118
		type pppd_t;
Chris PeBenito e08118
	')
Chris PeBenito e08118
Chris PeBenito e08118
	allow $1 pppd_t:process signal;
Chris PeBenito e08118
')
Chris PeBenito e08118
Chris PeBenito e08118
########################################
Chris PeBenito e08118
## <summary>
Chris PeBenito e08118
##	 Execute domain in the ppp domain.
Chris PeBenito e08118
## </summary>
Chris PeBenito e08118
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito e08118
##	 Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito e08118
## </param>
Chris PeBenito e08118
#
Chris PeBenito e08118
interface(`ppp_domtrans',`
Chris PeBenito e08118
	gen_require(`
Chris PeBenito e08118
		type pppd_t, pppd_exec_t;
Chris PeBenito e08118
	')
Chris PeBenito e08118
Chris PeBenito e08118
	corecmd_search_sbin($1)
Chris PeBenito e08118
	domain_auto_trans($1, pppd_exec_t, pppd_t)
Chris PeBenito e08118
Chris PeBenito e08118
	allow $1 pppd_t:fd use;
Chris PeBenito e08118
	allow pppd_t $1:fd use;
Chris PeBenito e08118
	allow pppd_t $1:fifo_file rw_file_perms;
Chris PeBenito e08118
	allow pppd_t $1:process sigchld;
Chris PeBenito e08118
')
Chris PeBenito e08118
Chris PeBenito e08118
########################################
Chris PeBenito e08118
## <summary>
Chris PeBenito e08118
##	 Conditionally execute ppp daemon on behalf of a user or staff type.
Chris PeBenito e08118
## </summary>
Chris PeBenito e08118
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito e08118
##	 Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito e08118
## </param>
Chris PeBenito e08118
#
Chris PeBenito e08118
interface(`ppp_run_cond',`
Chris PeBenito e08118
	gen_require(`
Chris PeBenito e08118
		type pppd_t;
Chris PeBenito e08118
	')
Chris PeBenito e08118
Chris PeBenito e08118
	role $2 types pppd_t;
Chris PeBenito e08118
Chris PeBenito e08118
	tunable_policy(`pppd_for_user',`
Chris PeBenito e08118
		ppp_domtrans($1)
Chris PeBenito e08118
		allow pppd_t $3:chr_file rw_term_perms;
Chris PeBenito e08118
	')
Chris PeBenito e08118
')
Chris PeBenito e08118
Chris PeBenito e08118
########################################
Chris PeBenito e08118
## <summary>
Chris PeBenito e08118
##	 Unconditionally execute ppp daemon on behalf of a user or staff type.
Chris PeBenito e08118
## </summary>
Chris PeBenito e08118
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito e08118
##	 Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito e08118
## </param>
Chris PeBenito e08118
#
Chris PeBenito e08118
interface(`ppp_run',`
Chris PeBenito e08118
	gen_require(`
Chris PeBenito e08118
		type pppd_t;
Chris PeBenito e08118
	')
Chris PeBenito e08118
Chris PeBenito e08118
	ppp_domtrans($1)
Chris PeBenito e08118
	role $2 types pppd_t;
Chris PeBenito e08118
	allow pppd_t $3:chr_file rw_term_perms;
Chris PeBenito e08118
')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
########################################
Chris PeBenito 12cd9a
## <summary>
Chris PeBenito 12cd9a
##	 Execute domain in the ppp caller.
Chris PeBenito 12cd9a
## </summary>
Chris PeBenito 12cd9a
## <param name="domain">
Chris PeBenito 12cd9a
##	<summary>
Chris PeBenito 12cd9a
##	 Domain allowed access.
Chris PeBenito 12cd9a
##	</summary>
Chris PeBenito 12cd9a
## </param>
Chris PeBenito 12cd9a
#
Chris PeBenito 12cd9a
interface(`ppp_exec',`
Chris PeBenito 12cd9a
	gen_require(`
Chris PeBenito 12cd9a
		type pppd_exec_t;
Chris PeBenito 12cd9a
	')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
	corecmd_search_sbin($1)
Chris PeBenito 12cd9a
	can_exec($1, pppd_exec_t)
Chris PeBenito 12cd9a
')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
########################################
Chris PeBenito 12cd9a
## <summary>
Chris PeBenito 12cd9a
##	Read PPP-writable configuration files.
Chris PeBenito 12cd9a
## </summary>
Chris PeBenito 12cd9a
## <param name="domain">
Chris PeBenito 12cd9a
##	<summary>
Chris PeBenito 12cd9a
##	Domain allowed access.
Chris PeBenito 12cd9a
##	</summary>
Chris PeBenito 12cd9a
## </param>
Chris PeBenito 12cd9a
#
Chris PeBenito 12cd9a
interface(`ppp_read_rw_config',`
Chris PeBenito 12cd9a
	gen_require(`
Chris PeBenito 12cd9a
		type pppd_etc_t, pppd_etc_rw_t;
Chris PeBenito 12cd9a
	')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
	allow $1 pppd_etc_t:dir list_dir_perms;
Chris PeBenito 12cd9a
	allow $1 pppd_etc_rw_t:file { getattr read };
Chris PeBenito 12cd9a
	files_search_etc($1)
Chris PeBenito 12cd9a
')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
########################################
Chris PeBenito 12cd9a
## <summary>
Chris PeBenito 12cd9a
##	Read PPP secrets.
Chris PeBenito 12cd9a
## </summary>
Chris PeBenito 12cd9a
## <param name="domain">
Chris PeBenito 12cd9a
##	<summary>
Chris PeBenito 12cd9a
##	Domain allowed access.
Chris PeBenito 12cd9a
##	</summary>
Chris PeBenito 12cd9a
## </param>
Chris PeBenito 12cd9a
#
Chris PeBenito 12cd9a
interface(`ppp_read_secrets',`
Chris PeBenito 12cd9a
	gen_require(`
Chris PeBenito 12cd9a
		type pppd_etc_t, pppd_secret_t;
Chris PeBenito 12cd9a
	')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
	allow $1 pppd_etc_t:dir list_dir_perms;
Chris PeBenito 12cd9a
	allow $1 pppd_secret_t:file { getattr read };
Chris PeBenito 12cd9a
	files_search_etc($1)
Chris PeBenito 12cd9a
')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
########################################
Chris PeBenito 12cd9a
## <summary>
Chris PeBenito 12cd9a
##	Create, read, write, and delete PPP pid files.
Chris PeBenito 12cd9a
## </summary>
Chris PeBenito 12cd9a
## <param name="domain">
Chris PeBenito 12cd9a
##	<summary>
Chris PeBenito 12cd9a
##	Domain allowed access.
Chris PeBenito 12cd9a
##	</summary>
Chris PeBenito 12cd9a
## </param>
Chris PeBenito 12cd9a
#
Chris PeBenito 12cd9a
interface(`ppp_manage_pid_files',`
Chris PeBenito 12cd9a
	gen_require(`
Chris PeBenito 12cd9a
		type pppd_var_run_t;
Chris PeBenito 12cd9a
	')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
	allow $1 pppd_var_run_t:file manage_file_perms;
Chris PeBenito 12cd9a
')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
########################################
Chris PeBenito 12cd9a
## <summary>
Chris PeBenito 12cd9a
##	Create, read, write, and delete PPP pid files.
Chris PeBenito 12cd9a
## </summary>
Chris PeBenito 12cd9a
## <param name="domain">
Chris PeBenito 12cd9a
##	<summary>
Chris PeBenito 12cd9a
##	Domain allowed access.
Chris PeBenito 12cd9a
##	</summary>
Chris PeBenito 12cd9a
## </param>
Chris PeBenito 12cd9a
#
Chris PeBenito 12cd9a
interface(`ppp_pid_filetrans',`
Chris PeBenito 12cd9a
	gen_require(`
Chris PeBenito 12cd9a
		type pppd_var_run_t;
Chris PeBenito 12cd9a
	')
Chris PeBenito 12cd9a
Chris PeBenito 12cd9a
	files_pid_filetrans($1,pppd_var_run_t,file)
Chris PeBenito 12cd9a
')