Chris PeBenito 17de1b7
Chris PeBenito 693d4ae
policy_module(ssh,1.3.13)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# Declarations
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
attribute ssh_server;
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
# ssh client executable.
Chris PeBenito 17de1b7
type ssh_exec_t;
Chris PeBenito 17de1b7
corecmd_executable_file(ssh_exec_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
type ssh_keygen_t;
Chris PeBenito 17de1b7
type ssh_keygen_exec_t;
Chris PeBenito 75beb95
init_system_domain(ssh_keygen_t,ssh_keygen_exec_t)
Chris PeBenito 75beb95
role system_r types ssh_keygen_t;
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
type ssh_keysign_exec_t;
Chris PeBenito 17de1b7
corecmd_executable_file(ssh_keysign_exec_t)
Chris PeBenito 17de1b7
Chris PeBenito e070dd2
type sshd_exec_t;
Chris PeBenito 17de1b7
corecmd_executable_file(sshd_exec_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
type sshd_key_t;
Chris PeBenito 17de1b7
files_type(sshd_key_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
ifdef(`targeted_policy',`
Chris PeBenito 17de1b7
	unconfined_alias_domain(sshd_t)
Chris PeBenito 17de1b7
	init_system_domain(sshd_t,sshd_exec_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	type sshd_var_run_t;
Chris PeBenito 17de1b7
	files_type(sshd_var_run_t)
Chris PeBenito e070dd2
Chris PeBenito e070dd2
	ifdef(`enable_mcs',`
Chris PeBenito e070dd2
		init_ranged_system_domain(sshd_t,sshd_exec_t,s0 - mcs_systemhigh)
Chris PeBenito e070dd2
	')
Chris PeBenito 17de1b7
',`
Chris PeBenito 17de1b7
	# Type for the ssh-agent executable.
Chris PeBenito 17de1b7
	type ssh_agent_exec_t;
Chris PeBenito 17de1b7
	files_type(ssh_agent_exec_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	ssh_server_template(sshd)
Chris PeBenito 17de1b7
	ssh_server_template(sshd_extern)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	# cjp: commenting this out until typeattribute works in a conditional
Chris PeBenito 17de1b7
#	optional_policy(`
Chris PeBenito 17de1b7
#		tunable_policy(`run_ssh_inetd',`
Chris PeBenito 17de1b7
#			inetd_tcp_service_domain(sshd_t,sshd_exec_t)
Chris PeBenito 17de1b7
#		',`
Chris PeBenito 17de1b7
#			init_daemon_domain(sshd_t,sshd_exec_t)
Chris PeBenito 17de1b7
#		')
Chris PeBenito 17de1b7
#	',`
Chris PeBenito 17de1b7
		# These rules should match the else block
Chris PeBenito 17de1b7
		# of the run_ssh_inetd tunable directly above
Chris PeBenito 17de1b7
		init_daemon_domain(sshd_t,sshd_exec_t)
Chris PeBenito e070dd2
Chris PeBenito e070dd2
		ifdef(`enable_mcs',`
Chris PeBenito e070dd2
			init_ranged_daemon_domain(sshd_t,sshd_exec_t,s0 - mcs_systemhigh)
Chris PeBenito e070dd2
		')
Chris PeBenito 17de1b7
#	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	type sshd_tmp_t;
Chris PeBenito 17de1b7
	files_tmp_file(sshd_tmp_t)
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
#################################
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# sshd local policy
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# sshd_t is the domain for the sshd program.
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
ifdef(`strict_policy',`
Chris PeBenito 17de1b7
	# so a tunnel can point to another ssh tunnel
Chris PeBenito 17de1b7
	allow sshd_t self:netlink_route_socket r_netlink_socket_perms;
Chris PeBenito 693d4ae
	allow sshd_t self:key { search link write };
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	allow sshd_t sshd_tmp_t:dir create_dir_perms;
Chris PeBenito 17de1b7
	allow sshd_t sshd_tmp_t:file create_file_perms;
Chris PeBenito 17de1b7
	allow sshd_t sshd_tmp_t:sock_file create_file_perms;
Chris PeBenito 17de1b7
	files_tmp_filetrans(sshd_t, sshd_tmp_t, { dir file sock_file })
Chris PeBenito 17de1b7
Chris PeBenito 693d4ae
	kernel_link_key(sshd_t)
Chris PeBenito 693d4ae
Chris PeBenito 17de1b7
	# for X forwarding
Chris PeBenito 17de1b7
	corenet_tcp_bind_xserver_port(sshd_t)
Chris PeBenito 17de1b7
	corenet_sendrecv_xserver_server_packets(sshd_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	tunable_policy(`ssh_sysadm_login',`
Chris PeBenito 17de1b7
		# Relabel and access ptys created by sshd
Chris PeBenito 17de1b7
		# ioctl is necessary for logout() processing for utmp entry and for w to
Chris PeBenito 17de1b7
		# display the tty.
Chris PeBenito 17de1b7
		# some versions of sshd on the new SE Linux require setattr
Chris PeBenito 17de1b7
		term_use_all_user_ptys(sshd_t)
Chris PeBenito 17de1b7
		term_setattr_all_user_ptys(sshd_t)
Chris PeBenito 17de1b7
		term_relabelto_all_user_ptys(sshd_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
		userdom_spec_domtrans_all_users(sshd_t)
Chris PeBenito 17de1b7
		userdom_signal_all_users(sshd_t)
Chris PeBenito 17de1b7
	',`
Chris PeBenito 17de1b7
		userdom_spec_domtrans_unpriv_users(sshd_t)
Chris PeBenito 17de1b7
		userdom_signal_unpriv_users(sshd_t)
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
		userdom_setattr_unpriv_users_ptys(sshd_t)
Chris PeBenito 17de1b7
		userdom_relabelto_unpriv_users_ptys(sshd_t)
Chris PeBenito 17de1b7
		userdom_use_unpriv_users_ptys(sshd_t)
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	optional_policy(`
Chris PeBenito 17de1b7
		daemontools_service_domain(sshd_t, sshd_exec_t)
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	optional_policy(`
Chris PeBenito 17de1b7
		rpm_use_script_fds(sshd_t)
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	optional_policy(`
Chris PeBenito 17de1b7
		rssh_spec_domtrans_all_users(sshd_t)
Chris PeBenito 17de1b7
		# For reading /home/user/.ssh
Chris PeBenito 17de1b7
		rssh_read_all_users_ro_content(sshd_t)
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	ifdef(`TODO',`
Chris PeBenito 17de1b7
	tunable_policy(`ssh_sysadm_login',`
Chris PeBenito 17de1b7
		# Relabel and access ptys created by sshd
Chris PeBenito 17de1b7
		# ioctl is necessary for logout() processing for utmp entry and for w to
Chris PeBenito 17de1b7
		# display the tty.
Chris PeBenito 17de1b7
		# some versions of sshd on the new SE Linux require setattr
Chris PeBenito 17de1b7
		allow sshd_t ptyfile:chr_file relabelto;
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
		optional_policy(`
Chris PeBenito 17de1b7
			domain_trans(sshd_t, xauth_exec_t, userdomain)
Chris PeBenito 17de1b7
		')
Chris PeBenito 17de1b7
	',`
Chris PeBenito 17de1b7
		optional_policy(`
Chris PeBenito 17de1b7
			domain_trans(sshd_t, xauth_exec_t, unpriv_userdomain)
Chris PeBenito 17de1b7
		')
Chris PeBenito 17de1b7
		# Relabel and access ptys created by sshd
Chris PeBenito 17de1b7
		# ioctl is necessary for logout() processing for utmp entry and for w to
Chris PeBenito 17de1b7
		# display the tty.
Chris PeBenito 17de1b7
		# some versions of sshd on the new SE Linux require setattr
Chris PeBenito 17de1b7
		allow sshd_t userpty_type:chr_file { relabelto read write getattr ioctl setattr };
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
	') dnl endif TODO
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
#################################
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# sshd_extern local policy
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# sshd_extern_t is the domain for ssh from outside our network
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
ifdef(`strict_policy',`
Chris PeBenito 17de1b7
	ifdef(`TODO',`
Chris PeBenito 17de1b7
	domain_trans(sshd_extern_t, shell_exec_t, user_mini_domain)
Chris PeBenito 17de1b7
	# Signal the user domains.
Chris PeBenito 17de1b7
	allow sshd_extern_t user_mini_domain:process signal;
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	ifdef(`xauth.te', `
Chris PeBenito 17de1b7
	domain_trans(sshd_extern_t, xauth_exec_t, user_mini_domain)
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	# Relabel and access ptys created by sshd
Chris PeBenito 17de1b7
	# ioctl is necessary for logout() processing for utmp entry and for w to
Chris PeBenito 17de1b7
	# display the tty.
Chris PeBenito 17de1b7
	# some versions of sshd on the new SE Linux require setattr
Chris PeBenito 17de1b7
	allow sshd_extern_t user_mini_domain:chr_file { relabelto read write getattr ioctl setattr };
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	# inheriting stream sockets is needed for "ssh host command" as no pty
Chris PeBenito 17de1b7
	# is allocated
Chris PeBenito 17de1b7
	allow user_mini_domain sshd_extern_t:unix_stream_socket rw_stream_socket_perms;
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	optional_policy(`
Chris PeBenito 17de1b7
		tunable_policy(`run_ssh_inetd',`
Chris PeBenito 17de1b7
			domain_trans(inetd_t, sshd_exec_t, sshd_extern_t)
Chris PeBenito 17de1b7
		',`
Chris PeBenito 17de1b7
			domain_trans(initrc_t, sshd_exec_t, sshd_extern_t)
Chris PeBenito 17de1b7
		')
Chris PeBenito 17de1b7
	',`
Chris PeBenito 17de1b7
		# These rules should match the else block
Chris PeBenito 17de1b7
		# of the run_ssh_inetd tunable directly above
Chris PeBenito 17de1b7
		domain_trans(initrc_t, sshd_exec_t, sshd_extern_t)
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
	ifdef(`direct_sysadm_daemon', `
Chris PeBenito 17de1b7
	# Direct execution by sysadm_r.
Chris PeBenito 17de1b7
	domain_auto_trans(sysadm_t, sshd_exec_t, sshd_t)
Chris PeBenito 17de1b7
	role_transition sysadm_r sshd_exec_t system_r;
Chris PeBenito 17de1b7
	')
Chris PeBenito 17de1b7
	') dnl endif TODO
Chris PeBenito 17de1b7
')
Chris PeBenito 17de1b7
Chris PeBenito 17de1b7
########################################
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
# ssh_keygen local policy
Chris PeBenito 17de1b7
#
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
# ssh_keygen_t is the type of the ssh-keygen program when run at install time
Chris PeBenito 75beb95
# and by sysadm_t
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
dontaudit ssh_keygen_t self:capability sys_tty_config;
Chris PeBenito 75beb95
allow ssh_keygen_t self:process { sigchld sigkill sigstop signull signal };
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
allow ssh_keygen_t self:unix_stream_socket create_stream_socket_perms;
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
allow ssh_keygen_t sshd_key_t:file create_file_perms;
Chris PeBenito 75beb95
files_etc_filetrans(ssh_keygen_t,sshd_key_t,file)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
kernel_read_kernel_sysctls(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
fs_search_auto_mountpoints(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
dev_read_sysfs(ssh_keygen_t)
Chris PeBenito 75beb95
dev_read_urand(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
term_dontaudit_use_console(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
domain_use_interactive_fds(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
files_read_etc_files(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
init_use_fds(ssh_keygen_t)
Chris PeBenito 75beb95
init_use_script_ptys(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
libs_use_ld_so(ssh_keygen_t)
Chris PeBenito 75beb95
libs_use_shared_libs(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
logging_send_syslog_msg(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
allow ssh_keygen_t proc_t:dir r_dir_perms;
Chris PeBenito 75beb95
allow ssh_keygen_t proc_t:lnk_file read;
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
userdom_use_sysadm_ttys(ssh_keygen_t)
Chris PeBenito 75beb95
userdom_dontaudit_use_unpriv_user_fds(ssh_keygen_t)
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
# cjp: with the old daemon_(base_)domain being broken up into
Chris PeBenito 75beb95
# a daemon and system interface, this probably is not needed:
Chris PeBenito 75beb95
ifdef(`direct_sysadm_daemon',`
Chris PeBenito 75beb95
	userdom_dontaudit_use_sysadm_terms(ssh_keygen_t)
Chris PeBenito 75beb95
')
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
ifdef(`targeted_policy',`
Chris PeBenito 75beb95
	term_dontaudit_use_unallocated_ttys(ssh_keygen_t)
Chris PeBenito 75beb95
	term_dontaudit_use_generic_ptys(ssh_keygen_t)
Chris PeBenito 75beb95
	files_dontaudit_read_root_files(ssh_keygen_t)
Chris PeBenito 75beb95
')
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
optional_policy(`
Chris PeBenito 75beb95
	nscd_socket_use(ssh_keygen_t)
Chris PeBenito 75beb95
')
Chris PeBenito 17de1b7
Chris PeBenito 75beb95
optional_policy(`
Chris PeBenito 75beb95
	seutil_sigchld_newrole(ssh_keygen_t)
Chris PeBenito 75beb95
')
Chris PeBenito 75beb95
Chris PeBenito 75beb95
optional_policy(`
Chris PeBenito 75beb95
	udev_read_db(ssh_keygen_t)
Chris PeBenito 17de1b7
')