## <summary>SELinux policy module</summary>
## <desc>
##	<p>
##		SELinux policy module for Mugshot
##	</p>
## </desc>

#######################################
## <summary>
##      The per role template for the Mugshot module.
## </summary>
## <desc>
##      <p>
##      This template creates derived domains which are used
##      for Mugshot.
##      </p>
##      <p>
##      This template is invoked automatically for each user, and
##      generally does not need to be invoked directly
##      by policy writers.
##      </p>
## </desc>
## <param name="userdomain_prefix">
##      <summary>
##      The prefix of the user domain (e.g., user
##      is the prefix for user_t).
##      </summary>
## </param>
## <param name="user_domain">
##      <summary>
##      The type of the user domain.
##      </summary>
## </param>
## <param name="user_role">
##      <summary>
##      The role associated with the user domain.
##      </summary>
## </param>
#
template(`mugshot_per_role_template',`
        gen_require(`
                type mugshot_exec_t;
        ')

# does not work?
#	gen_tunable(browser_confine_$1,false)
	
	########################################
        #
        # Declarations
        #
        type $1_mugshot_t;
        application_domain($1_mugshot_t,mugshot_exec_t)
        role $3 types $1_mugshot_t;

        type $1_mugshot_home_t alias $1_mugshot_rw_t;
        files_poly_member($1_mugshot_home_t)
        userdom_user_home_content($1,$1_mugshot_home_t)

        type $1_mugshot_tmpfs_t;
        files_tmpfs_file($1_mugshot_tmpfs_t)

        ########################################
        #
        # Mugshot Local Policy
        #

	# self to self
	allow $1_mugshot_t self:fifo_file { write read getattr };
	allow $1_mugshot_t self:netlink_route_socket { write getattr read bind create nlmsg_read };
	allow $1_mugshot_t self:process { getsched signal };
	allow $1_mugshot_t self:tcp_socket { write getattr connect read getopt create };
	allow $1_mugshot_t self:udp_socket { write read create connect getattr };

	# self to others
	allow $1_mugshot_t $2:unix_stream_socket connectto;
	allow $1_mugshot_t $2:fd use;
	allow $1_mugshot_t $2:process sigchld;
	allow $1_mugshot_t $2:dbus send_msg;
	
	# others to self
	allow $2 $1_mugshot_t:unix_stream_socket connectto;

	# home
	manage_dirs_pattern($1_mugshot_t,$1_mugshot_home_t,$1_mugshot_home_t)
        manage_files_pattern($1_mugshot_t,$1_mugshot_home_t,$1_mugshot_home_t)
        manage_sock_files_pattern($1_mugshot_t,$1_mugshot_home_t,$1_mugshot_home_t)
	manage_lnk_files_pattern($1_mugshot_t,$1_mugshot_home_t,$1_mugshot_home_t)
	manage_fifo_files_pattern($1_mugshot_t,$1_mugshot_home_t,$1_mugshot_home_t)

	userdom_user_home_dir_filetrans($1,$1_mugshot_t,$1_mugshot_home_t,{ dir lnk_file sock_file fifo_file file })
        userdom_search_user_home_dirs($1,$1_mugshot_t)

	userdom_read_user_home_content_files($1,$1_mugshot_t)
	userdom_read_user_home_content_symlinks($1,$1_mugshot_t)

	# this is to write to home
	manage_dirs_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)
        manage_files_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)
        manage_sock_files_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)
	manage_lnk_files_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)
	manage_fifo_files_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)

	relabel_dirs_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)
        relabel_files_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)
        relabel_sock_files_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)
	relabel_lnk_files_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)
	relabel_fifo_files_pattern($2,$1_mugshot_home_t,$1_mugshot_home_t)

	#tmpfs
	manage_files_pattern($1_mugshot_t,$1_mugshot_tmpfs_t,$1_mugshot_tmpfs_t)
        manage_lnk_files_pattern($1_mugshot_t,$1_mugshot_tmpfs_t,$1_mugshot_tmpfs_t)
        manage_fifo_files_pattern($1_mugshot_t,$1_mugshot_tmpfs_t,$1_mugshot_tmpfs_t)
        manage_sock_files_pattern($1_mugshot_t,$1_mugshot_tmpfs_t,$1_mugshot_tmpfs_t)
        fs_tmpfs_filetrans($1_mugshot_t,$1_mugshot_tmpfs_t,{ file lnk_file sock_file fifo_file })
        fs_rw_tmpfs_files($1_mugshot_t)

	#network
	corenet_all_recvfrom_netlabel($1_mugshot_t)
        corenet_tcp_sendrecv_all_ports($1_mugshot_t)
        corenet_tcp_connect_all_ports($1_mugshot_t)
	corenet_raw_sendrecv_generic_if($1_mugshot_t)
	corenet_raw_sendrecv_all_nodes($1_mugshot_t)
	corenet_tcp_connect_generic_port($1_mugshot_t)
	corenet_sendrecv_ipp_client_packets($1_mugshot_t)
	corenet_tcp_connect_ipp_port($1_mugshot_t)
	corenet_tcp_sendrecv_ipp_port($1_mugshot_t)
        corenet_all_recvfrom_unlabeled($1_mugshot_t)
        corenet_tcp_sendrecv_all_if($1_mugshot_t)
        corenet_tcp_sendrecv_all_nodes($1_mugshot_t)
        corenet_tcp_bind_all_nodes($1_mugshot_t)
        corenet_sendrecv_generic_client_packets($1_mugshot_t)
	
	corenet_dontaudit_tcp_sendrecv_generic_port($1_mugshot_t)
        corenet_dontaudit_tcp_bind_generic_port($1_mugshot_t)

	#system and filesystem
	kernel_read_system_state($1_mugshot_t)
        sysnet_read_config($1_mugshot_t)

	kernel_dontaudit_read_system_state($1_mugshot_t)
        
        files_read_etc_files($1_mugshot_t)
        files_read_etc_symlinks($1_mugshot_t)
        files_read_etc_runtime_files($1_mugshot_t)
        
        files_read_usr_files($1_mugshot_t)
        files_read_usr_symlinks($1_mugshot_t)

        kernel_dontaudit_list_unlabeled($1_mugshot_t)
        kernel_dontaudit_getattr_unlabeled_files($1_mugshot_t)
        kernel_dontaudit_read_unlabeled_files($1_mugshot_t)
        
        files_dontaudit_list_non_security($1_mugshot_t)
        files_dontaudit_getattr_non_security_files($1_mugshot_t)
        fs_dontaudit_getattr_all_fs($1_mugshot_t)

        dev_getattr_sysfs_dirs($1_mugshot_t)
        fs_search_auto_mountpoints($1_mugshot_t)
        fs_list_inotifyfs($1_mugshot_t)
        
        term_dontaudit_getattr_pty_dirs($1_mugshot_t)

	selinux_dontaudit_getattr_fs($1_mugshot_t)

	dev_dontaudit_getattr_all_blk_files($1_mugshot_t)
	dev_dontaudit_getattr_all_chr_files($1_mugshot_t)

	domain_auto_trans($2, mugshot_exec_t, $1_mugshot_t)
	can_exec($2, mugshot_exec_t)

# does not work?
#	tunable_policy(`browser_confine_$1',`
#		domain_auto_trans($2, mugshot_exec_t, $1_mugshot_t)
#	',`
#		can_exec($2, mugshot_exec_t)
#	')

        allow $2 $1_mugshot_t:process { noatsecure siginh rlimitinh };

        ps_process_pattern($2,$1_mugshot_t)
        allow $2 $1_mugshot_t:process signal_perms;

        libs_exec_lib_files($1_mugshot_t)
        libs_use_ld_so($1_mugshot_t)

        miscfiles_read_localization($1_mugshot_t)

	#interfaces here:	
	corecmd_bin_entry_type($1_mugshot_t)
	dev_read_urand($1_mugshot_t)
	mozilla_read_user_home_files($1,$1_mugshot_t)
	#dbus chat
	#bigboard_dbus_chat($1_mugshot_t)	
	gen_require(`
		type $1_bigboard_t;
	')	
	allow $1_mugshot_t $1_bigboard_t:dbus send_msg;

	#x
	xserver_user_client_template($1,$1_mugshot_t,$1_mugshot_tmpfs_t)

        xserver_dontaudit_read_xdm_tmp_files($1_mugshot_t)
        xserver_dontaudit_getattr_xdm_tmp_sockets($1_mugshot_t)

	xserver_xdm_sigchld($1_mugshot_t)

	#ifdef, tunable or optional
	ifdef(`enable_mls',`',`
		fs_search_removable($1_mugshot_t)
		fs_read_removable_files($1_mugshot_t)
		fs_read_removable_symlinks($1_mugshot_t)
	')

	tunable_policy(`write_untrusted_content',`
		userdom_manage_user_home_content_dirs($1,$1_mugshot_t)
		userdom_manage_user_home_content_files($1,$1_mugshot_t)
		userdom_read_user_home_content_symlinks($1,$1_mugshot_t)
		', `
		# helper apps will try to create .files
		userdom_dontaudit_create_user_home_content_files($1,$1_mugshot_t)
	')

        tunable_policy(`use_nfs_home_dirs',`
                fs_manage_nfs_dirs($1_mugshot_t)
                fs_manage_nfs_files($1_mugshot_t)
                fs_manage_nfs_symlinks($1_mugshot_t)
        ')

        tunable_policy(`use_samba_home_dirs',`
                fs_manage_cifs_dirs($1_mugshot_t)
                fs_manage_cifs_files($1_mugshot_t)
                fs_manage_cifs_symlinks($1_mugshot_t)
        ')

allow $1_mugshot_t self:dbus send_msg;
dbus_user_bus_client_template($1,$1_mugshot,$1_mugshot_t)
dbus_system_bus_client_template($1_mugshot,$1_mugshot_t)
dbus_send_system_bus($1_mugshot_t)
dbus_send_user_bus($1_mugshot,$1_mugshot_t)

require {
        type $1_dbusd_t;
        class dbus acquire_svc;
}
allow $1_mugshot_t $1_dbusd_t:dbus acquire_svc;


	optional_policy(`
		cups_read_rw_config($1_mugshot_t)
		cups_dbus_chat($1_mugshot_t)
		cups_stream_connect($1_mugshot_t)
	')

	optional_policy(`
		nscd_socket_use($1_mugshot_t)
	')
')

########################################
## <summary>
##      Read Mugshot per user homedir
## </summary>
## <desc>
##      <p>
##      Read Mugshot per user homedir
##      </p>
##      <p>
##      This is a templated interface, and should only
##      be called from a per-userdomain template.
##      </p>
## </desc>
## <param name="userdomain_prefix">
##      <summary>
##      The prefix of the user domain (e.g., user
##      is the prefix for user_t).
##      </summary>
## </param>
## <param name="domain">
##      <summary>
##      Domain allowed access.
##      </summary>
## </param>
#
template(`mugshot_read_user_home_files',`
        gen_require(`
                type $1_mugshot_home_t;
        ')

        allow $2 $1_mugshot_home_t:dir list_dir_perms;
        allow $2 $1_mugshot_home_t:file read_file_perms;
')

########################################
## <summary>
##      Write Mugshot per user homedir
## </summary>
## <desc>
##      <p>
##      Write Mugshot per user homedir
##      </p>
##      <p>
##      This is a templated interface, and should only
##      be called from a per-userdomain template.
##      </p>
## </desc>
## <param name="userdomain_prefix">
##      <summary>
##      The prefix of the user domain (e.g., user
##      is the prefix for user_t).
##      </summary>
## </param>
## <param name="domain">
##      <summary>
##      Domain allowed access.
##      </summary>
## </param>
#
template(`mugshot_write_user_home_files',`
        gen_require(`
                type $1_mugshot_home_t;
        ')

        allow $2 $1_mugshot_home_t:dir list_dir_perms;
        allow $2 $1_mugshot_home_t:file write;
')

########################################
## <summary>
##      Run Mugshot in user Mugshot domain.
## </summary>
## <desc>
##      <p>
##      Run Mugshot in user Mugshot domain.
##      </p>
##      <p>
##      This is a templated interface, and should only
##      be called from a per-userdomain template.
##      </p>
## </desc>
## <param name="userdomain_prefix">
##      <summary>
##      The prefix of the user domain (e.g., user
##      is the prefix for user_t).
##      </summary>
## </param>
## <param name="domain">
##      <summary>
##      Domain allowed access.
##      </summary>
## </param>
#
template(`mugshot_domtrans_user_mugshot',`
        gen_require(`
                type $1_mugshot_t, mugshot_exec_t;
        ')

        domtrans_pattern($2, mugshot_exec_t,$1_mugshot_t)
')

########################################
## <summary>
##      Read/write Mugshot per user tcp_socket
## </summary>
## <desc>
##      <p>
##      Read/write Mugshot per user tcp_socket
##      </p>
##      <p>
##      This is a templated interface, and should only
##      be called from a per-userdomain template.
##      </p>
## </desc>
## <param name="userdomain_prefix">
##      <summary>
##      The prefix of the user domain (e.g., user
##      is the prefix for user_t).
##      </summary>
## </param>
## <param name="domain">
##      <summary>
##      Domain allowed access.
##      </summary>
## </param>
#
template(`mugshot_rw_user_tcp_sockets',`
        gen_require(`
                type $1_mugshot_t;
        ')

        allow $2 $1_mugshot_t:tcp_socket rw_socket_perms;
')

########################################
## <summary>
##	Mugshot connection template.
## </summary>
## <param name="userdomain_prefix">
##	<summary>
##	The prefix of the user domain (e.g., user
##	is the prefix for user_t).
##	</summary>
## </param>
## <param name="user_domain">
##	<summary>
##	The type of the user domain.
##	</summary>
## </param>
#
template(`mugshot_stream_connect_template',`
	gen_require(`
		type $1_mugshot_t;
	')

	allow $2 $1_mugshot_t:unix_stream_socket connectto;
')


########################################
## <summary>
##	Send and receive messages from
##	Mugshot over dbus.
## </summary>
## <desc>
##	<p>
##	Send and receive messages from
##	Mugshot over dbus.
##	</p>
##	<p>
##	This is a templated interface, and should only
##	be called from a per-userdomain template.
##	</p>
## </desc>
## <param name="userdomain_prefix">
##	<summary>
##	The prefix of the user domain (e.g., user
##	is the prefix for user_t).
##	</summary>
## </param>
## <param name="domain">
##	<summary>
##	Domain allowed access.
##	</summary>
## </param>
#
template(`mugshot_dbus_chat',`
	gen_require(`
		type $1_mugshot_t;
		class dbus send_msg;
	')

	allow $2 $1_mugshot_t:dbus send_msg;
	allow $1_mugshot_t $2:dbus send_msg;
')