Chris PeBenito 4bf4ed
## <summary>Policy for terminals.</summary>
Chris PeBenito e181fe
Chris PeBenito b4cd15
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Transform specified type into a pty type.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="pty_type">
Chris PeBenito 414e41
##	An object type that will applied to a pty.
Chris PeBenito 414e41
## </param>
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`term_pty',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ptynode;
Chris PeBenito a7c3a1
		type devpts_t;
Chris PeBenito a7c3a1
		class filesystem associate;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	allow $1 devpts_t:filesystem associate;
Chris PeBenito 0c73cd
	typeattribute $1 ptynode;
Chris PeBenito b16c6b
')
Chris PeBenito b16c6b
Chris PeBenito b16c6b
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Transform specified type into an user
Chris PeBenito 414e41
##	pty type. This allows it to be relabeled via
Chris PeBenito 414e41
##	type change by login programs such as ssh.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="userdomain">
Chris PeBenito 414e41
##	The type of the user domain associated with
Chris PeBenito 414e41
##	this pty.
Chris PeBenito 414e41
## </param>
Chris PeBenito 414e41
## <param name="object_type">
Chris PeBenito 414e41
##	An object type that will applied to a pty.
Chris PeBenito 414e41
## </param>
Chris PeBenito b16c6b
#
Chris PeBenito 199895
interface(`term_user_pty',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute server_ptynode;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 2a3478
	term_pty($2)
Chris PeBenito 2a3478
	type_change $2 server_ptynode:chr_file $1;
