Chris PeBenito 3865d6
## <summary>Miscelaneous files.</summary>
Chris PeBenito e181fe
Chris PeBenito b4cd15
########################################
Chris PeBenito 2ec4c9
## <summary>
Chris PeBenito 6e99a6
##	Read system SSL certificates.
Chris PeBenito 6e99a6
## </summary>
Chris PeBenito 6e99a6
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 77f6e2
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 6e99a6
## </param>
Chris PeBenito 6e99a6
#
Chris PeBenito 6e99a6
interface(`miscfiles_read_certs',`
Chris PeBenito 6e99a6
	gen_require(`
Chris PeBenito 6e99a6
		type cert_t;
Chris PeBenito 6e99a6
	')
Chris PeBenito 6e99a6
Chris PeBenito 6e99a6
	allow $1 cert_t:dir r_dir_perms;
Chris PeBenito 6e99a6
	allow $1 cert_t:file r_file_perms;
Chris PeBenito 4e69c1
	allow $1 cert_t:lnk_file { getattr read };
Chris PeBenito 6e99a6
')
Chris PeBenito 6e99a6
Chris PeBenito 6e99a6
########################################
Chris PeBenito 6e99a6
## <summary>
Chris PeBenito 6e99a6
##	Read fonts.
Chris PeBenito 2ec4c9
## </summary>
Chris PeBenito 2ec4c9
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 77f6e2
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2ec4c9
## </param>
Chris PeBenito ec81ec
#
Chris PeBenito 199895
interface(`miscfiles_read_fonts',`
Chris PeBenito 139520
	gen_require(`
Chris PeBenito 139520
		type fonts_t;
Chris PeBenito 139520
	')
Chris PeBenito 139520
Chris PeBenito 3f4188
	# cjp: fonts can be in either of these dirs
Chris PeBenito 139520
	files_search_usr($1)
Chris PeBenito 139520
	libs_search_lib($1)
Chris PeBenito 0c73cd
Chris PeBenito 80048c
	allow $1 fonts_t:dir r_dir_perms;
Chris PeBenito 80048c
	allow $1 fonts_t:file r_file_perms;
Chris PeBenito 33acca
	allow $1 fonts_t:lnk_file { getattr read };
Chris PeBenito ec81ec
')
Chris PeBenito ec81ec
Chris PeBenito ec81ec
########################################
Chris PeBenito 2ec4c9
## <summary>
Chris PeBenito 3f4188
##	Create, read, write, and delete fonts.
Chris PeBenito 3f4188
## </summary>
Chris PeBenito 3f4188
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 3f4188
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 3f4188
## </param>
Chris PeBenito 3f4188
#
Chris PeBenito 3f4188
interface(`miscfiles_manage_fonts',`
Chris PeBenito 3f4188
	gen_require(`
Chris PeBenito 3f4188
		type fonts_t;
Chris PeBenito 3f4188
	')
Chris PeBenito 3f4188
Chris PeBenito 3f4188
	# cjp: fonts can be in either of these dirs
Chris PeBenito 3f4188
	files_search_usr($1)
Chris PeBenito 3f4188
	libs_search_lib($1)
Chris PeBenito 3f4188
Chris PeBenito 3f4188
	allow $1 fonts_t:dir create_dir_perms;
Chris PeBenito 3f4188
	allow $1 fonts_t:file create_file_perms;
Chris PeBenito 3f4188
	allow $1 fonts_t:lnk_file create_lnk_perms;
Chris PeBenito 3f4188
')
Chris PeBenito 3f4188
Chris PeBenito 3f4188
########################################
Chris PeBenito 3f4188
## <summary>
Chris PeBenito 77f6e2
##	Read hardware identification data.
Chris PeBenito f4d7fd
## </summary>
Chris PeBenito f4d7fd
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito f4d7fd
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito f4d7fd
## </param>
Chris PeBenito f4d7fd
#
Chris PeBenito 77f6e2
interface(`miscfiles_read_hwdata',`
Chris PeBenito f4d7fd
	gen_require(`
Chris PeBenito 77f6e2
		type hwdata_t;
Chris PeBenito f4d7fd
	')
Chris PeBenito f4d7fd
Chris PeBenito 77f6e2
	allow $1 hwdata_t:dir r_dir_perms;
Chris PeBenito 77f6e2
	allow $1 hwdata_t:file r_file_perms;
Chris PeBenito ce0ff1
	allow $1 hwdata_t:lnk_file { getattr read };
Chris PeBenito f4d7fd
')
Chris PeBenito f4d7fd
Chris PeBenito f4d7fd
########################################
Chris PeBenito f4d7fd
## <summary>
Chris PeBenito 2ec4c9
##	Allow process to read localization info
Chris PeBenito 2ec4c9
## </summary>
Chris PeBenito 2ec4c9
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 77f6e2
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2ec4c9
## </param>
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`miscfiles_read_localization',`
Chris PeBenito 139520
	gen_require(`
Chris PeBenito 139520
		type locale_t;
Chris PeBenito 139520
	')
Chris PeBenito 139520
Chris PeBenito 139520
	files_search_etc($1)
Chris PeBenito 0c73cd
	# FIXME: $1 read etc_t:lnk_file here
Chris PeBenito 139520
	files_search_usr($1)
Chris PeBenito 80048c
	allow $1 locale_t:dir r_dir_perms;
Chris PeBenito 80048c
	allow $1 locale_t:lnk_file r_file_perms;
Chris PeBenito 80048c
	allow $1 locale_t:file r_file_perms;
Chris PeBenito 118186
Chris PeBenito 0c73cd
	# why?
Chris PeBenito 1815ba
	libs_read_lib_files($1)
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito 0fef98
########################################
Chris PeBenito 2ec4c9
## <summary>
Chris PeBenito 2ec4c9
##	Allow process to read legacy time localization info
Chris PeBenito 2ec4c9
## </summary>
Chris PeBenito 2ec4c9
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 77f6e2
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2ec4c9
## </param>
Chris PeBenito 0fef98
#
Chris PeBenito 199895
interface(`miscfiles_legacy_read_localization',`
Chris PeBenito 139520
	gen_require(`
Chris PeBenito 139520
		type locale_t;
Chris PeBenito 139520
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	miscfiles_read_localization($1)
Chris PeBenito 0c73cd
	allow $1 locale_t:file execute;
Chris PeBenito 0fef98
')
Chris PeBenito 0fef98
Chris PeBenito 24280a
########################################
Chris PeBenito 2ec4c9
## <summary>
Chris PeBenito 04926d
##	Do not audit attempts to search man pages.
Chris PeBenito 04926d
## </summary>
Chris PeBenito 04926d
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 04926d
##	Domain to not audit.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 04926d
## </param>
Chris PeBenito 04926d
#
Chris PeBenito 04926d
interface(`miscfiles_dontaudit_search_man_pages',`
Chris PeBenito 04926d
	gen_require(`
Chris PeBenito 04926d
		type man_t;
Chris PeBenito 04926d
	')
Chris PeBenito 04926d
Chris PeBenito 04926d
	dontaudit $1 man_t:dir search;
Chris PeBenito 04926d
')
Chris PeBenito 04926d
Chris PeBenito 04926d
########################################
Chris PeBenito 04926d
## <summary>
Chris PeBenito cf6a7d
##	Read man pages
Chris PeBenito 2ec4c9
## </summary>
Chris PeBenito 2ec4c9
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito cf6a7d
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2ec4c9
## </param>
Chris PeBenito 24280a
#
Chris PeBenito 199895
interface(`miscfiles_read_man_pages',`
Chris PeBenito 139520
	gen_require(`
Chris PeBenito 139520
		type man_t;
Chris PeBenito 139520
	')
Chris PeBenito 139520
Chris PeBenito 139520
	files_search_usr($1)
Chris PeBenito 80048c
	allow $1 man_t:dir r_dir_perms;
Chris PeBenito 80048c
	allow $1 man_t:file r_file_perms;
Chris PeBenito 80048c
	allow $1 man_t:lnk_file r_file_perms;
Chris PeBenito 24280a
')
Chris PeBenito 24280a
Chris PeBenito 2ec4c9
########################################
Chris PeBenito cf6a7d
## <summary>
Chris PeBenito cf6a7d
##	Delete man pages
Chris PeBenito cf6a7d
## </summary>
Chris PeBenito cf6a7d
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito cf6a7d
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito cf6a7d
## </param>
Chris PeBenito cf6a7d
# cjp: added for tmpreaper
Chris PeBenito cf6a7d
#
Chris PeBenito cf6a7d
interface(`miscfiles_delete_man_pages',`
Chris PeBenito cf6a7d
	gen_require(`
Chris PeBenito cf6a7d
		type man_t;
Chris PeBenito cf6a7d
	')
Chris PeBenito cf6a7d
Chris PeBenito cf6a7d
	files_search_usr($1)
Chris PeBenito cf6a7d
	allow $1 man_t:dir { setattr rw_dir_perms rmdir };
Chris PeBenito cf6a7d
	allow $1 man_t:file { getattr unlink };
Chris PeBenito cf6a7d
	allow $1 man_t:lnk_file { getattr unlink };
Chris PeBenito cf6a7d
')
Chris PeBenito cf6a7d
Chris PeBenito cf6a7d
########################################
Chris PeBenito cf6a7d
## <summary>
Chris PeBenito cf6a7d
##	Create, read, write, and delete man pages
Chris PeBenito cf6a7d
## </summary>
Chris PeBenito cf6a7d
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito cf6a7d
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito cf6a7d
## </param>
Chris PeBenito cf6a7d
#
Chris PeBenito cf6a7d
interface(`miscfiles_manage_man_pages',`
Chris PeBenito cf6a7d
	gen_require(`
Chris PeBenito cf6a7d
		type man_t;
Chris PeBenito cf6a7d
	')
Chris PeBenito cf6a7d
Chris PeBenito cf6a7d
	files_search_usr($1)
Chris PeBenito cf6a7d
	allow $1 man_t:dir create_dir_perms;
Chris PeBenito cf6a7d
	allow $1 man_t:file create_file_perms;
Chris PeBenito cf6a7d
	allow $1 man_t:lnk_file r_file_perms;
Chris PeBenito cf6a7d
')
Chris PeBenito cf6a7d
Chris PeBenito cf6a7d
########################################
Chris PeBenito 2ec4c9
## <summary>
Chris PeBenito 77f6e2
##	Read public files used for file
Chris PeBenito 77f6e2
##	transfer services.
Chris PeBenito 77f6e2
## </summary>
Chris PeBenito 77f6e2
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 77f6e2
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 77f6e2
## </param>
Chris PeBenito 77f6e2
#
Chris PeBenito 77f6e2
interface(`miscfiles_read_public_files',`
Chris PeBenito 77f6e2
	gen_require(`
Chris PeBenito 671673
		type public_content_t, public_content_rw_t;
Chris PeBenito 77f6e2
	')
Chris PeBenito 77f6e2
Chris PeBenito 671673
	allow $1 { public_content_t public_content_rw_t }:dir r_dir_perms;
Chris PeBenito 671673
	allow $1 { public_content_t public_content_rw_t }:file r_file_perms;
Chris PeBenito 671673
	allow $1 { public_content_t public_content_rw_t }:lnk_file { getattr read };
Chris PeBenito 77f6e2
')
Chris PeBenito 77f6e2
Chris PeBenito 77f6e2
########################################
Chris PeBenito 77f6e2
## <summary>
Chris PeBenito 77f6e2
##	Create, read, write, and delete public files
Chris PeBenito 77f6e2
##	and directories used for file transfer services.
Chris PeBenito 77f6e2
## </summary>
Chris PeBenito 77f6e2
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 77f6e2
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 77f6e2
## </param>
Chris PeBenito 77f6e2
#
Chris PeBenito 77f6e2
interface(`miscfiles_manage_public_files',`
Chris PeBenito 77f6e2
	gen_require(`
Chris PeBenito 77f6e2
		type public_content_rw_t;
Chris PeBenito 77f6e2
	')
Chris PeBenito 77f6e2
Chris PeBenito 77f6e2
	allow $1 public_content_rw_t:dir create_dir_perms;
Chris PeBenito 77f6e2
	allow $1 public_content_rw_t:file create_file_perms;
Chris PeBenito 77f6e2
	allow $1 public_content_rw_t:lnk_file create_lnk_perms;
Chris PeBenito 77f6e2
')
Chris PeBenito 77f6e2
Chris PeBenito 77f6e2
########################################
Chris PeBenito 77f6e2
## <summary>
Chris PeBenito 2ec4c9
##	Read TeX data
Chris PeBenito 2ec4c9
## </summary>
Chris PeBenito 2ec4c9
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 77f6e2
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2ec4c9
## </param>
Chris PeBenito 2ec4c9
#
Chris PeBenito 2ec4c9
interface(`miscfiles_read_tetex_data',`
Chris PeBenito 2ec4c9
	gen_require(`
Chris PeBenito 2ec4c9
		type tetex_data_t;
Chris PeBenito 2ec4c9
	')
Chris PeBenito 2ec4c9
Chris PeBenito 2ec4c9
	files_search_var($1)
Chris PeBenito 2ec4c9
	files_search_var_lib($1)
Chris PeBenito 2ec4c9
Chris PeBenito 2ec4c9
	# cjp: TeX data can be in either of the above dirs
Chris PeBenito 2ec4c9
	allow $1 tetex_data_t:dir r_dir_perms;
Chris PeBenito 2ec4c9
	allow $1 tetex_data_t:file r_file_perms;
Chris PeBenito 2ec4c9
	allow $1 tetex_data_t:lnk_file r_file_perms;
Chris PeBenito 2ec4c9
')
Chris PeBenito 2ec4c9
Chris PeBenito 2ec4c9
########################################
Chris PeBenito 2ec4c9
## <summary>
Chris PeBenito 2ec4c9
##	Execute TeX data programs in the caller domain.
Chris PeBenito 2ec4c9
## </summary>
Chris PeBenito 2ec4c9
## <param name="domain">
Chris PeBenito 885b83
##	<summary>
Chris PeBenito 77f6e2
##	Domain allowed access.
Chris PeBenito 885b83
##	</summary>
Chris PeBenito 2ec4c9
## </param>
Chris PeBenito 2ec4c9
#
Chris PeBenito 2ec4c9
interface(`miscfiles_exec_tetex_data',`
Chris PeBenito 2ec4c9
	gen_require(`
Chris PeBenito 2ec4c9
		type fonts_t;
Chris PeBenito 2ec4c9
	')
Chris PeBenito 2ec4c9
Chris PeBenito 2ec4c9
	files_search_var($1)
Chris PeBenito 2ec4c9
	files_search_var_lib($1)
Chris PeBenito 2ec4c9
Chris PeBenito 2ec4c9
	# cjp: TeX data can be in either of the above dirs
Chris PeBenito 2ec4c9
	allow $1 tetex_data_t:dir r_dir_perms;
Chris PeBenito 2ec4c9
	can_exec($1,tetex_data_t)
Chris PeBenito 2ec4c9
')
Chris PeBenito d42c7e
Chris PeBenito d42c7e
########################################
Chris PeBenito d42c7e
## <summary>
Chris PeBenito d42c7e
##	Let test files be an entry point for
Chris PeBenito d42c7e
##	a specified domain.
Chris PeBenito d42c7e
## </summary>
Chris PeBenito d42c7e
## <param name="domain">
Chris PeBenito d42c7e
##	<summary>
Chris PeBenito d42c7e
##	Domain to be entered.
Chris PeBenito d42c7e
##	</summary>
Chris PeBenito d42c7e
## </param>
Chris PeBenito d42c7e
#
Chris PeBenito d42c7e
interface(`miscfiles_domain_entry_test_files',`
Chris PeBenito d42c7e
	gen_require(`
Chris PeBenito d42c7e
		type test_file_t;
Chris PeBenito d42c7e
	')
Chris PeBenito d42c7e
Chris PeBenito d42c7e
	domain_entry_file($1, test_file_t)
Chris PeBenito d42c7e
')
Chris PeBenito d42c7e
Chris PeBenito d42c7e
########################################
Chris PeBenito d42c7e
## <summary>
Chris PeBenito d42c7e
##	Read test files and directories.
Chris PeBenito d42c7e
## </summary>
Chris PeBenito d42c7e
## <param name="domain">
Chris PeBenito d42c7e
##	<summary>
Chris PeBenito d42c7e
##	Domain allowed access.
Chris PeBenito d42c7e
##	</summary>
Chris PeBenito d42c7e
## </param>
Chris PeBenito d42c7e
#
Chris PeBenito d42c7e
interface(`miscfiles_read_test_files',`
Chris PeBenito d42c7e
	gen_require(`
Chris PeBenito d42c7e
		type test_file_t;
Chris PeBenito d42c7e
	')
Chris PeBenito d42c7e
Chris PeBenito d42c7e
	allow $1 test_file_t:dir r_dir_perms;
Chris PeBenito d42c7e
	allow $1 test_file_t:file r_file_perms;
Chris PeBenito d42c7e
	allow $1 test_file_t:lnk_file r_file_perms;
Chris PeBenito d42c7e
')
Chris PeBenito d42c7e
Chris PeBenito d42c7e
########################################
Chris PeBenito d42c7e
## <summary>
Chris PeBenito d42c7e
##	Execute test files.
Chris PeBenito d42c7e
## </summary>
Chris PeBenito d42c7e
## <param name="domain">
Chris PeBenito d42c7e
##	<summary>
Chris PeBenito d42c7e
##	Domain allowed access.
Chris PeBenito d42c7e
##	</summary>
Chris PeBenito d42c7e
## </param>
Chris PeBenito d42c7e
#
Chris PeBenito d42c7e
interface(`miscfiles_exec_test_files',`
Chris PeBenito d42c7e
	gen_require(`
Chris PeBenito d42c7e
		type test_file_t;
Chris PeBenito d42c7e
	')
Chris PeBenito d42c7e
Chris PeBenito d42c7e
	allow $1 test_file_t:dir r_dir_perms;
Chris PeBenito d42c7e
	allow $1 test_file_t:lnk_file r_file_perms;
Chris PeBenito d42c7e
	can_exec($1, test_file_t)
Chris PeBenito d42c7e
')