# Copyright (C) 2005 Tresys Technology, LLC

policy_module(usermanage,1.0)

########################################

#

# Declarations

#

type admin_passwd_exec_t;

files_make_file(admin_passwd_exec_t)

type chfn_t;

kernel_make_object_identity_change_constraint_exception(chfn_t)

domain_make_domain(chfn_t)

role system_r types chfn_t;

type chfn_exec_t;

domain_make_entrypoint_file(chfn_t,chfn_exec_t)

type crack_t;

role system_r types crack_t;

type crack_exec_t;

domain_make_entrypoint_file(crack_t,crack_exec_t)

type crack_db_t; #, usercanread;

files_make_file(crack_db_t)

type crack_tmp_t;

files_make_temporary_file(crack_tmp_t)

type groupadd_t; #, nscd_client_domain;

type groupadd_exec_t;

kernel_make_object_identity_change_constraint_exception(groupadd_t)

init_make_system_domain(groupadd_t,groupadd_exec_t)

role system_r types groupadd_t;

type passwd_t;

kernel_make_object_identity_change_constraint_exception(passwd_t)

domain_make_domain(passwd_t)

role system_r types passwd_t;

type passwd_exec_t;

domain_make_entrypoint_file(passwd_t,passwd_exec_t)

type sysadm_passwd_t;

kernel_make_object_identity_change_constraint_exception(sysadm_passwd_t)

domain_make_domain(sysadm_passwd_t)

domain_make_entrypoint_file(sysadm_passwd_t,admin_passwd_exec_t)

type sysadm_passwd_tmp_t;

files_make_file(sysadm_passwd_tmp_t)

type useradd_t; # nscd_client_domain;

type useradd_exec_t;

kernel_make_object_identity_change_constraint_exception(useradd_t)

init_make_system_domain(useradd_t,useradd_exec_t)

role system_r types useradd_t;

########################################

#

# Chfn local policy

#

allow chfn_t self:capability { chown dac_override fsetid setuid setgid sys_resource };

allow chfn_t self:process ~{ ptrace setcurrent setexec setfscreate setrlimit execmem dyntransition };

allow chfn_t self:process { setrlimit setfscreate };

allow chfn_t self:fd use;

allow chfn_t self:fifo_file { read getattr lock ioctl write append };

allow chfn_t self:unix_dgram_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown };

allow chfn_t self:unix_stream_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown listen accept };

allow chfn_t self:unix_dgram_socket sendto;

allow chfn_t self:unix_stream_socket connectto;

allow chfn_t self:shm { associate getattr setattr create destroy read write lock unix_read unix_write };

allow chfn_t self:sem { associate getattr setattr create destroy read write unix_read unix_write };

allow chfn_t self:msgq { associate getattr setattr create destroy read write enqueue unix_read unix_write };

allow chfn_t self:msg { send receive };

kernel_read_system_state(chfn_t)

kernel_get_selinuxfs_mount_point(chfn_t)

kernel_validate_selinux_context(chfn_t)

kernel_compute_selinux_av(chfn_t)

kernel_compute_create(chfn_t)

kernel_compute_relabel(chfn_t)

kernel_compute_reachable_user_contexts(chfn_t)

terminal_use_all_private_physical_terminals(chfn_t)

terminal_use_all_private_pseudoterminals(chfn_t)

filesystem_get_persistent_filesystem_attributes(chfn_t)

# for SSP

devices_get_pseudorandom_data(chfn_t)

# /usr/bin/passwd asks for w access to utmp, but it will operate

# correctly without it.  Do not audit write denials to utmp.

init_script_ignore_modify_runtime_data(chfn_t)

domain_use_widely_inheritable_file_descriptors(chfn_t)

files_manage_general_system_config(chfn_t)

files_read_runtime_system_config(chfn_t)

libraries_use_dynamic_loader(chfn_t)

libraries_use_shared_libraries(chfn_t)

miscfiles_read_localization(chfn_t)

logging_send_system_log_message(chfn_t)

authlogin_check_password_transition(chfn_t)

authlogin_ignore_read_shadow_passwords(chfn_t)