Chris PeBenito b16c6b
')
Chris PeBenito b16c6b
Chris PeBenito b16c6b
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Transform specified type into a pty type
Chris PeBenito 414e41
##	used by login programs, such as sshd.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="pty_type">
Chris PeBenito 414e41
##	An object type that will applied to a pty.
Chris PeBenito 414e41
## </param>
Chris PeBenito 0404a3
#
Chris PeBenito 199895
interface(`term_login_pty',`
Chris PeBenito 0404a3
	gen_require(`
Chris PeBenito 0404a3
		attribute server_ptynode;
Chris PeBenito 0404a3
	')
Chris PeBenito 0404a3
Chris PeBenito 0404a3
	term_pty($1)
Chris PeBenito 0404a3
	typeattribute $1 server_ptynode;
Chris PeBenito 0404a3
')
Chris PeBenito 0404a3
Chris PeBenito 0404a3
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Transform specified type into a tty type.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="tty_type">
Chris PeBenito 414e41
##	An object type that will applied to a tty.
Chris PeBenito 414e41
## </param>
Chris PeBenito b16c6b
#
Chris PeBenito 199895
interface(`term_tty',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		type tty_device_t;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	typeattribute $2 ttynode;
Chris PeBenito 0c73cd
	type_change $1 tty_device_t:chr_file $2;
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	# Debian login is from shadow utils and does not allow resetting the perms.
Chris PeBenito 0c73cd
	# have to fix this!
Chris PeBenito 254bbc
	ifdef(`distro_debian',`
Chris PeBenito a7c3a1
		type_change $1 ttynode:chr_file $2;
Chris PeBenito 0c73cd
	')
Chris PeBenito 0c73cd
Chris PeBenito 254bbc
	ifdef(`distro_redhat',`
Chris PeBenito eda201
		fs_associate_tmpfs($2)
Chris PeBenito 0c73cd
	')
Chris PeBenito b16c6b
')
Chris PeBenito b16c6b
Chris PeBenito b16c6b
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Create a pty in the /dev/pts directory.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process creating the pty.
Chris PeBenito 414e41
## </param>
Chris PeBenito 414e41
## <param name="pty_type">
Chris PeBenito 414e41
##	The type of the pty.
Chris PeBenito 414e41
## </param>
Chris PeBenito b16c6b
#
Chris PeBenito 199895
interface(`term_create_pty',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type bsdpty_device_t, devpts_t, ptmx_t;
Chris PeBenito a7c3a1
		class filesystem getattr;
Chris PeBenito a7c3a1
		class dir r_dir_perms;
Chris PeBenito a7c3a1
		class chr_file rw_file_perms;
Chris PeBenito a7c3a1
	')
Karl MacMillan f0c985
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito c2c00b
	allow $1 ptmx_t:chr_file rw_file_perms;
Karl MacMillan f0c985
Chris PeBenito 0c73cd
	allow $1 devpts_t:dir r_dir_perms;
Chris PeBenito 0c73cd
	allow $1 devpts_t:filesystem getattr;
Chris PeBenito 0c73cd
	dontaudit $1 bsdpty_device_t:chr_file { getattr read write };
Chris PeBenito 0c73cd
	type_transition $1 devpts_t:chr_file $2;
Chris PeBenito 8a0da1
')
Chris PeBenito 8a0da1
Chris PeBenito 8a0da1
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Read and write the console, all
Chris PeBenito 414e41
##	ttys and all ptys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito de2cee
#
Chris PeBenito 199895
interface(`term_use_all_terms',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode, ptynode;
Chris PeBenito a7c3a1
		type console_device_t, devpts_t, tty_device_t;
Chris PeBenito a7c3a1
		class dir r_dir_perms;
Chris PeBenito a7c3a1
		class chr_file rw_file_perms;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 devpts_t:dir r_dir_perms;
Chris PeBenito 0c73cd
	allow $1 { console_device_t tty_device_t ttynode ptynode }:chr_file rw_file_perms;
Chris PeBenito de2cee
')
Chris PeBenito de2cee
Chris PeBenito 3b857e
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Write to the console.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 3b857e
#
Chris PeBenito 199895
interface(`term_write_console',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type console_device_t;
Chris PeBenito a7c3a1
		class chr_file write;
Chris PeBenito a7c3a1
	')
Chris PeBenito 3b857e
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 3b857e
	allow $1 console_device_t:chr_file write;
Chris PeBenito 3b857e
')
Chris PeBenito 3b857e
Chris PeBenito 3ce6cb
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Read from and write to the console.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 3ce6cb
#
Chris PeBenito 199895
interface(`term_use_console',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type console_device_t;
Chris PeBenito a7c3a1
		class chr_file rw_file_perms;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 console_device_t:chr_file rw_file_perms;
Chris PeBenito 3ce6cb
')
Chris PeBenito 3ce6cb
Chris PeBenito 3ce6cb
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Do not audit attemtps to read from
Chris PeBenito 414e41
##	or write to the console.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 3ce6cb
#
Chris PeBenito 199895
interface(`term_dontaudit_use_console',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type console_device_t;
Chris PeBenito a7c3a1
		class chr_file { read write };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	dontaudit $1 console_device_t:chr_file { read write };
Chris PeBenito 3ce6cb
')
Chris PeBenito 3ce6cb
Chris PeBenito 3ce6cb
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Set the attributes of the console
Chris PeBenito 414e41
##	device node.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 3ce6cb
#
Chris PeBenito 199895
interface(`term_setattr_console',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type console_device_t;
Chris PeBenito a7c3a1
		class chr_file setattr;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 console_device_t:chr_file setattr;
Chris PeBenito 3ce6cb
')
Chris PeBenito 3ce6cb
Chris PeBenito 3ce6cb
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Read the /dev/pts directory to
Chris PeBenito 414e41
##	list all ptys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 3ce6cb
#
Chris PeBenito 199895
interface(`term_list_ptys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type devpts_t;
Chris PeBenito a7c3a1
		class dir r_dir_perms;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 devpts_t:dir r_dir_perms;
Chris PeBenito 3ce6cb
')
Chris PeBenito 3ce6cb
Chris PeBenito 3ce6cb
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Do not audit attempts to read the
Chris PeBenito 414e41
##	/dev/pts directory to.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process to not audit.
Chris PeBenito 414e41
## </param>
Chris PeBenito 3ce6cb
#
Chris PeBenito 199895
interface(`term_dontaudit_list_ptys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type devpts_t;
Chris PeBenito a7c3a1
		class dir { getattr search read };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	dontaudit $1 devpts_t:dir { getattr search read };
Chris PeBenito 3ce6cb
')
Chris PeBenito 3ce6cb
Chris PeBenito 3ce6cb
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Read and write the generic pty
Chris PeBenito 414e41
##	type.  This is generally only used in
Chris PeBenito 414e41
##	the targeted policy.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 3ce6cb
#
Chris PeBenito 199895
interface(`term_use_generic_pty',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type devpts_t;
Chris PeBenito a7c3a1
		class chr_file { read write };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 devpts_t:chr_file { read write };
Chris PeBenito 3ce6cb
')
Chris PeBenito 3ce6cb
Chris PeBenito de2cee
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Dot not audit attempts to read and
Chris PeBenito 414e41
##	write the generic pty type.  This is
Chris PeBenito 414e41
##	generally only used in the targeted policy.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process to not audit.
Chris PeBenito 414e41
## </param>
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`term_dontaudit_use_generic_pty',`
Chris PeBenito 0e7216
	gen_require(`
Chris PeBenito 0e7216
		type devpts_t;
Chris PeBenito 0e7216
		class chr_file { read write };
Chris PeBenito 0e7216
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	dontaudit $1 devpts_t:chr_file { read write };
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Read and write the controlling
Chris PeBenito 414e41
##	terminal (/dev/tty).
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`term_use_controlling_term',`
Chris PeBenito 0e7216
	gen_require(`
Chris PeBenito 0e7216
		type devtty_t;
Chris PeBenito 0e7216
		class chr_file { getattr read write ioctl };
Chris PeBenito 0e7216
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 devtty_t:chr_file { getattr read write ioctl };
Chris PeBenito 811985
')
Chris PeBenito 811985
Chris PeBenito 811985
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Do not audit attempts to read and
Chris PeBenito 414e41
##	write the pty multiplexor (/dev/ptmx).
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process to not audit.
Chris PeBenito 414e41
## </param>
Chris PeBenito 811985
#
Chris PeBenito 199895
interface(`term_dontaudit_use_ptmx',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type ptmx_t;
Chris PeBenito a7c3a1
		class chr_file { getattr read write };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	dontaudit $1 ptmx_t:chr_file { getattr read write };
Chris PeBenito 55a46d
')
Chris PeBenito 55a46d
Chris PeBenito 55a46d
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Get the attributes of all user
Chris PeBenito 414e41
##	pty device nodes.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`term_getattr_all_user_ptys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ptynode;
Chris PeBenito a7c3a1
		class dir r_dir_perms;
Chris PeBenito a7c3a1
		class chr_file getattr;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 devpts_t:dir r_dir_perms;
Chris PeBenito 0c73cd
	allow $1 ptynode:chr_file getattr;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito 7bba9d
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Read and write all user ptys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 7bba9d
#
Chris PeBenito 199895
interface(`term_use_all_user_ptys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ptynode;
Chris PeBenito a7c3a1
		class dir r_dir_perms;
Chris PeBenito a7c3a1
		class chr_file { getattr read write ioctl };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 devpts_t:dir r_dir_perms;
Chris PeBenito 0c73cd
	allow $1 ptynode:chr_file { getattr read write ioctl };
Chris PeBenito 7bba9d
')
Chris PeBenito 7bba9d
Chris PeBenito d0eddb
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Do not audit attempts to read any
Chris PeBenito 414e41
##	user ptys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process to not audit.
Chris PeBenito 414e41
## </param>
Chris PeBenito d0eddb
#
Chris PeBenito 199895
interface(`term_dontaudit_use_all_user_ptys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ptynode;
Chris PeBenito a7c3a1
		class chr_file { read write };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	dontaudit $1 ptynode:chr_file { read write };
Chris PeBenito d0eddb
')
Chris PeBenito d0eddb
Chris PeBenito b4cd15
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Relabel from and to all user
Chris PeBenito 414e41
##	user pty device nodes.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 21871a
#
Chris PeBenito 199895
interface(`term_relabel_all_user_ptys',`
Chris PeBenito 21871a
	gen_require(`
Chris PeBenito 21871a
		attribute ptynode;
Chris PeBenito df00b2
		type devpts_t;
Chris PeBenito 21871a
		class chr_file { relabelfrom relabelto };
Chris PeBenito 21871a
	')
Chris PeBenito 21871a
Chris PeBenito 21871a
	dev_list_all_dev_nodes($1)
Chris PeBenito df00b2
	allow $1 devpts_t:dir search;
Chris PeBenito 21871a
	allow $1 ptynode:chr_file { relabelfrom relabelto };
Chris PeBenito 21871a
')
Chris PeBenito 21871a
Chris PeBenito 21871a
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Get the attributes of all unallocated
Chris PeBenito 414e41
##	tty device nodes.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 7bba9d
#
Chris PeBenito 199895
interface(`term_getattr_unallocated_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type tty_device_t;
Chris PeBenito a7c3a1
		class chr_file getattr;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 tty_device_t:chr_file getattr;
Chris PeBenito 7bba9d
')
Chris PeBenito 7bba9d
Chris PeBenito 7bba9d
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Set the attributes of all unallocated
Chris PeBenito 414e41
##	tty device nodes.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 7bba9d
#
Chris PeBenito 199895
interface(`term_setattr_unallocated_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type tty_device_t;
Chris PeBenito a7c3a1
		class chr_file setattr;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 tty_device_t:chr_file setattr;
Chris PeBenito 7bba9d
')
Chris PeBenito 7bba9d
Chris PeBenito 7bba9d
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Relabel from and to the unallocated
Chris PeBenito 414e41
##	tty type.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 4bf4ed
#
Chris PeBenito 199895
interface(`term_relabel_unallocated_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type tty_device_t;
Chris PeBenito a7c3a1
		class chr_file { relabelfrom relabelto };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 tty_device_t:chr_file { relabelfrom relabelto };
Chris PeBenito 4bf4ed
')
Chris PeBenito 4bf4ed
Chris PeBenito 4bf4ed
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Relabel from all user tty types to
Chris PeBenito 414e41
##	the unallocated tty type.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito b4cd15
#
Chris PeBenito 199895
interface(`term_reset_tty_labels',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		type tty_device_t;
Chris PeBenito a7c3a1
		class chr_file { relabelfrom relabelto };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 ttynode:chr_file relabelfrom;
Chris PeBenito 0c73cd
	allow $1 tty_device_t:chr_file relabelto;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito b4cd15
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Write to unallocated ttys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito daa0e0
#
Chris PeBenito 199895
interface(`term_write_unallocated_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type tty_device_t;
Chris PeBenito a7c3a1
		class chr_file { getattr write };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 tty_device_t:chr_file { getattr write };
Chris PeBenito daa0e0
')
Chris PeBenito daa0e0
Chris PeBenito daa0e0
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Read and write unallocated ttys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito de2cee
#
Chris PeBenito 199895
interface(`term_use_unallocated_tty',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type tty_device_t;
Chris PeBenito a7c3a1
		class chr_file { getattr read write ioctl };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 tty_device_t:chr_file { getattr read write ioctl };
Chris PeBenito de2cee
')
Chris PeBenito de2cee
Chris PeBenito de2cee
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Do not audit attempts to read or
Chris PeBenito 414e41
##	write unallocated ttys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process to not audit.
Chris PeBenito 414e41
## </param>
Chris PeBenito de2cee
#
Chris PeBenito 199895
interface(`term_dontaudit_use_unallocated_tty',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		type tty_device_t;
Chris PeBenito a7c3a1
		class chr_file { read write };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	dontaudit $1 tty_device_t:chr_file { read write };
Chris PeBenito de2cee
')
Chris PeBenito de2cee
Chris PeBenito de2cee
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Get the attributes of all user tty
Chris PeBenito 414e41
##	device nodes.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito de2cee
#
Chris PeBenito 199895
interface(`term_getattr_all_user_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		class chr_file getattr;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 ttynode:chr_file getattr;
Chris PeBenito ee5772
')
Chris PeBenito ee5772
Chris PeBenito ee5772
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Do not audit attempts to get the
Chris PeBenito 414e41
##	attributes of any user tty
Chris PeBenito 414e41
##	device nodes.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito ee5772
#
Chris PeBenito 199895
interface(`term_dontaudit_getattr_all_user_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		class chr_file getattr;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito eda201
	dontaudit $1 ttynode:chr_file getattr;
Chris PeBenito 4bf4ed
')
Chris PeBenito 4bf4ed
Chris PeBenito 4bf4ed
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Set the attributes of all user tty
Chris PeBenito 414e41
##	device nodes.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 4bf4ed
#
Chris PeBenito 199895
interface(`term_setattr_all_user_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		class chr_file setattr;
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito c9428d
	dev_list_all_dev_nodes($1)
Chris PeBenito eda201
	allow $1 ttynode:chr_file setattr;
Chris PeBenito b4cd15
')
Chris PeBenito b4cd15
Chris PeBenito a2d824
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Relabel from and to all user
Chris PeBenito 414e41
##	user tty device nodes.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito 4bf4ed
#
Chris PeBenito 199895
interface(`term_relabel_all_user_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		class chr_file { relabelfrom relabelto };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 ttynode:chr_file { relabelfrom relabelto };
Chris PeBenito 4bf4ed
')
Chris PeBenito 4bf4ed
Chris PeBenito 4bf4ed
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Write to all user ttys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito daa0e0
#
Chris PeBenito 199895
interface(`term_write_all_user_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		class chr_file { getattr write };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 ttynode:chr_file { getattr write };
Chris PeBenito daa0e0
')
Chris PeBenito daa0e0
Chris PeBenito daa0e0
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Read and write all user to all user ttys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito a2d824
#
Chris PeBenito 199895
interface(`term_use_all_user_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		class chr_file { getattr read write ioctl };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Karl MacMillan f0c985
	dev_list_all_dev_nodes($1)
Chris PeBenito 0c73cd
	allow $1 ttynode:chr_file { getattr read write ioctl };
Chris PeBenito a2d824
')
Chris PeBenito a2d824
Chris PeBenito de2cee
########################################
Chris PeBenito 414e41
## <desc>
Chris PeBenito 414e41
##	Do not audit attempts to read or write
Chris PeBenito 414e41
##	any user ttys.
Chris PeBenito 414e41
## </desc>
Chris PeBenito 414e41
## <param name="domain">
Chris PeBenito 414e41
##	The type of the process performing this action.
Chris PeBenito 414e41
## </param>
Chris PeBenito de2cee
#
Chris PeBenito 199895
interface(`term_dontaudit_use_all_user_ttys',`
Chris PeBenito a7c3a1
	gen_require(`
Chris PeBenito a7c3a1
		attribute ttynode;
Chris PeBenito a7c3a1
		class chr_file { read write };
Chris PeBenito a7c3a1
	')
Chris PeBenito 0c73cd
Chris PeBenito 0c73cd
	dontaudit $1 ttynode:chr_file { read write };
Chris PeBenito de2cee
')
Chris PeBenito de2cee