Chris PeBenito 5540e7
## <summary>Restricted (scp/sftp) only shell</summary>
Chris PeBenito 5540e7
Chris PeBenito 5540e7
#######################################
Chris PeBenito 5540e7
## <summary>
Chris PeBenito bbcd3c
##	The per role template for the rssh module.
Chris PeBenito 5540e7
## </summary>
Chris PeBenito 5540e7
## <desc>
Chris PeBenito 5540e7
##	

Chris PeBenito 5540e7
##	This template creates a derived domains which are used
Chris PeBenito 5540e7
##	for rssh client sessions.  Derived types are also created
Chris PeBenito 5540e7
##	for read-only and read-write file access.
Chris PeBenito 5540e7
##	

Chris PeBenito 5540e7
##	

Chris PeBenito 5540e7
##	This template is invoked automatically for each user, and
Chris PeBenito 5540e7
##	generally does not need to be invoked directly
Chris PeBenito 5540e7
##	by policy writers.
Chris PeBenito 5540e7
##	

Chris PeBenito 5540e7
## </desc>
Chris PeBenito 5540e7
## <param name="userdomain_prefix">
Chris PeBenito 5540e7
##	<summary>
Chris PeBenito 5540e7
##	The prefix of the user domain (e.g., user
Chris PeBenito 5540e7
##	is the prefix for user_t).
Chris PeBenito 5540e7
##	</summary>
Chris PeBenito 5540e7
## </param>
Chris PeBenito 5540e7
#
Chris PeBenito bbcd3c
template(`rssh_per_role_template',`
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	##############################
Chris PeBenito 5540e7
	#
Chris PeBenito 5540e7
	# Declarations
Chris PeBenito 5540e7
	#
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	type $1_rssh_t alias rssh_$1_t, rssh_domain_type;
Chris PeBenito 5540e7
	domain_type($1_rssh_t)
Chris PeBenito 5540e7
	domain_entry_file($1_rssh_t,rssh_exec_t)
Chris PeBenito 5540e7
	domain_user_exemption_target($1_t)
Chris PeBenito 5540e7
	domain_interactive_fd($1_rssh_t)
Chris PeBenito 5540e7
	role system_r types $1_rssh_t;
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	type $1_rssh_devpts_t alias rssh_$1_devpts_t;
Chris PeBenito 5540e7
	term_user_pty($1_rssh_t,$1_rssh_devpts_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	type $1_rssh_ro_t alias rssh_$1_ro_t, rssh_ro_content_type;
Chris PeBenito 5540e7
	userdom_user_home_content($1,$1_rssh_ro_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	type $1_rssh_rw_t alias rssh_$1_rw_t;
Chris PeBenito 5540e7
	userdom_user_home_content($1,$1_rssh_rw_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	##############################
Chris PeBenito 5540e7
	#
Chris PeBenito 5540e7
	# Local policy
Chris PeBenito 5540e7
	#
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	allow $1_rssh_t self:process ~{ ptrace setcurrent setexec setfscreate setrlimit execmem execstack execheap };
Chris PeBenito 5540e7
	allow $1_rssh_t self:fd use;
Chris PeBenito c0868a
	allow $1_rssh_t self:fifo_file rw_fifo_file_perms;
Chris PeBenito 5540e7
	allow $1_rssh_t self:unix_dgram_socket create_socket_perms;
Chris PeBenito 5540e7
	allow $1_rssh_t self:unix_stream_socket create_stream_socket_perms;
Chris PeBenito 5540e7
	allow $1_rssh_t self:unix_dgram_socket sendto;
Chris PeBenito 5540e7
	allow $1_rssh_t self:unix_stream_socket connectto;
Chris PeBenito 5540e7
	allow $1_rssh_t self:shm create_shm_perms;
Chris PeBenito 5540e7
	allow $1_rssh_t self:sem create_sem_perms;
Chris PeBenito 5540e7
	allow $1_rssh_t self:msgq create_msgq_perms;
Chris PeBenito 5540e7
	allow $1_rssh_t self:msg { send receive };
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	allow $1_rssh_t $1_rssh_devpts_t:chr_file { rw_file_perms setattr };
Chris PeBenito 5540e7
	term_create_pty($1_rssh_t,$1_rssh_devpts_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	allow $1_rssh_t $1_rssh_ro_t:dir list_dir_perms;
Chris PeBenito c0868a
	read_files_pattern($1_rssh_t,$1_rssh_ro_t,$1_rssh_ro_t)
Chris PeBenito 5540e7
Chris PeBenito c0868a
	manage_dirs_pattern($1_rssh_t,$1_rssh_rw_t,$1_rssh_rw_t)
Chris PeBenito c0868a
	manage_files_pattern($1_rssh_t,$1_rssh_rw_t,$1_rssh_rw_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	kernel_read_system_state($1_rssh_t)
Chris PeBenito 5540e7
	kernel_read_kernel_sysctls($1_rssh_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	files_read_etc_files($1_rssh_t)
Chris PeBenito 5540e7
	files_read_etc_runtime_files($1_rssh_t)
Chris PeBenito 5540e7
	files_list_home($1_rssh_t)
Chris PeBenito 5540e7
	files_read_usr_files($1_rssh_t)
Chris PeBenito 5540e7
	files_list_var($1_rssh_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	fs_search_auto_mountpoints($1_rssh_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	libs_use_ld_so($1_rssh_t)
Chris PeBenito 5540e7
	libs_use_shared_libs($1_rssh_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	logging_send_syslog_msg($1_rssh_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	miscfiles_read_localization($1_rssh_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	userdom_use_unpriv_users_fds($1_rssh_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	ssh_rw_tcp_sockets($1_rssh_t)
Chris PeBenito 5540e7
	ssh_rw_stream_sockets($1_rssh_t)
Chris PeBenito 5540e7
Chris PeBenito 5540e7
	optional_policy(`
Chris PeBenito 5540e7
		nis_use_ypbind($1_rssh_t)
Chris PeBenito 5540e7
	')
Chris PeBenito 5540e7
')
Chris PeBenito 5540e7
Chris PeBenito 5540e7
########################################
Chris PeBenito 5540e7
## <summary>
Chris PeBenito 5540e7
##	Transition to all user rssh domains.
Chris PeBenito 5540e7
## </summary>
Chris PeBenito 5540e7
## <param name="domain">
Chris PeBenito 5540e7
##	<summary>
Chris PeBenito 5540e7
##	Domain allowed access.
Chris PeBenito 5540e7
##	</summary>
Chris PeBenito 5540e7
## </param>
Chris PeBenito 5540e7
#
Chris PeBenito 5540e7
interface(`rssh_spec_domtrans_all_users',`
Chris PeBenito 5540e7
	gen_require(`
Chris PeBenito 5540e7
		attribute rssh_domain_type;
Chris PeBenito 5540e7
		type rssh_exec_t;
Chris PeBenito 5540e7
	')
Chris PeBenito 5540e7
Chris PeBenito c0868a
	spec_domtrans_pattern($1,rssh_exec_t,rssh_domain_type)
Chris PeBenito 5540e7
')
Chris PeBenito 5540e7
Chris PeBenito 5540e7
########################################
Chris PeBenito 5540e7
## <summary>
Chris PeBenito 5540e7
##	Read all users rssh read-only content.
Chris PeBenito 5540e7
## </summary>
Chris PeBenito 5540e7
## <param name="domain">
Chris PeBenito 5540e7
##	<summary>
Chris PeBenito 5540e7
##	Domain allowed access.
Chris PeBenito 5540e7
##	</summary>
Chris PeBenito 5540e7
## </param>
Chris PeBenito 5540e7
#
Chris PeBenito 5540e7
interface(`rssh_read_all_users_ro_content',`
Chris PeBenito 5540e7
	gen_require(`
Chris PeBenito 5540e7
		attribute rssh_ro_content_type;
Chris PeBenito 5540e7
	')
Chris PeBenito 5540e7
Chris PeBenito c0868a
	allow $1 rssh_ro_content_type:dir list_dir_perms;
Chris PeBenito c0868a
	read_files_pattern($1,rssh_ro_content_type,rssh_ro_content_type)
Chris PeBenito c0868a
	read_lnk_files_pattern($1,rssh_ro_content_type,rssh_ro_content_type)
Chris PeBenito 5540e7
')