ifdef(`TODO',`

role sysadm_r types chfn_t;

in_user_role(chfn_t)

domain_auto_trans({ userdomain ifdef(`firstboot.te', `firstboot_t') }, chfn_exec_t, chfn_t)

dontaudit chfn_t var_t:dir search;

allow chfn_t unpriv_userdomain:fd use;

can_ypbind(chfn_t)

ifdef(`automount.te', `

allow chfn_t autofs_t:dir { search getattr };

')

ifdef(`gnome-pty-helper.te', `allow chfn_t gphdomain:fd use;')

# allow checking if a shell is executable

allow chfn_t shell_exec_t:file execute;

# user generally runs this from their home directory, so do not audit a search

# on user home dir

dontaudit chfn_t { user_home_dir_type user_home_type }:dir search;

# can exec /sbin/unix_chkpwd

allow chfn_t { bin_t sbin_t }:dir search;

# uses unix_chkpwd for checking passwords

dontaudit chfn_t selinux_config_t:dir search;

') dnl endif TODO

########################################

#

# Crack local policy

#

allow crack_t self:process { sigkill sigstop signull signal };

allow crack_t self:fifo_file { read write getattr };

allow crack_t crack_db_t:dir { read getattr lock search ioctl add_name remove_name write };

allow crack_t crack_db_t:file { create ioctl read getattr lock write setattr append link unlink rename };

allow crack_t crack_db_t:lnk_file { create read getattr setattr link unlink rename };

files_search_system_state_data_directory(crack_t)

allow crack_t crack_tmp_t:dir { create read getattr lock setattr ioctl link unlink rename search add_name remove_name reparent write rmdir };

allow crack_t crack_tmp_t:file { create ioctl read getattr lock write setattr append link unlink rename };

files_create_private_tmp_data(crack_t, crack_tmp_t, { file dir })

kernel_read_system_state(crack_t)

# for SSP

devices_get_pseudorandom_data(crack_t)

filesystem_get_persistent_filesystem_attributes(crack_t)

files_read_general_system_config(crack_t)

files_read_runtime_system_config(crack_t)

# for dictionaries

files_read_general_application_resources(crack_t)

corecommands_execute_general_programs(crack_t)

libraries_use_dynamic_loader(crack_t)

libraries_use_shared_libraries(crack_t)

logging_send_system_log_message(crack_t)

ifdef(`TODO',`

ifdef(`crond.te', `

domain_auto_trans(system_crond_t, crack_exec_t, crack_t)

allow crack_t crond_t:fifo_file { getattr read write ioctl };

# a rule for privfd may make this obsolete

allow crack_t crond_t:fd use;

allow crack_t crond_t:process sigchld;

')

dontaudit crack_t sysadm_home_dir_t:dir { getattr search };

') dnl endif TODO

########################################

#

# Groupadd local policy

#

allow groupadd_t self:capability { dac_override chown kill setuid sys_resource };

dontaudit groupadd_t self:capability fsetid;

allow groupadd_t self:process ~{ ptrace setcurrent setexec setfscreate setrlimit execmem dyntransition };

allow groupadd_t self:process { setrlimit setfscreate };

allow groupadd_t self:fd use;

allow groupadd_t self:fifo_file { read getattr lock ioctl write append };

allow groupadd_t self:unix_dgram_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown };

allow groupadd_t self:unix_stream_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown listen accept };

allow groupadd_t self:unix_dgram_socket sendto;

allow groupadd_t self:unix_stream_socket connectto;

allow groupadd_t self:shm { associate getattr setattr create destroy read write lock unix_read unix_write };

allow groupadd_t self:sem { associate getattr setattr create destroy read write unix_read unix_write };

allow groupadd_t self:msgq { associate getattr setattr create destroy read write enqueue unix_read unix_write };

allow groupadd_t self:msg { send receive };

# Allow access to context for shadow file

kernel_get_selinuxfs_mount_point(groupadd_t)

kernel_validate_selinux_context(groupadd_t)

kernel_compute_selinux_av(groupadd_t)

kernel_compute_create(groupadd_t)

kernel_compute_relabel(groupadd_t)

kernel_compute_reachable_user_contexts(groupadd_t)

filesystem_get_persistent_filesystem_attributes(groupadd_t)

terminal_use_all_private_physical_terminals(groupadd_t)

terminal_use_all_private_pseudoterminals(groupadd_t)

init_use_file_descriptors(groupadd_t)

init_script_read_runtime_data(groupadd_t)

domain_use_widely_inheritable_file_descriptors(groupadd_t)

files_manage_general_system_config(groupadd_t)

libraries_use_dynamic_loader(groupadd_t)

libraries_use_shared_libraries(groupadd_t)

# Execute /usr/bin/{passwd,chfn,chsh} and /usr/sbin/{useradd,vipw}.

corecommands_execute_general_programs(groupadd_t)

corecommands_execute_system_programs(groupadd_t)

logging_send_system_log_message(groupadd_t)

miscfiles_read_localization(groupadd_t)

authlogin_manage_shadow_passwords(groupadd_t)

authlogin_modify_last_login_log(groupadd_t)

selinux_read_config(groupadd_t)

ifdef(`TODO',`

role sysadm_r types groupadd_t;

domain_auto_trans(sysadm_t, groupadd_exec_t, groupadd_t)

allow groupadd_t unpriv_userdomain:fd use;

can_ypbind(groupadd_t)

ifdef(`automount.te', `

allow groupadd_t autofs_t:dir { search getattr };

')

# Update /etc/shadow and /etc/passwd

allow groupadd_t { etc_t shadow_t }:file { relabelfrom relabelto };

# Access terminals.

ifdef(`gnome-pty-helper.te', `allow groupadd_t gphdomain:fd use;')

# for when /root is the cwd

dontaudit groupadd_t sysadm_home_dir_t:dir search;

dontaudit groupadd_t initrc_var_run_t:file write;

') dnl end TODO

########################################

#

# Passwd local policy

#

allow passwd_t self:capability { chown dac_override fsetid setuid setgid sys_resource };

allow passwd_t self:process ~{ ptrace setcurrent setexec setfscreate setrlimit execmem dyntransition };

allow passwd_t self:process { setrlimit setfscreate };

allow passwd_t self:fd use;

allow passwd_t self:fifo_file { read getattr lock ioctl write append };

allow passwd_t self:unix_dgram_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown };

allow passwd_t self:unix_stream_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown listen accept };

allow passwd_t self:unix_dgram_socket sendto;

allow passwd_t self:unix_stream_socket connectto;

allow passwd_t self:shm { associate getattr setattr create destroy read write lock unix_read unix_write };

allow passwd_t self:sem { associate getattr setattr create destroy read write unix_read unix_write };

allow passwd_t self:msgq { associate getattr setattr create destroy read write enqueue unix_read unix_write };

allow passwd_t self:msg { send receive };

kernel_get_selinuxfs_mount_point(passwd_t)

kernel_validate_selinux_context(passwd_t)

kernel_compute_selinux_av(passwd_t)

kernel_compute_create(passwd_t)

kernel_compute_relabel(passwd_t)

kernel_compute_reachable_user_contexts(passwd_t)

# for SSP

devices_get_pseudorandom_data(passwd_t)

filesystem_get_persistent_filesystem_attributes(passwd_t)

terminal_use_all_private_physical_terminals(passwd_t)

terminal_use_all_private_pseudoterminals(passwd_t)

# /usr/bin/passwd asks for w access to utmp, but it will operate

# correctly without it.  Do not audit write denials to utmp.

init_script_ignore_modify_runtime_data(passwd_t)

domain_use_widely_inheritable_file_descriptors(passwd_t)

files_read_runtime_system_config(passwd_t)

files_manage_general_system_config(passwd_t)

libraries_use_dynamic_loader(passwd_t)

libraries_use_shared_libraries(passwd_t)

logging_send_system_log_message(passwd_t)

miscfiles_read_localization(passwd_t)

authlogin_manage_shadow_passwords(passwd_t)

ifdef(`TODO',`

role sysadm_r types passwd_t;

# Update /etc/shadow and /etc/passwd

allow passwd_t { etc_t shadow_t }:file { relabelfrom relabelto };

allow passwd_t unpriv_userdomain:fd use;

can_ypbind(passwd_t)

ifdef(`automount.te', `

allow passwd_t autofs_t:dir { search getattr };

')

# Inherit and use descriptors from login.

ifdef(`gnome-pty-helper.te', `allow passwd_t gphdomain:fd use;')

# allow checking if a shell is executable

allow passwd_t shell_exec_t:file execute;

# user generally runs this from their home directory, so do not audit a search

# on user home dir

dontaudit passwd_t { user_home_dir_type user_home_type }:dir search;

in_user_role(passwd_t)

# make sure that getcon succeeds

allow passwd_t userdomain:dir search;

allow passwd_t userdomain:file read;

allow passwd_t userdomain:process getattr;

dontaudit passwd_t selinux_config_t:dir search;

ifdef(`crack.te', `

allow passwd_t var_t:dir search;

dontaudit passwd_t var_run_t:dir search;

allow passwd_t crack_db_t:dir r_dir_perms;

allow passwd_t crack_db_t:file r_file_perms;

', `

dontaudit passwd_t var_t:dir search;

')

domain_auto_trans({ userdomain ifdef(`firstboot.te', `firstboot_t') }, passwd_exec_t, passwd_t)

') dnl endif TODO

########################################

#

# Password admin local policy

#

allow sysadm_passwd_t self:capability { chown dac_override fsetid setuid setgid sys_resource };

allow sysadm_passwd_t self:process ~{ ptrace setcurrent setexec setfscreate setrlimit execmem dyntransition };

allow sysadm_passwd_t self:process { setrlimit setfscreate };

allow sysadm_passwd_t self:fd use;

allow sysadm_passwd_t self:fifo_file { read getattr lock ioctl write append };

allow sysadm_passwd_t self:unix_dgram_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown };

allow sysadm_passwd_t self:unix_stream_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown listen accept };

allow sysadm_passwd_t self:unix_dgram_socket sendto;

allow sysadm_passwd_t self:unix_stream_socket connectto;

allow sysadm_passwd_t self:shm { associate getattr setattr create destroy read write lock unix_read unix_write };

allow sysadm_passwd_t self:sem { associate getattr setattr create destroy read write unix_read unix_write };

allow sysadm_passwd_t self:msgq { associate getattr setattr create destroy read write enqueue unix_read unix_write };

allow sysadm_passwd_t self:msg { send receive };

# allow vipw to create temporary files under /var/tmp/vi.recover

allow sysadm_passwd_t sysadm_passwd_tmp_t:dir { create read getattr lock setattr ioctl link unlink rename search add_name remove_name reparent write rmdir };

allow sysadm_passwd_t sysadm_passwd_tmp_t:file { create ioctl read getattr lock write setattr append link unlink rename };

files_create_private_tmp_data(sysadm_passwd_t, sysadm_passwd_tmp_t, { file dir })

files_search_system_state_data_directory(sysadm_passwd_t)

kernel_get_selinuxfs_mount_point(sysadm_passwd_t)

kernel_validate_selinux_context(sysadm_passwd_t)

kernel_compute_selinux_av(sysadm_passwd_t)

kernel_compute_create(sysadm_passwd_t)

kernel_compute_relabel(sysadm_passwd_t)

kernel_compute_reachable_user_contexts(sysadm_passwd_t)

# for /proc/meminfo

kernel_read_system_state(sysadm_passwd_t)

# for SSP

devices_get_pseudorandom_data(sysadm_passwd_t)

filesystem_get_persistent_filesystem_attributes(sysadm_passwd_t)

terminal_use_all_private_physical_terminals(sysadm_passwd_t)

terminal_use_all_private_pseudoterminals(sysadm_passwd_t)

# /usr/bin/passwd asks for w access to utmp, but it will operate

# correctly without it.  Do not audit write denials to utmp.

init_script_ignore_modify_runtime_data(sysadm_passwd_t)

domain_use_widely_inheritable_file_descriptors(sysadm_passwd_t)

files_manage_general_system_config(sysadm_passwd_t)

files_read_runtime_system_config(sysadm_passwd_t)

# allow vipw to exec the editor

corecommands_execute_general_programs(sysadm_passwd_t)

corecommands_execute_shell(sysadm_passwd_t)

files_read_general_application_resources(sysadm_passwd_t)

libraries_use_dynamic_loader(sysadm_passwd_t)

libraries_use_shared_libraries(sysadm_passwd_t)

miscfiles_read_localization(sysadm_passwd_t)

logging_send_system_log_message(sysadm_passwd_t)

authlogin_manage_shadow_passwords(sysadm_passwd_t)

ifdef(`TODO',`

role sysadm_r types sysadm_passwd_t;

domain_auto_trans(sysadm_t, admin_passwd_exec_t, sysadm_passwd_t)

allow sysadm_passwd_t unpriv_userdomain:fd use;

can_ypbind(sysadm_passwd_t)

ifdef(`automount.te', `

allow sysadm_passwd_t autofs_t:dir { search getattr };

')

# Inherit and use descriptors from login.

ifdef(`gnome-pty-helper.te', `allow sysadm_passwd_t gphdomain:fd use;')

# allow checking if a shell is executable

allow sysadm_passwd_t shell_exec_t:file execute;

# user generally runs this from their home directory, so do not audit a search

# on user home dir

dontaudit sysadm_passwd_t { user_home_dir_type user_home_type }:dir search;

# Update /etc/shadow and /etc/passwd

allow sysadm_passwd_t { etc_t shadow_t }:file { relabelfrom relabelto };

# for vipw - vi looks in the root home directory for config

dontaudit sysadm_passwd_t sysadm_home_dir_t:dir { getattr search };

# for nscd lookups

dontaudit sysadm_passwd_t var_run_t:dir search;

dontaudit sysadm_passwd_t selinux_config_t:dir search;

') dnl endif TODO

########################################

#

# Useradd local policy

#

allow useradd_t self:capability { dac_override chown kill fowner fsetid setuid sys_resource };

allow useradd_t self:process ~{ ptrace setcurrent setexec setfscreate setrlimit execmem dyntransition };

allow useradd_t self:process setfscreate;

allow useradd_t self:fd use;

allow useradd_t self:fifo_file { read getattr lock ioctl write append };

allow useradd_t self:unix_dgram_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown };

allow useradd_t self:unix_stream_socket { create ioctl read getattr write setattr append bind connect getopt setopt shutdown listen accept };

allow useradd_t self:unix_dgram_socket sendto;

allow useradd_t self:unix_stream_socket connectto;

allow useradd_t self:shm { associate getattr setattr create destroy read write lock unix_read unix_write };

allow useradd_t self:sem { associate getattr setattr create destroy read write unix_read unix_write };

allow useradd_t self:msgq { associate getattr setattr create destroy read write enqueue unix_read unix_write };

allow useradd_t self:msg { send receive };

# Allow access to context for shadow file

kernel_get_selinuxfs_mount_point(useradd_t)

kernel_validate_selinux_context(useradd_t)

kernel_compute_selinux_av(useradd_t)

kernel_compute_create(useradd_t)

kernel_compute_relabel(useradd_t)

kernel_compute_reachable_user_contexts(useradd_t)

# for getting the number of groups

kernel_read_kernel_sysctl(useradd_t)

filesystem_get_persistent_filesystem_attributes(useradd_t)

terminal_use_all_private_physical_terminals(useradd_t)

terminal_use_all_private_pseudoterminals(useradd_t)

init_use_file_descriptors(useradd_t)

init_script_modify_runtime_data(useradd_t)

domain_use_widely_inheritable_file_descriptors(useradd_t)

files_manage_general_system_config(useradd_t)

libraries_use_dynamic_loader(useradd_t)

libraries_use_shared_libraries(useradd_t)

corecommands_execute_shell(useradd_t)

# Execute /usr/bin/{passwd,chfn,chsh} and /usr/sbin/{useradd,vipw}.

corecommands_execute_general_programs(useradd_t)

corecommands_execute_system_programs(useradd_t)

miscfiles_read_localization(useradd_t)

selinux_read_config(useradd_t)

logging_send_system_log_message(useradd_t)

authlogin_manage_shadow_passwords(useradd_t)

authlogin_modify_last_login_log(useradd_t)

ifdef(`TODO',`

role sysadm_r types useradd_t;

domain_auto_trans(sysadm_t, useradd_exec_t, useradd_t)

allow useradd_t unpriv_userdomain:fd use;

can_ypbind(useradd_t)

ifdef(`automount.te', `

allow useradd_t autofs_t:dir { search getattr };

')

# Update /etc/shadow and /etc/passwd

allow useradd_t { etc_t shadow_t }:file { relabelfrom relabelto };

# Access terminals.

ifdef(`gnome-pty-helper.te', `allow useradd_t gphdomain:fd use;')

# for when /root is the cwd

dontaudit useradd_t sysadm_home_dir_t:dir search;

# Add/remove user home directories

file_type_auto_trans(useradd_t, home_root_t, user_home_dir_t, dir)

file_type_auto_trans(useradd_t, user_home_dir_t, user_home_t)

# create/delete mail spool file in /var/mail

allow useradd_t var_spool_t:dir search;

allow useradd_t mail_spool_t:dir { search write add_name remove_name };

allow useradd_t mail_spool_t:file create_file_perms;

# /var/mail is a link to /var/spool/mail

allow useradd_t mail_spool_t:lnk_file read;

') dnl end TODO