## Virtual Private Networking client
########################################
##
## Execute VPN clients in the vpnc domain.
##
##
## The type of the process performing this action.
##
#
interface(`vpn_domtrans',`
gen_require(`
type vpnc_t, vpnc_exec_t;
class process sigchld;
class fd use;
class fifo_file rw_file_perms;
')
domain_auto_trans($1,vpnc_exec_t,vpnc_t)
allow $1 vpnc_t:fd use;
allow vpnc_t $1:fd use;
allow vpnc_t $1:fifo_file rw_file_perms;
allow vpnc_t $1:process sigchld;
')
########################################
##
## Execute VPN clients in the vpnc domain, and
## allow the specified role the vpnc domain.
##
##
## The type of the process performing this action.
##
##
## The role to be allowed the vpnc domain.
##
##
## The type of the terminal allow the vpnc domain to use.
##
#
interface(`vpn_run',`
gen_require(`
type vpnc_t;
class chr_file rw_term_perms;
')
vpn_domtrans($1)
role $2 types vpnc_t;
allow vpnc_t $3:chr_file rw_term_perms;
')