Chris PeBenito 17de1b
## <summary>Miscelaneous files.</summary>
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Read system SSL certificates.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_read_certs',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type cert_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 cert_t:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 cert_t:file r_file_perms;
Chris PeBenito 17de1b
	allow $1 cert_t:lnk_file { getattr read };
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Read fonts.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_read_fonts',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type fonts_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	# cjp: fonts can be in either of these dirs
Chris PeBenito 17de1b
	files_search_usr($1)
Chris PeBenito 17de1b
	libs_search_lib($1)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 fonts_t:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 fonts_t:file r_file_perms;
Chris PeBenito 17de1b
	allow $1 fonts_t:lnk_file { getattr read };
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Create, read, write, and delete fonts.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_manage_fonts',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type fonts_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	# cjp: fonts can be in either of these dirs
Chris PeBenito 17de1b
	files_search_usr($1)
Chris PeBenito 17de1b
	libs_search_lib($1)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 fonts_t:dir create_dir_perms;
Chris PeBenito 17de1b
	allow $1 fonts_t:file create_file_perms;
Chris PeBenito 17de1b
	allow $1 fonts_t:lnk_file create_lnk_perms;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Read hardware identification data.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_read_hwdata',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type hwdata_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 hwdata_t:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 hwdata_t:file r_file_perms;
Chris PeBenito 17de1b
	allow $1 hwdata_t:lnk_file { getattr read };
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Allow process to read localization info
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_read_localization',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type locale_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	files_search_etc($1)
Chris PeBenito 17de1b
	# FIXME: $1 read etc_t:lnk_file here
Chris PeBenito 17de1b
	files_search_usr($1)
Chris PeBenito 17de1b
	allow $1 locale_t:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 locale_t:lnk_file r_file_perms;
Chris PeBenito 17de1b
	allow $1 locale_t:file r_file_perms;
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	# why?
Chris PeBenito 17de1b
	libs_read_lib_files($1)
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito a5e213
##	Allow process to write localization info
Chris PeBenito a5e213
## </summary>
Chris PeBenito a5e213
## <param name="domain">
Chris PeBenito a5e213
##	<summary>
Chris PeBenito a5e213
##	Domain allowed access.
Chris PeBenito a5e213
##	</summary>
Chris PeBenito a5e213
## </param>
Chris PeBenito a5e213
#
Chris PeBenito a5e213
interface(`miscfiles_rw_localization',`
Chris PeBenito a5e213
	gen_require(`
Chris PeBenito a5e213
		type locale_t;
Chris PeBenito a5e213
	')
Chris PeBenito a5e213
Chris PeBenito a5e213
	files_search_usr($1)
Chris PeBenito a5e213
	allow $1 locale_t:dir list_dir_perms;
Chris PeBenito a5e213
	allow $1 locale_t:file rw_file_perms;
Chris PeBenito a5e213
')
Chris PeBenito a5e213
Chris PeBenito a5e213
########################################
Chris PeBenito a5e213
## <summary>
Chris PeBenito 17de1b
##	Allow process to read legacy time localization info
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_legacy_read_localization',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type locale_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	miscfiles_read_localization($1)
Chris PeBenito 17de1b
	allow $1 locale_t:file execute;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Do not audit attempts to search man pages.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain to not audit.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_dontaudit_search_man_pages',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type man_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	dontaudit $1 man_t:dir search;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Read man pages
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_read_man_pages',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type man_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	files_search_usr($1)
Chris PeBenito 17de1b
	allow $1 man_t:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 man_t:file r_file_perms;
Chris PeBenito 17de1b
	allow $1 man_t:lnk_file r_file_perms;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Delete man pages
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
# cjp: added for tmpreaper
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_delete_man_pages',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type man_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	files_search_usr($1)
Chris PeBenito 17de1b
	allow $1 man_t:dir { setattr rw_dir_perms rmdir };
Chris PeBenito 17de1b
	allow $1 man_t:file { getattr unlink };
Chris PeBenito 17de1b
	allow $1 man_t:lnk_file { getattr unlink };
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Create, read, write, and delete man pages
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_manage_man_pages',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type man_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	files_search_usr($1)
Chris PeBenito 17de1b
	allow $1 man_t:dir create_dir_perms;
Chris PeBenito 17de1b
	allow $1 man_t:file create_file_perms;
Chris PeBenito 17de1b
	allow $1 man_t:lnk_file r_file_perms;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Read public files used for file
Chris PeBenito 17de1b
##	transfer services.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_read_public_files',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type public_content_t, public_content_rw_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 { public_content_t public_content_rw_t }:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 { public_content_t public_content_rw_t }:file r_file_perms;
Chris PeBenito 17de1b
	allow $1 { public_content_t public_content_rw_t }:lnk_file { getattr read };
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Create, read, write, and delete public files
Chris PeBenito 17de1b
##	and directories used for file transfer services.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_manage_public_files',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type public_content_rw_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 public_content_rw_t:dir create_dir_perms;
Chris PeBenito 17de1b
	allow $1 public_content_rw_t:file create_file_perms;
Chris PeBenito 17de1b
	allow $1 public_content_rw_t:lnk_file create_lnk_perms;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Read TeX data
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_read_tetex_data',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type tetex_data_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	files_search_var($1)
Chris PeBenito 17de1b
	files_search_var_lib($1)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	# cjp: TeX data can be in either of the above dirs
Chris PeBenito 17de1b
	allow $1 tetex_data_t:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 tetex_data_t:file r_file_perms;
Chris PeBenito 17de1b
	allow $1 tetex_data_t:lnk_file r_file_perms;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Execute TeX data programs in the caller domain.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_exec_tetex_data',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type fonts_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	files_search_var($1)
Chris PeBenito 17de1b
	files_search_var_lib($1)
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	# cjp: TeX data can be in either of the above dirs
Chris PeBenito 17de1b
	allow $1 tetex_data_t:dir r_dir_perms;
Chris PeBenito 17de1b
	can_exec($1,tetex_data_t)
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Let test files be an entry point for
Chris PeBenito 17de1b
##	a specified domain.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain to be entered.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_domain_entry_test_files',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type test_file_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	domain_entry_file($1, test_file_t)
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Read test files and directories.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_read_test_files',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type test_file_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 test_file_t:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 test_file_t:file r_file_perms;
Chris PeBenito 17de1b
	allow $1 test_file_t:lnk_file r_file_perms;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Execute test files.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	Domain allowed access.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`miscfiles_exec_test_files',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type test_file_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 test_file_t:dir r_dir_perms;
Chris PeBenito 17de1b
	allow $1 test_file_t:lnk_file r_file_perms;
Chris PeBenito 17de1b
	can_exec($1, test_file_t)
Chris PeBenito 17de1b
')