## <summary>

## Device nodes and interfaces for many basic system devices.

## </summary>

## <desc>

## 

## This module creates the device node concept and provides

## the policy for many of the device files. Notable exceptions are

## the mass storage and terminal devices that are covered by other

## modules.

## 

## 

## This module creates the concept of a device node. That is a

## char or block device file, usually in /dev. All types that

## are used to label device nodes should use the dev_node macro.

## 

## 

## Additionally, this module controls access to three things:

##	

##		
the device directories containing device nodes

##		
device nodes as a group

##		
individual access to specific device nodes covered by

##		this module.

##	

## 

## </desc>

## <required val="true">

##	Depended on by other required modules.

## </required>

########################################

## <summary>

##	Make the passed in type a type appropriate for

##	use on device nodes (usually files in /dev).

## </summary>

## <param name="object_type">

##	The object type that will be used on device nodes.

## </param>

#

interface(`dev_node',`

	gen_require(`

		attribute device_node;

	')

	typeattribute $1 device_node;

	fs_associate($1)

	fs_associate_tmpfs($1)

	files_associate_tmp($1)

')

########################################

## <summary>

##	Allow full relabeling (to and from) of all device nodes.

## </summary>

## <param name="domain">

##	Domain allowed to relabel.

## </param>

#

interface(`dev_relabel_all_dev_nodes',`

	gen_require(`

		attribute device_node;

		type device_t;

	')

	allow $1 device_node:dir { getattr relabelfrom };

	allow $1 device_node:file { getattr relabelfrom };

	allow $1 device_node:lnk_file { getattr relabelfrom };

	allow $1 device_node:fifo_file { getattr relabelfrom };

	allow $1 device_node:sock_file { getattr relabelfrom };

	allow $1 { device_t device_node }:blk_file { getattr relabelfrom relabelto };

	allow $1 { device_t device_node }:chr_file { getattr relabelfrom relabelto };

')

########################################

## <summary>

##	List all of the device nodes in a device directory.

## </summary>

## <param name="domain">

##	Domain allowed to list device nodes.

## </param>

#

interface(`dev_list_all_dev_nodes',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 device_t:lnk_file { getattr read };

')

########################################

## <summary>

##	Set the attributes of /dev directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_setattr_dev_dir',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir setattr;

')

########################################

## <summary>

##	Dontaudit attempts to list all device nodes.

## </summary>

## <param name="domain">

##	Domain to dontaudit listing of device nodes.

## </param>

#

interface(`dev_dontaudit_list_all_dev_nodes',`

	gen_require(`

		type device_t;

	')

	dontaudit $1 device_t:dir r_dir_perms;

')

########################################

## <summary>

##	Create a directory in the device directory.

## </summary>

## <param name="domain">

##	Domain allowed to create the directory.

## </param>

#

interface(`dev_create_dir',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir { ra_dir_perms create };

')

########################################

## <summary>

##	Allow full relabeling (to and from) of directories in /dev.

## </summary>

## <param name="domain">

##	Domain allowed to relabel.

## </param>

#

interface(`dev_relabel_dev_dirs',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir { r_dir_perms relabelfrom relabelto };

')

########################################

## <summary>

##	Read and write generic files in /dev.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_rw_generic_file',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir search;

	allow $1 device_t:file rw_file_perms;

')

########################################

## <summary>

##	Delete generic files in /dev.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_delete_generic_file',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir { search write remove_name };

	allow $1 device_t:file unlink;

')

########################################

## <summary>

##	Dontaudit getattr on generic pipes.

## </summary>

## <param name="domain">

##	Domain to dontaudit.

## </param>

#

interface(`dev_dontaudit_getattr_generic_pipe',`

	gen_require(`

		type device_t;

	')

	dontaudit $1 device_t:fifo_file getattr;

')

########################################

## <summary>

##	Allow getattr on generic block devices.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_getattr_generic_blk_file',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 device_t:blk_file getattr;

')

########################################

## <summary>

##	Dontaudit getattr on generic block devices.

## </summary>

## <param name="domain">

##	Domain to dontaudit access.

## </param>

#

interface(`dev_dontaudit_getattr_generic_blk_file',`

	gen_require(`

		type device_t;

	')

	dontaudit $1 device_t:blk_file getattr;

')

########################################

## <summary>

##	Dontaudit setattr on generic block devices.

## </summary>

## <param name="domain">

##	Domain to dontaudit access.

## </param>

#

interface(`dev_dontaudit_setattr_generic_blk_file',`

	gen_require(`

		type device_t;

	')

	dontaudit $1 device_t:blk_file setattr;

')

########################################

## <summary>

##	Allow read, write, create, and delete for generic

##	block files.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_manage_generic_blk_file',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir rw_dir_perms;

	allow $1 device_t:blk_file create_file_perms;

')

########################################

## <summary>

##	Allow read, write, and create for generic character device files.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_create_generic_chr_file',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir ra_dir_perms;

	allow $1 device_t:chr_file create;

	allow $1 self:capability mknod;

')

########################################

## <summary>

##	Allow getattr for generic character device files.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_getattr_generic_chr_file',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 device_t:chr_file getattr;

')

########################################

## <summary>

##	Dontaudit getattr for generic character device files.

## </summary>

## <param name="domain">

##	Domain to dontaudit access.

## </param>

#

interface(`dev_dontaudit_getattr_generic_chr_file',`

	gen_require(`

		type device_t;

	')

	dontaudit $1 device_t:chr_file getattr;

')

########################################

## <summary>

##	Dontaudit setattr for generic character device files.

## </summary>

## <param name="domain">

##	Domain to dontaudit access.

## </param>

#

interface(`dev_dontaudit_setattr_generic_chr_file',`

	gen_require(`

		type device_t;

	')

	dontaudit $1 device_t:chr_file setattr;

')

########################################

## <summary>

##	Do not audit attempts to set the attributes

##	of symbolic links in device directories (/dev).

## </summary>

## <param name="domain">

##	Domain to not audit.

## </param>

#

interface(`dev_dontaudit_setattr_generic_symlink',`

	gen_require(`

		type device_t;

	')

	dontaudit $1 device_t:lnk_file setattr;

')

########################################

## <summary>

##	Delete symbolic links in device directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_del_generic_symlinks',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir { getattr read write remove_name };

	allow $1 device_t:lnk_file unlink;

')

########################################

## <summary>

##	Create, delete, read, and write symbolic links in device directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_manage_generic_symlinks',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir rw_dir_perms;

	allow $1 device_t:lnk_file create_lnk_perms;

')

########################################

## <summary>

##	Relabel symbolic links in device directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_relabel_generic_symlinks',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 device_t:lnk_file { relabelfrom relabelto };

')

########################################

## <summary>

##	Create, delete, read, and write device nodes in device directories.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_manage_dev_nodes',`

	gen_require(`

		attribute device_node, memory_raw_read, memory_raw_write;

		type device_t;

	')

	allow $1 device_t:dir { create read getattr lock setattr ioctl link unlink rename search add_name remove_name reparent write rmdir relabelfrom relabelto };

	allow $1 device_t:sock_file { create ioctl read getattr lock write setattr append link unlink rename };

	allow $1 device_t:lnk_file { create read getattr setattr link unlink rename };

	allow $1 device_t:{ chr_file blk_file } { create ioctl read getattr lock write setattr append link unlink rename relabelfrom relabelto };

	allow $1 device_node:{ chr_file blk_file } { create ioctl read getattr lock write setattr append link unlink rename relabelfrom relabelto };

	# these next rules are to satisfy assertions broken by the above lines.

	# the permissions hopefully can be cut back a lot

	storage_raw_read_fixed_disk($1)

	storage_raw_write_fixed_disk($1)

	storage_read_scsi_generic($1)

	storage_write_scsi_generic($1)

	typeattribute $1 memory_raw_read;

	typeattribute $1 memory_raw_write;

')

########################################

## <summary>

##	Dontaudit getattr for generic device files.

## </summary>

## <param name="domain">

##	Domain to dontaudit access.

## </param>

#

interface(`dev_dontaudit_rw_generic_dev_nodes',`

	gen_require(`

		type device_t;

	')

	dontaudit $1 device_t:{ chr_file blk_file } { getattr read write ioctl };

')

########################################

## <summary>

##	Create, delete, read, and write block device files.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_manage_generic_blk_file',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir rw_dir_perms;

	allow $1 device_t:blk_file create_file_perms;

')

########################################

## <summary>

##	Create, delete, read, and write character device files.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_manage_generic_chr_file',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir rw_dir_perms;

	allow $1 device_t:chr_file create_file_perms;

')

########################################

## <summary>

##	Create, read, and write device nodes. The node

##	will be transitioned to the type provided.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

## <param name="file">

##	Type to which the created node will be transitioned.

## </param>

## <param name="objectclass(es)">

##	Object class(es) (single or set including {}) for which this

##	the transition will occur.

## </param>

#

interface(`dev_create_dev_node',`

	gen_require(`

		type device_t;

	')

	allow $1 device_t:dir rw_dir_perms;

	type_transition $1 device_t:$3 $2;

	fs_associate_tmpfs($2)

	files_associate_tmp($2)

')

########################################

## <summary>

##	Getattr on all block file device nodes.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_getattr_all_blk_files',`

	gen_require(`

		attribute device_node;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 device_node:blk_file getattr;

')

########################################

## <summary>

##	Dontaudit getattr on all block file device nodes.

## </summary>

## <param name="domain">

##	Domain to dontaudit access.

## </param>

#

interface(`dev_dontaudit_getattr_all_blk_files',`

	gen_require(`

		attribute device_node;

	')

	dontaudit $1 device_node:blk_file getattr;

')

########################################

## <summary>

##	Getattr on all character file device nodes.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_getattr_all_chr_files',`

	gen_require(`

		attribute device_node;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 device_node:chr_file getattr;

')

########################################

## <summary>

##	Dontaudit getattr on all character file device nodes.

## </summary>

## <param name="domain">

##	Domain to dontaudit access.

## </param>

#

interface(`dev_dontaudit_getattr_all_chr_files',`

	gen_require(`

		attribute device_node;

	')

	dontaudit $1 device_node:chr_file getattr;

')

########################################

## <summary>

##	Setattr on all block file device nodes.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_setattr_all_blk_files',`

	gen_require(`

		attribute device_node;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 device_node:blk_file setattr;

')

########################################

## <summary>

##	Setattr on all character file device nodes.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_setattr_all_chr_files',`

	gen_require(`

		attribute device_node;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 device_node:chr_file setattr;

')

########################################

## <summary>

##	Dontaudit read on all block file device nodes.

## </summary>

## <param name="domain">

##	Domain to not audit.

## </param>

#

interface(`dev_dontaudit_read_all_blk_files',`

	gen_require(`

		attribute device_node;

	')

	dontaudit $1 device_node:blk_file { getattr read };

')

########################################

## <summary>

##	Dontaudit read on all character file device nodes.

## </summary>

## <param name="domain">

##	Domain to not audit.

## </param>

#

interface(`dev_dontaudit_read_all_chr_files',`

	gen_require(`

		attribute device_node;

	')

	dontaudit $1 device_node:chr_file { getattr read };

')

########################################

## <summary>

##	Read, write, create, and delete all block device files.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_manage_all_blk_files',`

	gen_require(`

		attribute device_node;

	')

	allow $1 device_t:dir rw_dir_perms;

	allow $1 device_node:blk_file create_file_perms;

	# these next rules are to satisfy assertions broken by the above lines.

	storage_raw_read_fixed_disk($1)

	storage_raw_write_fixed_disk($1)

	storage_read_scsi_generic($1)

	storage_write_scsi_generic($1)

')

########################################

## <summary>

##	Read, write, create, and delete all character device files.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_manage_all_chr_files',`

	gen_require(`

		attribute device_node, memory_raw_read, memory_raw_write;

	')

	allow $1 device_t:dir rw_dir_perms;

	allow $1 device_node:chr_file create_file_perms;

	typeattribute $1 memory_raw_read, memory_raw_write;

')

########################################

## <summary>

##	Read and write the agp devices.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_rw_agp_dev',`

	gen_require(`

		type device_t, agp_device_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 agp_device_t:chr_file rw_file_perms;

')

########################################

## <summary>

##	Get the attributes of the apm bios device node.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_getattr_apm_bios',`

	gen_require(`

		type device_t, apm_bios_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 apm_bios_t:chr_file getattr;

')

########################################

## <summary>

##	Do not audit attempts to get the attributes of

##	the apm bios device node.

## </summary>

## <param name="domain">

##	Domain to not audit.

## </param>

#

interface(`dev_dontaudit_getattr_apm_bios',`

	gen_require(`

		type apm_bios_t;

	')

	dontaudit $1 apm_bios_t:chr_file getattr;

')

########################################

## <summary>

##	Set the attributes of the apm bios device node.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_setattr_apm_bios',`

	gen_require(`

		type device_t, apm_bios_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 apm_bios_t:chr_file setattr;

')

########################################

## <summary>

##	Do not audit attempts to set the attributes of

##	the apm bios device node.

## </summary>

## <param name="domain">

##	Domain to not audit.

## </param>

#

interface(`dev_dontaudit_setattr_apm_bios',`

	gen_require(`

		type apm_bios_t;

	')

	dontaudit $1 apm_bios_t:chr_file setattr;

')

########################################

## <summary>

##	Read and write the apm bios.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_rw_apm_bios',`

	gen_require(`

		type device_t, apm_bios_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 apm_bios_t:chr_file rw_file_perms;

')

########################################

## <summary>

##	Read and write the PCMCIA card manager device.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_rw_cardmgr',`

	gen_require(`

		type cardmgr_dev_t;

	')

	allow $1 device_t:dir r_dir_perms;

	allow $1 cardmgr_dev_t:chr_file { read write };

')

########################################

## <summary>

##	Do not audit attempts to read and

##	write the PCMCIA card manager device.

## </summary>

## <param name="domain">

##	Domain to not audit.

## </param>

#

interface(`dev_dontaudit_rw_cardmgr',`

	gen_require(`

		type cardmgr_dev_t;

	')

	dontaudit $1 cardmgr_dev_t:chr_file { read write };

')

########################################

## <summary>

##	Create, read, write, and delete

##	the PCMCIA card manager device.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_manage_cardmgr',`

	gen_require(`

		type device_t, cardmgr_dev_t;

	')

	allow $1 device_t:dir rw_dir_perms;

	allow $1 cardmgr_dev_t:{ chr_file blk_file } manage_file_perms;

')

########################################

## <summary>

##	Create, read, write, and delete

##	the PCMCIA card manager device

##	with the correct type.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_create_cardmgr',`

	gen_require(`

		type device_t, cardmgr_dev_t;

	')

	allow $1 device_t:dir rw_dir_perms;

	allow $1 cardmgr_dev_t:{ chr_file blk_file } manage_file_perms;

	type_transition $1 device_t:{ chr_file blk_file } cardmgr_dev_t;

')

########################################

## <summary>

##	Get the attributes of the CPU

##	microcode and id interfaces.

## </summary>

## <param name="domain">

##	Domain allowed access.

## </param>

#

interface(`dev_getattr_cpu',`

	gen_require(`

		type device_t, cpu_device_t;