2007-02-16 23:01:42 +00:00
|
|
|
## <summary>PCSC smart card service</summary>
|
|
|
|
|
|
|
|
|
|
########################################
|
|
|
|
|
## <summary>
|
|
|
|
|
## Execute a domain transition to run pcscd.
|
|
|
|
|
## </summary>
|
|
|
|
|
## <param name="domain">
|
|
|
|
|
## <summary>
|
|
|
|
|
## Domain allowed to transition.
|
|
|
|
|
## </summary>
|
|
|
|
|
## </param>
|
|
|
|
|
#
|
|
|
|
|
interface(`pcscd_domtrans',`
|
|
|
|
|
gen_require(`
|
|
|
|
|
type pcscd_t, pcscd_exec_t;
|
|
|
|
|
')
|
|
|
|
|
|
2008-07-23 21:38:39 +00:00
|
|
|
domtrans_pattern($1, pcscd_exec_t, pcscd_t)
|
2007-02-16 23:01:42 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
|
|
########################################
|
|
|
|
|
## <summary>
|
|
|
|
|
## Read pcscd pub files.
|
|
|
|
|
## </summary>
|
|
|
|
|
## <param name="domain">
|
|
|
|
|
## <summary>
|
|
|
|
|
## Domain allowed access.
|
|
|
|
|
## </summary>
|
|
|
|
|
## </param>
|
|
|
|
|
#
|
|
|
|
|
interface(`pcscd_read_pub_files',`
|
|
|
|
|
gen_require(`
|
|
|
|
|
type pcscd_var_run_t;
|
|
|
|
|
')
|
|
|
|
|
|
|
|
|
|
files_search_pids($1)
|
|
|
|
|
allow $1 pcscd_var_run_t:file read_file_perms;
|
|
|
|
|
')
|
|
|
|
|
|
|
|
|
|
########################################
|
|
|
|
|
## <summary>
|
|
|
|
|
## Connect to pcscd over an unix stream socket.
|
|
|
|
|
## </summary>
|
|
|
|
|
## <param name="domain">
|
|
|
|
|
## <summary>
|
|
|
|
|
## Domain allowed access.
|
|
|
|
|
## </summary>
|
|
|
|
|
## </param>
|
|
|
|
|
#
|
|
|
|
|
interface(`pcscd_stream_connect',`
|
|
|
|
|
gen_require(`
|
|
|
|
|
type pcscd_t, pcscd_var_run_t;
|
|
|
|
|
')
|
|
|
|
|
|
|
|
|
|
files_search_pids($1)
|
|
|
|
|
allow $1 pcscd_var_run_t:sock_file write;
|
|
|
|
|
allow $1 pcscd_t:unix_stream_socket connectto;
|
|
|
|
|
')
|
