## Who is logged in on other machines?
########################################
##
## Execute a domain transition to run rwho.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`rwho_domtrans',`
gen_require(`
type rwho_t, rwho_exec_t;
')
domtrans_pattern($1,rwho_exec_t,rwho_t)
')
########################################
##
## Search rwho log directories.
##
##
##
## Domain allowed access.
##
##
#
interface(`rwho_search_log',`
gen_require(`
type rwho_log_t;
')
allow $1 rwho_log_t:dir search_dir_perms;
logging_search_logs($1)
')
########################################
##
## Read rwho log files.
##
##
##
## Domain allowed access.
##
##
#
interface(`rwho_read_log_files',`
gen_require(`
type rwho_log_t;
')
allow $1 rwho_log_t:file read_file_perms;
allow $1 rwho_log_t:dir list_dir_perms;
logging_search_logs($1)
')
########################################
##
## Search rwho spool directories.
##
##
##
## Domain allowed access.
##
##
#
interface(`rwho_search_spool',`
gen_require(`
type rwho_spool_t;
')
allow $1 rwho_spool_t:dir search_dir_perms;
files_search_spool($1)
')
########################################
##
## Read rwho spool files.
##
##
##
## Domain allowed access.
##
##
#
interface(`rwho_read_spool_files',`
gen_require(`
type rwho_spool_t;
')
read_files_pattern($1,rwho_spool_t,rwho_spool_t)
files_search_spool($1)
')
########################################
##
## Create, read, write, and delete
## rwho spool files.
##
##
##
## Domain allowed access.
##
##
#
interface(`rwho_manage_spool_files',`
gen_require(`
type rwho_spool_t;
')
manage_files_pattern($1,rwho_spool_t,rwho_spool_t)
files_search_spool($1)
')
########################################
##
## All of the rules required to administrate
## an rwho environment
##
##
##
## Domain allowed access.
##
##
##
##
## The role to be allowed to manage the rwho domain.
##
##
##
##
## The type of the user terminal.
##
##
##
#
interface(`rwho_admin',`
gen_require(`
type rwho_t, rwho_log_t, rwho_spool_t;
')
allow $1 rwho_t:process { ptrace signal_perms getattr };
ps_process_pattern($1, rwho_t)
logging_list_logs($1)
manage_files_pattern($1, rwho_log_t, rwho_log_t)
files_list_spool($1)
manage_files_pattern($1, rwho_spool_t, rwho_spool_t)
')