/usr/share/selinux/ubuntu/include/apps/uml.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 | ## <summary>Policy for UML</summary>
########################################
## <summary>
## Role access for uml
## </summary>
## <param name="role">
## <summary>
## Role allowed access
## </summary>
## </param>
## <param name="domain">
## <summary>
## User domain for the role
## </summary>
## </param>
#
interface(`uml_role',`
gen_require(`
type uml_t, uml_exec_t;
type uml_ro_t, uml_rw_t, uml_tmp_t;
type uml_devpts_t, uml_tmpfs_t;
')
role $1 types uml_t;
# Transition from the user domain to this domain.
domtrans_pattern($2, uml_exec_t, uml_t)
# for mconsole
allow $2 uml_t:unix_dgram_socket sendto;
allow uml_t $2:unix_dgram_socket sendto;
# allow ps, ptrace, signal
ps_process_pattern($2, uml_t)
allow $2 uml_t:process { ptrace signal_perms };
allow $2 uml_ro_t:dir list_dir_perms;
read_files_pattern($2, uml_ro_t, uml_ro_t)
read_lnk_files_pattern($2, uml_ro_t, uml_ro_t)
manage_dirs_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
manage_files_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
manage_lnk_files_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
manage_fifo_files_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
manage_sock_files_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
relabel_dirs_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
relabel_files_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
relabel_lnk_files_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
relabel_fifo_files_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
relabel_sock_files_pattern($2, { uml_ro_t uml_rw_t }, { uml_ro_t uml_rw_t })
manage_dirs_pattern($2, { uml_ro_t uml_rw_t uml_exec_t }, { uml_ro_t uml_rw_t uml_exec_t })
manage_files_pattern($2, { uml_ro_t uml_rw_t uml_exec_t }, { uml_ro_t uml_rw_t uml_exec_t })
relabel_dirs_pattern($2, { uml_ro_t uml_rw_t uml_exec_t }, { uml_ro_t uml_rw_t uml_exec_t })
relabel_files_pattern($2, { uml_ro_t uml_rw_t uml_exec_t }, { uml_ro_t uml_rw_t uml_exec_t })
manage_dirs_pattern($2, uml_tmp_t, uml_tmp_t)
manage_files_pattern($2, uml_tmp_t, uml_tmp_t)
manage_lnk_files_pattern($2, uml_tmp_t, uml_tmp_t)
manage_sock_files_pattern($2, uml_tmp_t, uml_tmp_t)
')
########################################
## <summary>
## Set attributes on uml utility socket files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`uml_setattr_util_sockets',`
gen_require(`
type uml_switch_var_run_t;
')
allow $1 uml_switch_var_run_t:sock_file setattr;
')
########################################
## <summary>
## Manage uml utility files.
## </summary>
## <param name="domain">
## <summary>
## Domain allowed access.
## </summary>
## </param>
#
interface(`uml_manage_util_files',`
gen_require(`
type uml_switch_var_run_t;
')
manage_files_pattern($1, uml_switch_var_run_t, uml_switch_var_run_t)
manage_lnk_files_pattern($1, uml_switch_var_run_t, uml_switch_var_run_t)
')
|