/usr/share/selinux/ubuntu/include/services/ifplugd.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 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 | ## <summary>Bring up/down ethernet interfaces based on cable detection.</summary>
########################################
## <summary>
## Execute a domain transition to run ifplugd.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed to transition.
## </summary>
## </param>
#
interface(`ifplugd_domtrans',`
gen_require(`
type ifplugd_t, ifplugd_exec_t;
')
domtrans_pattern($1, ifplugd_exec_t, ifplugd_t)
')
########################################
## <summary>
## Send a generic signal to ifplugd
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`ifplugd_signal',`
gen_require(`
type ifplugd_t;
')
allow $1 ifplugd_t:process signal;
')
########################################
## <summary>
## Read ifplugd etc configuration files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`ifplugd_read_config',`
gen_require(`
type ifplugd_etc_t;
')
files_search_etc($1)
read_files_pattern($1, ifplugd_etc_t, ifplugd_etc_t)
')
########################################
## <summary>
## Manage ifplugd etc configuration files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`ifplugd_manage_config',`
gen_require(`
type ifplugd_etc_t;
')
files_search_etc($1)
manage_dirs_pattern($1, ifplugd_etc_t, ifplugd_etc_t)
manage_files_pattern($1, ifplugd_etc_t, ifplugd_etc_t)
')
########################################
## <summary>
## Read ifplugd PID files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`ifplugd_read_pid_files',`
gen_require(`
type ifplugd_var_run_t;
')
files_search_pids($1)
allow $1 ifplugd_var_run_t:file read_file_perms;
')
########################################
## <summary>
## All of the rules required to administrate
## an ifplugd environment
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
## <param name="role">
## <summary>
## The role to be allowed to manage the ifplugd domain.
## </summary>
## </param>
## <rolecap/>
#
interface(`ifplugd_admin',`
gen_require(`
type ifplugd_t, ifplugd_etc_t;
type ifplugd_var_run_t, ifplugd_initrc_exec_t;
')
allow $1 ifplugd_t:process { ptrace signal_perms };
ps_process_pattern($1, ifplugd_t)
init_labeled_script_domtrans($1, ifplugd_initrc_exec_t)
domain_system_change_exemption($1)
role_transition $2 ifplugd_initrc_exec_t system_r;
allow $2 system_r;
files_list_etc($1)
admin_pattern($1, ifplugd_etc_t)
files_list_pids($1)
admin_pattern($1, ifplugd_var_run_t)
')
|