ada_selinux(8) SELinux Policy documentation for ada ada_selinux(8)

NAME ada_selinux - Security Enhanced Linux Policy for the ada processes

DESCRIPTION Security-Enhanced Linux secures the ada processes via flexible manda- tory access control.

The ada processes execute with the ada_t SELinux type. You can check if you have these processes running by executing the ps command with the -Z qualifier.

For example:

ps -eZ | grep ada_t

ENTRYPOINTS The ada_t SELinux type can be entered via the "mtrr_device_t,ada_exec_t,unlabeled_t,proc_type,sysctl_type,filesys- tem_type,file_type" file types. The default entrypoint paths for the ada_t domain are the following:"

/dev/cpu/mtrr, /usr/libexec/gcc(/.*)?/gnat1, /usr/bin/gnatls, /usr/bin/gnatbind, /usr/bin/gnatmake, all files on the system

PROCESS TYPES SELinux defines process types (domains) for each process running on the system

You can see the context of a process using the -Z option to ps

Policy governs the access confined processes have to files. SELinux ada policy is very flexible allowing users to setup their ada processes in as secure a method as possible.

The following process types are defined for ada:

ada_t

Note: semanage permissive -a ada_t

can be used to make the process type ada_t permissive. Permissive pro- cess types are not denied access by SELinux. AVC messages will still be generated.

FILE CONTEXTS SELinux requires files to have an extended attribute to define the file type.

You can see the context of a file using the -Z option to ls

Policy governs the access confined processes have to these files. SELinux ada policy is very flexible allowing users to setup their ada processes in as secure a method as possible.

The following file types are defined for ada:

ada_exec_t

- Set files with the ada_exec_t type, if you want to transition an exe- cutable to the ada_t domain.

Note: File context can be temporarily modified with the chcon command. If you want to permanently change the file context you need to use the semanage fcontext command. This will modify the SELinux labeling database. You will need to use restorecon to apply the labels.

MANAGED FILES The SELinux process type ada_t can manage files labeled with the fol- lowing file types. The paths listed are the default paths for these file types. Note the processes UID still need to have DAC permissions.

file_type

all files on the system

COMMANDS semanage fcontext can also be used to manipulate default file context mappings.

semanage permissive can also be used to manipulate whether or not a process type is permissive.

semanage module can also be used to enable/disable/install/remove pol- icy modules.

system-config-selinux is a GUI tool available to customize SELinux pol- icy settings.

AUTHOR This manual page was auto-generated using sepolicy manpage by mgrepl.

SEE ALSO selinux(8), ada(8), semanage(8), restorecon(8), chcon(1), sepolicy(8)

ada 13-01-04 ada_selinux(8)