481 lines
12 KiB
Plaintext
481 lines
12 KiB
Plaintext
# Copyright (C) 2005 Tresys Technology, LLC
|
|
|
|
########################################
|
|
#
|
|
# terminal_make_pseudoterminal(type)
|
|
#
|
|
define(`terminal_make_pseudoterminal',`
|
|
requires_block_template(`$0'_depend)
|
|
allow $1 devpts_t:filesystem associate;
|
|
typeattribute $1 ptynode;
|
|
')
|
|
|
|
define(`terminal_make_pseudoterminal_depend',`
|
|
attribute ptynode;
|
|
type devpts_t;
|
|
class filesystem associate;
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_make_user_pseudoterminal(domain,type)
|
|
#
|
|
define(`terminal_make_user_pseudoterminal',`
|
|
requires_block_template(`$0'_depend)
|
|
terminal_make_pseudoterminal($1)
|
|
type_change $1 server_ptynode:chr_file $2;
|
|
')
|
|
|
|
define(`terminal_make_user_pseudoterminal_depend',`
|
|
attribute server_ptynode;
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_make_service_pseudoterminal(type)
|
|
#
|
|
define(`terminal_make_service_pseudoterminal',`
|
|
requires_block_template(`$0'_depend)
|
|
terminal_make_pseudoterminal($1)
|
|
typeattribute $1 server_ptynode;
|
|
')
|
|
|
|
define(`terminal_make_service_pseudoterminal_depend',`
|
|
attribute server_ptynode;
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_make_physical_terminal(domain,type)
|
|
#
|
|
define(`terminal_make_physical_terminal',`
|
|
requires_block_template(`$0'_depend)
|
|
typeattribute $2 ttynode;
|
|
type_change $1 tty_device_t:chr_file $2;
|
|
# Debian login is from shadow utils and does not allow resetting the perms.
|
|
# have to fix this!
|
|
tunable_policy(`distro_debian',`
|
|
type_change $1 ttyfile:chr_file $2;
|
|
')
|
|
')
|
|
|
|
define(`terminal_make_physical_terminal_depend',`
|
|
attribute ttynode;
|
|
type tty_device_t;
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_create_private_pseudoterminal(domain,ptytype)
|
|
#
|
|
define(`terminal_create_private_pseudoterminal',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 ptmx_t:chr_file { getattr read write };
|
|
allow $1 devpts_t:dir { getattr search read };
|
|
allow $1 devpts_t:filesystem getattr;
|
|
dontaudit $1 bsdpty_device_t:chr_file { getattr read write };
|
|
type_transition $1 devpts_t:chr_file $2;
|
|
')
|
|
|
|
define(`terminal_create_pseudoterminal_depend',`
|
|
type ptmx_t, devpts_t;
|
|
class filesystem getattr;
|
|
class dir { getattr search read };
|
|
class chr_file { getattr read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_use_all_terminals(domain)
|
|
#
|
|
define(`terminal_use_all_terminals',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 devpts_t:dir { getattr search read };
|
|
allow $1 { console_device_t devtty_t ttynode ptynode }:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_use_all_terminals_depend',`
|
|
attribute ttynode, ptynode;
|
|
type console_device_t, devtty_t, devpts_t;
|
|
class dir { getattr search read };
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
## <interface name="terminal_use_console">
|
|
## <description>
|
|
## Read from and write to the console.
|
|
## </description>
|
|
## <parameter name="domain">
|
|
## The type of the process performing this action.
|
|
## </parameter>
|
|
## <infoflow type="both" weight="10"/>
|
|
## </interface>
|
|
#
|
|
define(`terminal_use_console',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 console_device_t:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_use_console_depend',`
|
|
type console_device_t;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
## <interface name="terminal_ignore_use_console">
|
|
## <description>
|
|
## Do not audit read from or write to the console.
|
|
## </description>
|
|
## <parameter name="domain">
|
|
## The type of the process performing this action.
|
|
## </parameter>
|
|
## <infoflow type="both" weight="10"/>
|
|
## </interface>
|
|
#
|
|
define(`terminal_ignore_use_console',`
|
|
requires_block_template(`$0'_depend)
|
|
dontaudit $1 console_device_t:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_ignore_use_console_depend',`
|
|
type console_device_t;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_set_console_attributes(domain)
|
|
#
|
|
define(`terminal_set_console_attributes',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1,optional)
|
|
allow $1 console_device_t:chr_file setattr;
|
|
')
|
|
|
|
define(`terminal_set_console_attributes_depend',`
|
|
type console_device_t;
|
|
class chr_file setattr;
|
|
devices_list_device_nodes_depend
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_list_pseudoterminals(domain)
|
|
#
|
|
define(`terminal_list_pseudoterminals',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 devpts_t:dir { getattr search read };
|
|
')
|
|
|
|
define(`terminal_list_pseudoterminals_depend',`
|
|
type devpts_t;
|
|
class dir { getattr search read };
|
|
devices_list_device_nodes_depend
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_ignore_list_pseudoterminals(domain)
|
|
#
|
|
define(`terminal_ignore_list_pseudoterminals',`
|
|
requires_block_template(`$0'_depend)
|
|
dontaudit $1 devpts_t:dir { getattr search read };
|
|
')
|
|
|
|
define(`terminal_ignore_list_pseudoterminals_depend',`
|
|
type devpts_t;
|
|
class dir { getattr search read };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_use_general_pseudoterminal(domain)
|
|
#
|
|
define(`terminal_use_general_pseudoterminal',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 devpts_t:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_use_general_pseudoterminal_depend',`
|
|
type devpts_t;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_ignore_use_general_pseudoterminal(domain)
|
|
#
|
|
define(`terminal_ignore_use_general_pseudoterminal',`
|
|
requires_block_template(`$0'_depend)
|
|
dontaudit $1 devpts_t:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_ignore_use_general_pseudoterminal_depend',`
|
|
type devpts_t;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_use_controlling_terminal(domain)
|
|
#
|
|
define(`terminal_use_controlling_terminal',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 devtty_t:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_use_controlling_terminal_depend',`
|
|
type devtty_t;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_ignore_use_pseudoterminal_multiplexer(domain)
|
|
#
|
|
define(`terminal_ignore_use_pseudoterminal_multiplexer',`
|
|
requires_block_template(`$0'_depend)
|
|
dontaudit $1 ptmx_t:chr_file { getattr read write };
|
|
')
|
|
|
|
define(`terminal_ignore_use_pseudoterminal_multiplexer_depend',`
|
|
type ptmx_t;
|
|
class chr_file { getattr read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_get_all_private_pseudoterminal_attributes(domain)
|
|
#
|
|
define(`terminal_get_all_private_pseudoterminal_attributes',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 devpts_t:dir { getattr search read };
|
|
allow $1 ptynode:chr_file getattr;
|
|
')
|
|
|
|
define(`terminal_get_all_private_pseudoterminal_attributes_depend',`
|
|
attribute ptynode;
|
|
class dir { getattr search read };
|
|
class chr_file getattr;
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_use_all_private_pseudoterminals(domain)
|
|
#
|
|
define(`terminal_use_all_private_pseudoterminals',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 devpts_t:dir { getattr read search };
|
|
allow $1 ptynode:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_use_all_private_pseudoterminals_depend',`
|
|
attribute ptynode;
|
|
class dir { getattr search read };
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_ignore_use_all_private_pseudoterminals(domain)
|
|
#
|
|
define(`terminal_ignore_use_all_private_pseudoterminals',`
|
|
requires_block_template(`$0'_depend)
|
|
dontaudit $1 ptynode:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_ignore_use_all_private_pseudoterminals_depend',`
|
|
attribute ptynode;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_get_general_physical_terminal_attributes(domain)
|
|
#
|
|
define(`terminal_get_general_physical_terminal_attributes',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 tty_device_t:chr_file getattr;
|
|
')
|
|
|
|
define(`terminal_get_general_physical_terminal_attributes_depend',`
|
|
type tty_device_t;
|
|
class chr_file getattr;
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_set_general_physical_terminal_attributes(domain)
|
|
#
|
|
define(`terminal_set_general_physical_terminal_attributes',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 tty_device_t:chr_file setattr;
|
|
')
|
|
|
|
define(`terminal_set_general_physical_terminal_attributes_depend',`
|
|
type tty_device_t;
|
|
class chr_file setattr;
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_reset_physical_terminal_labels(domain)
|
|
#
|
|
define(`terminal_reset_physical_terminal_labels',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 ttynode:chr_file relabelfrom;
|
|
allow $1 tty_device_t:chr_file relabelto;
|
|
')
|
|
|
|
define(`terminal_reset_physical_terminal_labels_depend',`
|
|
attribute ttynode;
|
|
type tty_device_t;
|
|
class chr_file { relabelfrom relabelto };
|
|
devices_list_device_nodes_depend
|
|
')
|
|
|
|
########################################
|
|
## <interface name="terminal_write_general_physical_terminal">
|
|
## <description>
|
|
## Write to general ttys. Has a backchannel of
|
|
## getting all tty attributes.
|
|
## </description>
|
|
## <parameter name="domain">
|
|
## The type of the process performing this action.
|
|
## </parameter>
|
|
## <infoflow type="write" weight="10"/>
|
|
## </interface>
|
|
#
|
|
define(`terminal_write_general_physical_terminal',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 tty_device_t:chr_file { getattr write };
|
|
')
|
|
|
|
define(`terminal_write_general_physical_terminal_depend',`
|
|
type tty_device_t;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_use_general_physical_terminal(domain)
|
|
#
|
|
define(`terminal_use_general_physical_terminal',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 tty_device_t:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_use_general_physical_terminal_depend',`
|
|
type tty_device_t;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_ignore_use_general_physical_terminal(domain)
|
|
#
|
|
define(`terminal_ignore_use_general_physical_terminal',`
|
|
requires_block_template(`$0'_depend)
|
|
dontaudit $1 tty_device_t:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_ignore_use_general_physical_terminal_depend',`
|
|
type tty_device_t;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_get_all_private_physical_terminal_attributes(domain)
|
|
#
|
|
define(`terminal_get_all_private_physical_terminal_attributes',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 ttynode:chr_file getattr;
|
|
')
|
|
|
|
define(`terminal_get_all_private_physical_terminal_attributes_depend',`
|
|
attribute ttynode;
|
|
class chr_file getattr;
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_ignore_get_all_private_physical_terminal_attributes(domain)
|
|
#
|
|
define(`terminal_ignore_get_all_private_physical_terminal_attributes',`
|
|
requires_block_template(`$0'_depend)
|
|
dontaudit $1 ttynode:chr_file getattr;
|
|
')
|
|
|
|
define(`terminal_ignore_get_all_private_physical_terminal_attributes_depend',`
|
|
attribute ttynode;
|
|
class chr_file getattr;
|
|
')
|
|
|
|
########################################
|
|
## <interface name="terminal_write_all_private_physical_terminals">
|
|
## <description>
|
|
## Write to all private ttys. Has a backchannel of
|
|
## getting all private tty attributes.
|
|
## </description>
|
|
## <parameter name="domain">
|
|
## The type of the process performing this action.
|
|
## </parameter>
|
|
## <infoflow type="write" weight="10"/>
|
|
## </interface>
|
|
#
|
|
define(`terminal_write_all_private_physical_terminals',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 ttynode:chr_file { getattr write };
|
|
')
|
|
|
|
define(`terminal_write_all_private_physical_terminals_depend',`
|
|
attribute ttynode;
|
|
class chr_file { getattr write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_use_all_private_physical_terminals(domain)
|
|
#
|
|
define(`terminal_use_all_private_physical_terminals',`
|
|
requires_block_template(`$0'_depend)
|
|
devices_list_device_nodes($1)
|
|
allow $1 ttynode:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_use_all_private_physical_terminals_depend',`
|
|
attribute ttynode;
|
|
class chr_file { read write };
|
|
')
|
|
|
|
########################################
|
|
#
|
|
# terminal_ignore_use_all_private_physical_terminals(domain)
|
|
#
|
|
define(`terminal_ignore_use_all_private_physical_terminals',`
|
|
requires_block_template(`$0'_depend)
|
|
dontaudit $1 ttynode:chr_file { read write };
|
|
')
|
|
|
|
define(`terminal_ignore_use_all_private_physical_terminals_depend',`
|
|
attribute ttynode;
|
|
class chr_file { read write };
|
|
')
|