diff options
Diffstat (limited to 'policy/modules/contrib/xen.te')
| -rw-r--r-- | policy/modules/contrib/xen.te | 566 |
1 files changed, 566 insertions, 0 deletions
diff --git a/policy/modules/contrib/xen.te b/policy/modules/contrib/xen.te new file mode 100644 index 00000000..c4d18e89 --- /dev/null +++ b/policy/modules/contrib/xen.te @@ -0,0 +1,566 @@ +policy_module(xen, 1.11.0) + +######################################## +# +# Declarations +# + +## <desc> +## <p> +## Allow xend to run blktapctrl/tapdisk. +## Not required if using dedicated logical volumes for disk images. +## </p> +## </desc> +gen_tunable(xend_run_blktap, true) + +## <desc> +## <p> +## Allow xend to run qemu-dm. +## Not required if using paravirt and no vfb. +## </p> +## </desc> +gen_tunable(xend_run_qemu, true) + +## <desc> +## <p> +## Allow xen to manage nfs files +## </p> +## </desc> +gen_tunable(xen_use_nfs, false) + +type blktap_t; +type blktap_exec_t; +domain_type(blktap_t) +domain_entry_file(blktap_t, blktap_exec_t) +role system_r types blktap_t; + +type blktap_var_run_t; +files_pid_file(blktap_var_run_t) + +type evtchnd_t; +type evtchnd_exec_t; +init_daemon_domain(evtchnd_t, evtchnd_exec_t) + +# log files +type evtchnd_var_log_t; +logging_log_file(evtchnd_var_log_t) + +# pid files +type evtchnd_var_run_t; +files_pid_file(evtchnd_var_run_t) + +type qemu_dm_t; +type qemu_dm_exec_t; +domain_type(qemu_dm_t) +domain_entry_file(qemu_dm_t, qemu_dm_exec_t) +role system_r types qemu_dm_t; + +# console ptys +type xen_devpts_t; +term_pty(xen_devpts_t) +files_type(xen_devpts_t) + +# Xen Image files +type xen_image_t; # customizable +files_type(xen_image_t) +# xen_image_t can be assigned to blk devices +dev_node(xen_image_t) + +type xenctl_t; +files_type(xenctl_t) + +type xend_t; +type xend_exec_t; +domain_type(xend_t) +init_daemon_domain(xend_t, xend_exec_t) + +# tmp files +type xend_tmp_t; +files_tmp_file(xend_tmp_t) + +# var/lib files +type xend_var_lib_t; +files_type(xend_var_lib_t) +# for mounting an NFS store +files_mountpoint(xend_var_lib_t) + +# log files +type xend_var_log_t; +logging_log_file(xend_var_log_t) + +# pid files +type xend_var_run_t; +files_pid_file(xend_var_run_t) +files_mountpoint(xend_var_run_t) + +type xenstored_t; +type xenstored_exec_t; +init_daemon_domain(xenstored_t, xenstored_exec_t) + +type xenstored_tmp_t; +files_tmp_file(xenstored_tmp_t) + +# var/lib files +type xenstored_var_lib_t; +files_type(xenstored_var_lib_t) +files_mountpoint(xenstored_var_lib_t) + +# log files +type xenstored_var_log_t; +logging_log_file(xenstored_var_log_t) + +# pid files +type xenstored_var_run_t; +files_pid_file(xenstored_var_run_t) + +type xenconsoled_t; +type xenconsoled_exec_t; +init_daemon_domain(xenconsoled_t, xenconsoled_exec_t) + +# pid files +type xenconsoled_var_run_t; +files_pid_file(xenconsoled_var_run_t) + +type xm_t; +type xm_exec_t; +domain_type(xm_t) +init_system_domain(xm_t, xm_exec_t) + +######################################## +# +# blktap local policy +# +# Do we need to allow execution of blktap? +tunable_policy(`xend_run_blktap',` + # If yes, transition to its own domain. + domtrans_pattern(xend_t, blktap_exec_t, blktap_t) + + allow blktap_t self:fifo_file { read write }; + + dev_read_sysfs(blktap_t) + dev_rw_xen(blktap_t) + + files_read_etc_files(blktap_t) + + logging_send_syslog_msg(blktap_t) + + miscfiles_read_localization(blktap_t) + + xen_stream_connect_xenstore(blktap_t) +',` + # If no, then silently refuse to run it. + dontaudit xend_t blktap_exec_t:file { execute execute_no_trans }; +') + +####################################### +# +# evtchnd local policy +# + +manage_dirs_pattern(evtchnd_t, evtchnd_var_log_t, evtchnd_var_log_t) +manage_files_pattern(evtchnd_t, evtchnd_var_log_t, evtchnd_var_log_t) +logging_log_filetrans(evtchnd_t, evtchnd_var_log_t, { file dir }) + +manage_dirs_pattern(evtchnd_t, evtchnd_var_run_t, evtchnd_var_run_t) +manage_files_pattern(evtchnd_t, evtchnd_var_run_t, evtchnd_var_run_t) +manage_sock_files_pattern(evtchnd_t, evtchnd_var_run_t, evtchnd_var_run_t) +files_pid_filetrans(evtchnd_t, evtchnd_var_run_t, { file sock_file dir }) + +######################################## +# +# qemu-dm local policy +# +# Do we need to allow execution of qemu-dm? +tunable_policy(`xend_run_qemu',` + allow qemu_dm_t self:capability sys_resource; + allow qemu_dm_t self:process setrlimit; + allow qemu_dm_t self:fifo_file { read write }; + allow qemu_dm_t self:tcp_socket create_stream_socket_perms; + + # If yes, transition to its own domain. + domtrans_pattern(xend_t, qemu_dm_exec_t, qemu_dm_t) + + append_files_pattern(qemu_dm_t, xend_var_log_t, xend_var_log_t) + + rw_fifo_files_pattern(qemu_dm_t, xend_var_run_t, xend_var_run_t) + + corenet_tcp_bind_generic_node(qemu_dm_t) + corenet_tcp_bind_vnc_port(qemu_dm_t) + + dev_rw_xen(qemu_dm_t) + + files_read_etc_files(qemu_dm_t) + files_read_usr_files(qemu_dm_t) + + fs_manage_xenfs_dirs(qemu_dm_t) + fs_manage_xenfs_files(qemu_dm_t) + + miscfiles_read_localization(qemu_dm_t) + + xen_stream_connect_xenstore(qemu_dm_t) +',` + # If no, then silently refuse to run it. + dontaudit xend_t qemu_dm_exec_t:file { execute execute_no_trans }; +') + +######################################## +# +# xend local policy +# + +allow xend_t self:capability { dac_override ipc_lock net_admin setuid sys_nice sys_tty_config net_raw }; +dontaudit xend_t self:capability { sys_ptrace }; +allow xend_t self:process { signal sigkill }; +dontaudit xend_t self:process ptrace; +# internal communication is often done using fifo and unix sockets. +allow xend_t self:fifo_file rw_fifo_file_perms; +allow xend_t self:unix_stream_socket create_stream_socket_perms; +allow xend_t self:unix_dgram_socket create_socket_perms; +allow xend_t self:netlink_route_socket r_netlink_socket_perms; +allow xend_t self:tcp_socket create_stream_socket_perms; +allow xend_t self:packet_socket create_socket_perms; + +allow xend_t xen_image_t:dir list_dir_perms; +manage_dirs_pattern(xend_t, xen_image_t, xen_image_t) +manage_files_pattern(xend_t, xen_image_t, xen_image_t) +read_lnk_files_pattern(xend_t, xen_image_t, xen_image_t) +rw_blk_files_pattern(xend_t, xen_image_t, xen_image_t) + +allow xend_t xenctl_t:fifo_file manage_fifo_file_perms; +dev_filetrans(xend_t, xenctl_t, fifo_file) + +manage_files_pattern(xend_t, xend_tmp_t, xend_tmp_t) +manage_dirs_pattern(xend_t, xend_tmp_t, xend_tmp_t) +files_tmp_filetrans(xend_t, xend_tmp_t, { file dir }) + +# pid file +manage_dirs_pattern(xend_t, xend_var_run_t, xend_var_run_t) +manage_files_pattern(xend_t, xend_var_run_t, xend_var_run_t) +manage_sock_files_pattern(xend_t, xend_var_run_t, xend_var_run_t) +manage_fifo_files_pattern(xend_t, xend_var_run_t, xend_var_run_t) +files_pid_filetrans(xend_t, xend_var_run_t, { file sock_file fifo_file dir }) + +# log files +manage_dirs_pattern(xend_t, xend_var_log_t, xend_var_log_t) +manage_files_pattern(xend_t, xend_var_log_t, xend_var_log_t) +manage_sock_files_pattern(xend_t, xend_var_log_t, xend_var_log_t) +logging_log_filetrans(xend_t, xend_var_log_t, { sock_file file dir }) + +# var/lib files for xend +manage_dirs_pattern(xend_t, xend_var_lib_t, xend_var_lib_t) +manage_files_pattern(xend_t, xend_var_lib_t, xend_var_lib_t) +manage_sock_files_pattern(xend_t, xend_var_lib_t, xend_var_lib_t) +manage_fifo_files_pattern(xend_t, xend_var_lib_t, xend_var_lib_t) +files_var_lib_filetrans(xend_t, xend_var_lib_t, { file dir }) + +# transition to store +domtrans_pattern(xend_t, xenstored_exec_t, xenstored_t) + +# manage xenstored pid file +manage_files_pattern(xend_t, xenstored_var_run_t, xenstored_var_run_t) + +# mount tmpfs on /var/lib/xenstored +allow xend_t xenstored_var_lib_t:dir read; + +# transition to console +domtrans_pattern(xend_t, xenconsoled_exec_t, xenconsoled_t) + +kernel_read_kernel_sysctls(xend_t) +kernel_read_system_state(xend_t) +kernel_write_xen_state(xend_t) +kernel_read_xen_state(xend_t) +kernel_rw_net_sysctls(xend_t) +kernel_read_network_state(xend_t) + +corecmd_exec_bin(xend_t) +corecmd_exec_shell(xend_t) + +corenet_all_recvfrom_unlabeled(xend_t) +corenet_all_recvfrom_netlabel(xend_t) +corenet_tcp_sendrecv_generic_if(xend_t) +corenet_tcp_sendrecv_generic_node(xend_t) +corenet_tcp_sendrecv_all_ports(xend_t) +corenet_tcp_bind_generic_node(xend_t) +corenet_tcp_bind_xen_port(xend_t) +corenet_tcp_bind_soundd_port(xend_t) +corenet_tcp_bind_generic_port(xend_t) +corenet_tcp_bind_vnc_port(xend_t) +corenet_tcp_connect_xserver_port(xend_t) +corenet_tcp_connect_xen_port(xend_t) +corenet_sendrecv_xserver_client_packets(xend_t) +corenet_sendrecv_xen_server_packets(xend_t) +corenet_sendrecv_xen_client_packets(xend_t) +corenet_sendrecv_soundd_server_packets(xend_t) +corenet_rw_tun_tap_dev(xend_t) + +dev_read_urand(xend_t) +dev_filetrans_xen(xend_t) +dev_rw_sysfs(xend_t) +dev_rw_xen(xend_t) + +domain_dontaudit_read_all_domains_state(xend_t) +domain_dontaudit_ptrace_all_domains(xend_t) + +files_read_etc_files(xend_t) +files_read_kernel_symbol_table(xend_t) +files_read_kernel_img(xend_t) +files_manage_etc_runtime_files(xend_t) +files_etc_filetrans_etc_runtime(xend_t, file) +files_read_usr_files(xend_t) +files_read_default_symlinks(xend_t) + +term_getattr_all_ptys(xend_t) +term_use_generic_ptys(xend_t) +term_use_ptmx(xend_t) +term_getattr_pty_fs(xend_t) + +init_stream_connect_script(xend_t) + +locallogin_dontaudit_use_fds(xend_t) + +logging_send_syslog_msg(xend_t) + +lvm_domtrans(xend_t) + +miscfiles_read_localization(xend_t) +miscfiles_read_hwdata(xend_t) + +mount_domtrans(xend_t) + +sysnet_domtrans_dhcpc(xend_t) +sysnet_signal_dhcpc(xend_t) +sysnet_domtrans_ifconfig(xend_t) +sysnet_dns_name_resolve(xend_t) +sysnet_delete_dhcpc_pid(xend_t) +sysnet_read_dhcpc_pid(xend_t) +sysnet_rw_dhcp_config(xend_t) + +userdom_dontaudit_search_user_home_dirs(xend_t) + +xen_stream_connect_xenstore(xend_t) + +netutils_domtrans(xend_t) + +optional_policy(` + brctl_domtrans(xend_t) +') + +optional_policy(` + consoletype_exec(xend_t) +') + +######################################## +# +# Xen console local policy +# + +allow xenconsoled_t self:capability { dac_override fsetid ipc_lock }; +allow xenconsoled_t self:process setrlimit; +allow xenconsoled_t self:unix_stream_socket create_stream_socket_perms; +allow xenconsoled_t self:fifo_file rw_fifo_file_perms; + +allow xenconsoled_t xen_devpts_t:chr_file rw_term_perms; + +# pid file +manage_files_pattern(xenconsoled_t, xenconsoled_var_run_t, xenconsoled_var_run_t) +manage_sock_files_pattern(xenconsoled_t, xenconsoled_var_run_t, xenconsoled_var_run_t) +files_pid_filetrans(xenconsoled_t, xenconsoled_var_run_t, { file sock_file }) + +kernel_read_kernel_sysctls(xenconsoled_t) +kernel_write_xen_state(xenconsoled_t) +kernel_read_xen_state(xenconsoled_t) + +dev_rw_xen(xenconsoled_t) +dev_filetrans_xen(xenconsoled_t) +dev_rw_sysfs(xenconsoled_t) + +domain_dontaudit_ptrace_all_domains(xenconsoled_t) + +files_read_etc_files(xenconsoled_t) +files_read_usr_files(xenconsoled_t) + +fs_list_tmpfs(xenconsoled_t) +fs_manage_xenfs_dirs(xenconsoled_t) +fs_manage_xenfs_files(xenconsoled_t) + +term_create_pty(xenconsoled_t, xen_devpts_t) +term_use_generic_ptys(xenconsoled_t) +term_use_console(xenconsoled_t) + +init_use_fds(xenconsoled_t) +init_use_script_ptys(xenconsoled_t) + +miscfiles_read_localization(xenconsoled_t) + +xen_manage_log(xenconsoled_t) +xen_stream_connect_xenstore(xenconsoled_t) + +optional_policy(` + ptchown_domtrans(xenconsoled_t) +') + +######################################## +# +# Xen store local policy +# + +allow xenstored_t self:capability { dac_override ipc_lock sys_resource }; +allow xenstored_t self:unix_stream_socket create_stream_socket_perms; +allow xenstored_t self:unix_dgram_socket create_socket_perms; + +manage_files_pattern(xenstored_t, xenstored_tmp_t, xenstored_tmp_t) +manage_dirs_pattern(xenstored_t, xenstored_tmp_t, xenstored_tmp_t) +files_tmp_filetrans(xenstored_t, xenstored_tmp_t, { file dir }) + +# pid file +manage_files_pattern(xenstored_t, xenstored_var_run_t, xenstored_var_run_t) +manage_sock_files_pattern(xenstored_t, xenstored_var_run_t, xenstored_var_run_t) +files_pid_filetrans(xenstored_t, xenstored_var_run_t, { file sock_file }) + +# log files +manage_dirs_pattern(xenstored_t, xenstored_var_log_t, xenstored_var_log_t) +manage_files_pattern(xenstored_t, xenstored_var_log_t, xenstored_var_log_t) +manage_sock_files_pattern(xenstored_t, xenstored_var_log_t, xenstored_var_log_t) +logging_log_filetrans(xenstored_t, xenstored_var_log_t, { sock_file file dir }) + +# var/lib files for xenstored +manage_dirs_pattern(xenstored_t, xenstored_var_lib_t, xenstored_var_lib_t) +manage_files_pattern(xenstored_t, xenstored_var_lib_t, xenstored_var_lib_t) +manage_sock_files_pattern(xenstored_t, xenstored_var_lib_t, xenstored_var_lib_t) +files_var_lib_filetrans(xenstored_t, xenstored_var_lib_t, { file dir sock_file }) + +stream_connect_pattern(xenstored_t, evtchnd_var_run_t, evtchnd_var_run_t, evtchnd_t) + +kernel_write_xen_state(xenstored_t) +kernel_read_xen_state(xenstored_t) + +dev_filetrans_xen(xenstored_t) +dev_rw_xen(xenstored_t) +dev_read_sysfs(xenstored_t) + +files_read_etc_files(xenstored_t) + +files_read_usr_files(xenstored_t) + +fs_manage_xenfs_files(xenstored_t) + +term_use_generic_ptys(xenstored_t) + +init_use_fds(xenstored_t) +init_use_script_ptys(xenstored_t) + +logging_send_syslog_msg(xenstored_t) + +miscfiles_read_localization(xenstored_t) + +xen_append_log(xenstored_t) + +######################################## +# +# xm local policy +# + +allow xm_t self:capability { dac_override ipc_lock sys_tty_config }; +allow xm_t self:process { getsched signal }; + +# internal communication is often done using fifo and unix sockets. +allow xm_t self:fifo_file rw_fifo_file_perms; +allow xm_t self:unix_stream_socket { create_stream_socket_perms connectto }; +allow xm_t self:tcp_socket create_stream_socket_perms; + +manage_files_pattern(xm_t, xend_var_lib_t, xend_var_lib_t) +manage_fifo_files_pattern(xm_t, xend_var_lib_t, xend_var_lib_t) +manage_sock_files_pattern(xm_t, xend_var_lib_t, xend_var_lib_t) +files_search_var_lib(xm_t) + +allow xm_t xen_image_t:dir rw_dir_perms; +allow xm_t xen_image_t:file read_file_perms; +allow xm_t xen_image_t:blk_file read_blk_file_perms; + +kernel_read_system_state(xm_t) +kernel_read_kernel_sysctls(xm_t) +kernel_read_sysctl(xm_t) +kernel_read_xen_state(xm_t) +kernel_write_xen_state(xm_t) + +corecmd_exec_bin(xm_t) +corecmd_exec_shell(xm_t) + +corenet_tcp_sendrecv_generic_if(xm_t) +corenet_tcp_sendrecv_generic_node(xm_t) +corenet_tcp_connect_soundd_port(xm_t) + +dev_read_urand(xm_t) +dev_read_sysfs(xm_t) + +files_read_etc_runtime_files(xm_t) +files_read_usr_files(xm_t) +files_list_mnt(xm_t) +# Some common macros (you might be able to remove some) +files_read_etc_files(xm_t) + +fs_getattr_all_fs(xm_t) +fs_manage_xenfs_dirs(xm_t) +fs_manage_xenfs_files(xm_t) + +term_use_all_terms(xm_t) + +init_stream_connect_script(xm_t) +init_rw_script_stream_sockets(xm_t) +init_use_fds(xm_t) + +miscfiles_read_localization(xm_t) + +sysnet_dns_name_resolve(xm_t) + +xen_append_log(xm_t) +xen_stream_connect(xm_t) +xen_stream_connect_xenstore(xm_t) + +optional_policy(` + dbus_system_bus_client(xm_t) + + optional_policy(` + hal_dbus_chat(xm_t) + ') +') + +optional_policy(` + virt_domtrans(xm_t) + virt_manage_images(xm_t) + virt_manage_config(xm_t) + virt_stream_connect(xm_t) +') + +######################################## +# +# SSH component local policy +# +optional_policy(` + ssh_basic_client_template(xm, xm_t, system_r) + + kernel_read_xen_state(xm_ssh_t) + kernel_write_xen_state(xm_ssh_t) + + files_search_tmp(xm_ssh_t) + + fs_manage_xenfs_dirs(xm_ssh_t) + fs_manage_xenfs_files(xm_ssh_t) + + #Should have a boolean wrapping these + fs_list_auto_mountpoints(xend_t) + files_search_mnt(xend_t) + fs_getattr_all_fs(xend_t) + fs_read_dos_files(xend_t) + fs_manage_xenfs_dirs(xend_t) + fs_manage_xenfs_files(xend_t) + + tunable_policy(`xen_use_nfs',` + fs_manage_nfs_files(xend_t) + fs_read_nfs_symlinks(xend_t) + ') + + optional_policy(` + unconfined_domain(xend_t) + ') +') |