## Trivial file transfer protocol daemon
########################################
##
## Read tftp content
##
##
##
## Domain allowed access.
##
##
#
interface(`tftp_read_content',`
gen_require(`
type tftpdir_t;
')
read_files_pattern($1, tftpdir_t, tftpdir_t)
read_lnk_files_pattern($1, tftpdir_t, tftpdir_t)
')
########################################
##
## Search tftp /var/lib directories.
##
##
##
## Domain allowed access.
##
##
#
interface(`tftp_search_rw_content',`
gen_require(`
type tftpdir_rw_t;
')
search_dirs_pattern($1, tftpdir_rw_t, tftpdir_rw_t)
files_search_var_lib($1)
')
########################################
##
## Manage tftp /var/lib files.
##
##
##
## Domain allowed access.
##
##
#
interface(`tftp_manage_rw_content',`
gen_require(`
type tftpdir_rw_t;
')
files_search_var_lib($1)
manage_dirs_pattern($1, tftpdir_rw_t, tftpdir_rw_t)
manage_files_pattern($1, tftpdir_rw_t, tftpdir_rw_t)
')
########################################
##
## Create objects in tftpdir directories
## with specified types.
##
##
##
## Domain allowed access.
##
##
##
##
## Private file type.
##
##
##
##
## Class of the object being created.
##
##
#
interface(`tftp_filetrans_tftpdir',`
gen_require(`
type tftpdir_rw_t;
')
filetrans_pattern($1, tftpdir_rw_t, $2, $3)
files_search_var_lib($1)
')
########################################
##
## All of the rules required to administrate
## an tftp environment
##
##
##
## Domain allowed access.
##
##
##
#
interface(`tftp_admin',`
gen_require(`
type tftpd_t, tftpdir_t, tftpdir_rw_t, tftpd_var_run_t;
')
allow $1 tftpd_t:process { ptrace signal_perms getattr };
ps_process_pattern($1, tftpd_t)
admin_pattern($1, tftpdir_rw_t)
admin_pattern($1, tftpdir_t)
files_list_pids($1)
admin_pattern($1, tftpd_var_run_t)
')