policy_module(kerberos,1.0)

########################################
#
# Declarations
#

type kadmind_t;
type kadmind_exec_t;
init_daemon_domain(kadmind_t,kadmind_exec_t)

type kadmind_log_t;
logging_log_file(kadmind_log_t)

type kadmind_tmp_t;
files_tmp_file(kadmind_tmp_t)

type kadmind_var_run_t;
files_pid_file(kadmind_var_run_t)

type krb5_conf_t;
files_type(krb5_conf_t)

# types for general configuration files in /etc
type krb5_keytab_t;
files_security_file(krb5_keytab_t)

# types for KDC configs and principal file(s)
type krb5kdc_conf_t;
files_type(krb5kdc_conf_t)

# types for KDC principal file(s)
type krb5kdc_principal_t;
files_type(krb5kdc_principal_t)

type krb5kdc_t;
type krb5kdc_exec_t;
init_daemon_domain(krb5kdc_t,krb5kdc_exec_t)

type krb5kdc_log_t;
logging_log_file(krb5kdc_log_t)

type krb5kdc_tmp_t;
files_tmp_file(krb5kdc_tmp_t)

type krb5kdc_var_run_t;
files_pid_file(krb5kdc_var_run_t)

########################################
#
# kadmind local policy
#

# Use capabilities. Surplus capabilities may be allowed.
allow kadmind_t self:capability { setuid setgid chown fowner dac_override sys_nice };
dontaudit kadmind_t self:capability sys_tty_config;
allow kadmind_t self:tcp_socket connected_stream_socket_perms;
allow kadmind_t self:netlink_route_socket r_netlink_socket_perms;
allow kadmind_t self:unix_dgram_socket { connect create write };

allow kadmind_t kadmind_log_t:file create_file_perms;
logging_create_log(kadmind_t,kadmind_log_t)

allow kadmind_t krb5_conf_t:file r_file_perms;
dontaudit kadmind_t krb5_conf_t:file write;

allow kadmind_t krb5kdc_conf_t:dir search;
allow kadmind_t krb5kdc_conf_t:file r_file_perms;
dontaudit kadmind_t krb5kdc_conf_t:file write;

allow kadmind_t krb5kdc_principal_t:file { getattr lock read write setattr };

can_exec(kadmind_t, kadmind_exec_t)

allow kadmind_t kadmind_tmp_t:dir create_dir_perms;
allow kadmind_t kadmind_tmp_t:file create_file_perms;
files_create_tmp_files(kadmind_t, kadmind_tmp_t, { file dir })

allow kadmind_t kadmind_var_run_t:file { getattr create read write append setattr unlink };
files_create_pid(kadmind_t,kadmind_var_run_t)

kernel_read_kernel_sysctl(kadmind_t)
kernel_list_proc(kadmind_t)
kernel_read_proc_symlinks(kadmind_t)

corenet_tcp_sendrecv_all_if(kadmind_t)
corenet_raw_sendrecv_all_if(kadmind_t)
corenet_tcp_sendrecv_all_nodes(kadmind_t)
corenet_raw_sendrecv_all_nodes(kadmind_t)
corenet_tcp_sendrecv_all_ports(kadmind_t)
corenet_tcp_bind_all_nodes(kadmind_t)
corenet_tcp_bind_kerberos_admin_port(kadmind_t)
corenet_udp_bind_kerberos_admin_port(kadmind_t)
corenet_tcp_bind_reserved_port(kadmind_t)
corenet_dontaudit_tcp_bind_all_reserved_ports(kadmind_t)

dev_read_sysfs(kadmind_t)
dev_read_rand(kadmind_t)
dev_read_urand(kadmind_t)

fs_getattr_all_fs(kadmind_t)
fs_search_auto_mountpoints(kadmind_t)

term_dontaudit_use_console(kadmind_t)

domain_use_wide_inherit_fd(kadmind_t)

files_read_etc_files(kadmind_t)

init_use_fd(kadmind_t)
init_use_script_pty(kadmind_t)

libs_use_ld_so(kadmind_t)
libs_use_shared_libs(kadmind_t)

logging_send_syslog_msg(kadmind_t)

miscfiles_read_localization(kadmind_t)

sysnet_read_config(kadmind_t)

userdom_dontaudit_use_unpriv_user_fd(kadmind_t)
userdom_dontaudit_search_sysadm_home_dir(kadmind_t)

