/usr/share/selinux/ubuntu/include/services/pcscd.if is in selinux-policy-ubuntu-dev 0.2.20091117-0ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 | ## <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;
')
domtrans_pattern($1, pcscd_exec_t, pcscd_t)
')
########################################
## <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;
')
|