Chris PeBenito e181fe0
Chris PeBenito 704327e
policy_module(bootloader,1.0.1)
Chris PeBenito 960373d
Chris PeBenito a2d8246
########################################
Chris PeBenito a2d8246
#
Chris PeBenito a2d8246
# Declarations
Chris PeBenito a2d8246
#
Chris PeBenito a2d8246
Chris PeBenito c9428d3
attribute rw_kern_modules;
Chris PeBenito b4cd153
Chris PeBenito b4cd153
#
Chris PeBenito b4cd153
# boot_t is the type for files in /boot
Chris PeBenito b4cd153
#
Chris PeBenito b4cd153
type boot_t;
Chris PeBenito 8fd3673
files_type(boot_t)
Chris PeBenito c9428d3
files_mountpoint(boot_t)
Chris PeBenito b4cd153
Chris PeBenito 5f75f56
#
Chris PeBenito 5f75f56
# boot_runtime_t is the type for /boot/kernel.h,
Chris PeBenito 5f75f56
# which is automatically generated at boot time.
Chris PeBenito 5f75f56
# only for Red Hat
Chris PeBenito 5f75f56
#
Chris PeBenito 70dcf79
type boot_runtime_t;
Chris PeBenito 8fd3673
files_type(boot_runtime_t)
Chris PeBenito 70dcf79
Chris PeBenito 5f75f56
type bootloader_t;
Chris PeBenito c9428d3
domain_type(bootloader_t)
Chris PeBenito 3ce6cb4
role system_r types bootloader_t;
Chris PeBenito 5f75f56
Chris PeBenito 5f75f56
type bootloader_exec_t;
Chris PeBenito c9428d3
domain_entry_file(bootloader_t,bootloader_exec_t)
Chris PeBenito 5f75f56
Chris PeBenito b4cd153
#
Chris PeBenito b4cd153
# bootloader_etc_t is the configuration file,
Chris PeBenito b4cd153
# grub.conf, lilo.conf, etc.
Chris PeBenito b4cd153
#
Chris PeBenito b4cd153
type bootloader_etc_t alias etc_bootloader_t;
Chris PeBenito 8fd3673
files_type(bootloader_etc_t)
Chris PeBenito b4cd153
Chris PeBenito b4cd153
#
Chris PeBenito b4cd153
# The temp file is used for initrd creation;
Chris PeBenito b4cd153
# it consists of files and device nodes
Chris PeBenito b4cd153
#
Chris PeBenito b4cd153
type bootloader_tmp_t;
Chris PeBenito c9428d3
files_tmp_file(bootloader_tmp_t)
Karl MacMillan f0c985c
dev_node(bootloader_tmp_t)
Chris PeBenito b4cd153
Chris PeBenito 5f75f56
# kernel modules
Chris PeBenito 5f75f56
type modules_object_t;
Chris PeBenito 8fd3673
files_type(modules_object_t)
Chris PeBenito 5f75f56
Chris PeBenito 15fefa4
#neverallow ~rw_kern_modules modules_object_t:file { create append write };
Chris PeBenito 5f75f56
Chris PeBenito 5f75f56
#
Chris PeBenito 5f75f56
# system_map_t is for the system.map files in /boot
Chris PeBenito 5f75f56
#
Chris PeBenito 5f75f56
type system_map_t;
Chris PeBenito 8fd3673
files_type(system_map_t)
Chris PeBenito 5f75f56
Chris PeBenito 710791f
#
Chris PeBenito 710791f
# /var/log/ksyms
Chris PeBenito 710791f
# cjp: this probably can be removed, I do not
Chris PeBenito 710791f
# think it is used on 2.6 kernels
Chris PeBenito 710791f
type var_log_ksyms_t;
Chris PeBenito c3cf669
logging_log_file(var_log_ksyms_t)
Chris PeBenito 710791f
Chris PeBenito 8a0da10
########################################
Chris PeBenito 8a0da10
#
Chris PeBenito 8a0da10
# bootloader local policy
Chris PeBenito 8a0da10
#
Chris PeBenito 8a0da10
Chris PeBenito b4cd153
allow bootloader_t self:capability { dac_read_search fsetid sys_rawio sys_admin mknod chown };
Chris PeBenito b4cd153
allow bootloader_t self:process { sigkill sigstop signull signal };
Chris PeBenito b4cd153
allow bootloader_t self:fifo_file { getattr read write };
Chris PeBenito b4cd153
Chris PeBenito 704327e
allow bootloader_t boot_t:dir { create rw_dir_perms };
Chris PeBenito 603f90a
allow bootloader_t boot_t:file create_file_perms;
Chris PeBenito 603f90a
allow bootloader_t boot_t:lnk_file create_lnk_perms;
Chris PeBenito 7bba9d3
Chris PeBenito c2c00be
allow bootloader_t bootloader_etc_t:file r_file_perms;
Chris PeBenito 7bba9d3
# uncomment the following lines if you use "lilo -p"
Chris PeBenito 7bba9d3
#allow bootloader_t bootloader_etc_t:file { create ioctl read getattr lock write setattr append link unlink rename };
Chris PeBenito c9428d3
#files_create_etc_config(bootloader_t,bootloader_etc_t)
Chris PeBenito 7bba9d3
Chris PeBenito c2c00be
allow bootloader_t bootloader_tmp_t:dir create_dir_perms;
Chris PeBenito c2c00be
allow bootloader_t bootloader_tmp_t:file create_file_perms;
Chris PeBenito c2c00be
allow bootloader_t bootloader_tmp_t:chr_file create_file_perms;
Chris PeBenito c2c00be
allow bootloader_t bootloader_tmp_t:blk_file create_file_perms;
Chris PeBenito c2c00be
allow bootloader_t bootloader_tmp_t:lnk_file create_lnk_perms;
Chris PeBenito c9428d3
files_create_tmp_files(bootloader_t,bootloader_tmp_t,{ dir file lnk_file chr_file blk_file })
Chris PeBenito 7bba9d3
# for tune2fs (cjp: ?)
Chris PeBenito c9428d3
files_create_root(bootloader_t,bootloader_tmp_t)
Chris PeBenito 7bba9d3
Chris PeBenito c2c00be
allow bootloader_t modules_object_t:dir r_dir_perms;
Chris PeBenito c2c00be
allow bootloader_t modules_object_t:file r_file_perms;
Chris PeBenito c2c00be
allow bootloader_t modules_object_t:lnk_file r_file_perms;
Chris PeBenito 7bba9d3
Chris PeBenito 0fd9dc5
kernel_getattr_core(bootloader_t)
Chris PeBenito b4cd153
kernel_read_system_state(bootloader_t)
Chris PeBenito b4cd153
kernel_read_software_raid_state(bootloader_t)
Chris PeBenito b4cd153
kernel_read_kernel_sysctl(bootloader_t)
Chris PeBenito b4cd153
Chris PeBenito b4cd153
storage_raw_read_fixed_disk(bootloader_t)
Chris PeBenito b4cd153
storage_raw_write_fixed_disk(bootloader_t)
Chris PeBenito b4cd153
storage_raw_read_removable_device(bootloader_t)
Chris PeBenito b4cd153
storage_raw_write_removable_device(bootloader_t)
Chris PeBenito b4cd153
Karl MacMillan f0c985c
dev_getattr_all_chr_files(bootloader_t)
Chris PeBenito 9d3bdc2
dev_getattr_all_blk_files(bootloader_t)
Karl MacMillan f0c985c
dev_dontaudit_rw_generic_dev_nodes(bootloader_t)
Karl MacMillan f0c985c
dev_read_rand(bootloader_t)
Karl MacMillan f0c985c
dev_read_urand(bootloader_t)
Chris PeBenito 7a2f20a
dev_getattr_sysfs_dir(bootloader_t)
Chris PeBenito 3ce6cb4
# for reading BIOS data
Karl MacMillan f0c985c
dev_read_raw_memory(bootloader_t)
Chris PeBenito b4cd153
Chris PeBenito 0fd9dc5
fs_getattr_xattr_fs(bootloader_t)
Chris PeBenito 7bba9d3
Chris PeBenito 0fd9dc5
term_getattr_all_user_ttys(bootloader_t)
Chris PeBenito 5f38a65
term_dontaudit_manage_pty_dir(bootloader_t)
Chris PeBenito 7bba9d3
Chris PeBenito 1aa5262
corecmd_exec_bin(bootloader_t)
Chris PeBenito 1aa5262
corecmd_exec_sbin(bootloader_t)
Chris PeBenito 1aa5262
corecmd_exec_shell(bootloader_t)
Chris PeBenito a2d8246
Chris PeBenito 1aa5262
domain_exec_all_entry_files(bootloader_t)
Chris PeBenito c9428d3
domain_use_wide_inherit_fd(bootloader_t)
Chris PeBenito a2d8246
Chris PeBenito 8fd3673
files_read_etc_files(bootloader_t)
Chris PeBenito 681c9a0
files_exec_etc_files(bootloader_t)
Chris PeBenito c9428d3
files_read_etc_runtime_files(bootloader_t)
Chris PeBenito 8fd3673
files_read_usr_src_files(bootloader_t)
Chris PeBenito c9428d3
files_read_usr_files(bootloader_t)
Chris PeBenito 8fd3673
files_read_var_files(bootloader_t)
Chris PeBenito 7bba9d3
# for nscd
Chris PeBenito c9428d3
files_dontaudit_search_pids(bootloader_t)
Chris PeBenito a2d8246
Chris PeBenito 1aa5262
init_getattr_initctl(bootloader_t)
Chris PeBenito 1aa5262
init_use_script_pty(bootloader_t)
Chris PeBenito 1aa5262
init_use_script_fd(bootloader_t)
Chris PeBenito 1aa5262
init_rw_script_pipe(bootloader_t)
Chris PeBenito 1aa5262
Chris PeBenito 1aa5262
libs_use_ld_so(bootloader_t)
Chris PeBenito 1aa5262
libs_use_shared_libs(bootloader_t)
Chris PeBenito 1aa5262
libs_read_lib(bootloader_t)
Chris PeBenito 681c9a0
libs_exec_lib_files(bootloader_t)
Chris PeBenito b4cd153
Chris PeBenito c9428d3
logging_send_syslog_msg(bootloader_t)
Chris PeBenito c9428d3
logging_rw_generic_logs(bootloader_t)
Chris PeBenito b4cd153
Chris PeBenito 7bba9d3
miscfiles_read_localization(bootloader_t)
Chris PeBenito b4cd153
Chris PeBenito 5e0da6a
seutil_read_binary_pol(bootloader_t)
Chris PeBenito 5e0da6a
seutil_read_loadpol(bootloader_t)
Chris PeBenito a5f339f
seutil_dontaudit_search_config(bootloader_t)
Chris PeBenito 8a0da10
Chris PeBenito 58c3da5
ifdef(`distro_debian',`
Chris PeBenito 58c3da5
	allow bootloader_t bootloader_tmp_t:{ dir file } { relabelfrom relabelto };
Chris PeBenito 58c3da5
	allow bootloader_t modules_object_t:file { relabelfrom relabelto unlink };
Chris PeBenito 58c3da5
	allow bootloader_t boot_t:file relabelfrom;
Chris PeBenito 58c3da5
Chris PeBenito 5f38a65
	fs_list_tmpfs(bootloader_t)
Chris PeBenito 5f38a65
Chris PeBenito 5f38a65
	files_relabelto_usr_files(bootloader_t)
Chris PeBenito 5f38a65
	files_search_var_lib(bootloader_t)
Chris PeBenito 58c3da5
	# for /usr/share/initrd-tools/scripts
Chris PeBenito 58c3da5
	files_exec_usr_files(bootloader_t)
Chris PeBenito 5f38a65
Chris PeBenito 5f38a65
	fstools_manage_entry_files(bootloader_t)
Chris PeBenito 5f38a65
	fstools_relabelto_entry_files(bootloader_t)
Chris PeBenito 5f38a65
Chris PeBenito 2d803ed
	init_list_script_pids(bootloader_t)
Chris PeBenito 2d803ed
Chris PeBenito 5f38a65
	libs_relabelto_lib_files(bootloader_t)
Chris PeBenito 7bba9d3
')
Chris PeBenito a2d8246
Chris PeBenito 58c3da5
ifdef(`distro_redhat',`
Chris PeBenito 0c73cd2
	# for memlock
Chris PeBenito 0c73cd2
	allow bootloader_t self:capability ipc_lock;
Chris PeBenito 0c73cd2
Chris PeBenito 0c73cd2
	# new file system defaults to file_t, granting file_t access is still bad.
Chris PeBenito c2c00be
	allow bootloader_t boot_runtime_t:file { r_file_perms unlink };
Chris PeBenito 0c73cd2
Chris PeBenito 0c73cd2
	# mkinitrd mount initrd on bootloader temp dir
Chris PeBenito c9428d3
	files_mountpoint(bootloader_tmp_t)
Chris PeBenito 0c73cd2
Chris PeBenito 58c3da5
	# new file system defaults to file_t, granting file_t access is still bad.
Chris PeBenito 58c3da5
	files_manage_isid_type_dir(bootloader_t)
Chris PeBenito 58c3da5
	files_manage_isid_type_file(bootloader_t)
Chris PeBenito 58c3da5
	files_manage_isid_type_symlink(bootloader_t)
Chris PeBenito 58c3da5
	files_manage_isid_type_blk_node(bootloader_t)
Chris PeBenito 58c3da5
	files_manage_isid_type_chr_node(bootloader_t)
Chris PeBenito 58c3da5
Chris PeBenito 0c73cd2
	# for mke2fs
Chris PeBenito c9428d3
	mount_domtrans(bootloader_t)
Chris PeBenito 7bba9d3
')
Chris PeBenito a2d8246
Chris PeBenito 704327e
ifdef(`targeted_policy',`
Chris PeBenito 704327e
	term_use_unallocated_tty(bootloader_t)
Chris PeBenito 704327e
	term_use_generic_pty(bootloader_t)
Chris PeBenito 704327e
')
Chris PeBenito 704327e
Chris PeBenito 1328802
optional_policy(`fstools',`
Chris PeBenito 71fe0fa
	fstools_exec(bootloader_t)
Chris PeBenito 7bba9d3
')
Chris PeBenito a2d8246
Chris PeBenito 1328802
optional_policy(`lvm',`
Karl MacMillan f0c985c
	dev_rw_lvm_control(bootloader_t)
Chris PeBenito 0c73cd2
Chris PeBenito c9428d3
	lvm_domtrans(bootloader_t)
Chris PeBenito 0c73cd2
	lvm_read_config(bootloader_t)
Chris PeBenito 7bba9d3
')
Chris PeBenito a2d8246
Chris PeBenito 1328802
optional_policy(`modutils',`
Chris PeBenito 12ae755
	modutils_exec_insmod(bootloader_t)
Chris PeBenito 8fd3673
	modutils_read_mods_deps(bootloader_t)
Chris PeBenito c9428d3
	modutils_read_module_conf(bootloader_t)
Chris PeBenito c9428d3
	modutils_exec_insmod(bootloader_t)
Chris PeBenito c9428d3
	modutils_exec_depmod(bootloader_t)
Chris PeBenito c9428d3
	modutils_exec_update_mods(bootloader_t)
Chris PeBenito 7bba9d3
')
Chris PeBenito b4cd153
Chris PeBenito 1328802
optional_policy(`nscd',`
Chris PeBenito 704327e
	nscd_use_socket(bootloader_t)
Chris PeBenito 704327e
')
Chris PeBenito 704327e
Chris PeBenito 1328802
optional_policy(`rpm',`
Chris PeBenito b24f35d
	rpm_rw_pipe(bootloader_t)
Chris PeBenito b24f35d
')
Chris PeBenito b24f35d
Chris PeBenito 1328802
optional_policy(`userdomain',`
Chris PeBenito a5f339f
	userdom_dontaudit_search_staff_home_dir(bootloader_t)
Chris PeBenito a5f339f
	userdom_dontaudit_search_sysadm_home_dir(bootloader_t)
Chris PeBenito a5f339f
')
Chris PeBenito b4cd153
Chris PeBenito a5f339f
ifdef(`TODO',`
Chris PeBenito 254bbc7
ifdef(`distro_debian', `
Chris PeBenito 5f38a65
	# cjp: there is no setfscreate or type_transition, and
Chris PeBenito 5f38a65
	# bootloader_t cannot rw a usr_t or lib_t directory, so
Chris PeBenito 5f38a65
	# how can this work?  This is probably rw_file_perms,
Chris PeBenito 5f38a65
	# possibly with unlink.  Files are probably "created"
Chris PeBenito 5f38a65
	# by the above relabeling permissions.
Chris PeBenito 5f38a65
	allow bootloader_t { usr_t lib_t }:file create_file_perms;
Chris PeBenito 5f38a65
Chris PeBenito 0c73cd2
	allow bootloader_t dpkg_var_lib_t:dir r_dir_perms;
Chris PeBenito 0c73cd2
	allow bootloader_t dpkg_var_lib_t:file { getattr read };
Chris PeBenito b4cd153
')
Chris PeBenito b4cd153
') dnl end TODO