ifdef(`targeted_policy', `
	term_dontaudit_use_unallocated_tty(kadmind_t)
	term_dontaudit_use_generic_pty(kadmind_t)
	files_dontaudit_read_root_file(kadmind_t)
')

optional_policy(`nis.te',`
	nis_use_ypbind(kadmind_t)
')

optional_policy(`selinuxutil.te',`
	seutil_sigchld_newrole(kadmind_t)
')

optional_policy(`udev.te', `
	udev_read_db(kadmind_t)
')

ifdef(`TODO',`
optional_policy(`rhgb.te',`
	rhgb_domain(kadmind_t)
')
') dnl end TODO

########################################
#
# Krb5kdc local policy
#

# Use capabilities. Surplus capabilities may be allowed.
allow krb5kdc_t self:capability { setuid setgid net_admin chown fowner dac_override sys_nice };
dontaudit krb5kdc_t self:capability sys_tty_config;
allow krb5kdc_t self:tcp_socket connected_stream_socket_perms;
allow krb5kdc_t self:netlink_route_socket r_netlink_socket_perms;

allow krb5kdc_t krb5_conf_t:file r_file_perms;
dontaudit krb5kdc_t krb5_conf_t:file write;

can_exec(krb5kdc_t, krb5kdc_exec_t)

allow krb5kdc_t krb5kdc_conf_t:dir search;
allow krb5kdc_t krb5kdc_conf_t:file r_file_perms;
dontaudit krb5kdc_t krb5kdc_conf_t:file write;

allow krb5kdc_t krb5kdc_log_t:file create_file_perms;
logging_create_log(krb5kdc_t,krb5kdc_log_t)

allow krb5kdc_t krb5kdc_principal_t:file r_file_perms;
dontaudit krb5kdc_t krb5kdc_principal_t:file write;

allow krb5kdc_t krb5kdc_tmp_t:dir create_dir_perms;
allow krb5kdc_t krb5kdc_tmp_t:file create_file_perms;
files_create_tmp_files(krb5kdc_t, krb5kdc_tmp_t, { file dir })

allow krb5kdc_t krb5kdc_var_run_t:file { getattr create read write append setattr unlink };
files_create_pid(krb5kdc_t,krb5kdc_var_run_t)

kernel_read_system_state(krb5kdc_t)
kernel_read_kernel_sysctl(krb5kdc_t)
kernel_list_proc(krb5kdc_t)
kernel_read_proc_symlinks(krb5kdc_t)

corenet_tcp_sendrecv_all_if(krb5kdc_t)
corenet_raw_sendrecv_all_if(krb5kdc_t)
corenet_tcp_sendrecv_all_nodes(krb5kdc_t)
corenet_raw_sendrecv_all_nodes(krb5kdc_t)
corenet_tcp_sendrecv_all_ports(krb5kdc_t)
corenet_tcp_bind_all_nodes(krb5kdc_t)
corenet_tcp_bind_kerberos_port(krb5kdc_t)
corenet_udp_bind_kerberos_port(krb5kdc_t)

dev_read_sysfs(krb5kdc_t)
dev_read_urand(krb5kdc_t)

fs_getattr_all_fs(krb5kdc_t)
fs_search_auto_mountpoints(krb5kdc_t)

term_dontaudit_use_console(krb5kdc_t)

domain_use_wide_inherit_fd(krb5kdc_t)

files_read_etc_files(krb5kdc_t)

init_use_fd(krb5kdc_t)
init_use_script_pty(krb5kdc_t)

libs_use_ld_so(krb5kdc_t)
libs_use_shared_libs(krb5kdc_t)

logging_send_syslog_msg(krb5kdc_t)

miscfiles_read_localization(krb5kdc_t)

sysnet_read_config(krb5kdc_t)

userdom_dontaudit_use_unpriv_user_fd(krb5kdc_t)
userdom_dontaudit_search_sysadm_home_dir(krb5kdc_t)

ifdef(`targeted_policy', `
	term_dontaudit_use_unallocated_tty(krb5kdc_t)
	term_dontaudit_use_generic_pty(krb5kdc_t)
	files_dontaudit_read_root_file(krb5kdc_t)
')

optional_policy(`nis.te',`
	nis_use_ypbind(krb5kdc_t)
')

optional_policy(`selinuxutil.te',`
	seutil_sigchld_newrole(krb5kdc_t)
')

optional_policy(`udev.te', `
	udev_read_db(krb5kdc_t)
')

ifdef(`TODO',`
optional_policy(`rhgb.te',`
	rhgb_domain(krb5kdc_t)
')

# Allow user programs to talk to KDC
allow krb5kdc_t userdomain:udp_socket recvfrom;
allow userdomain krb5kdc_t:udp_socket recvfrom;
') dnl end TODO