## Java virtual machine ######################################## ## ## Role access for java. ## ## ## ## Role allowed access. ## ## ## ## ## User domain for the role. ## ## # interface(`java_role',` gen_require(` attribute_role java_roles; type java_t, java_exec_t, java_tmp_t; type java_tmpfs_t; ') ######################################## # # Declarations # roleattribute $1 java_roles; ######################################## # # Policy # domtrans_pattern($2, java_exec_t, java_t) allow $2 java_t:process { noatsecure siginh rlimitinh ptrace signal_perms }; ps_process_pattern($2, java_t) allow $2 java_tmp_t:dir { manage_dir_perms relabel_dir_perms }; allow $2 { java_tmp_t java_tmpfs_t }:file { manage_file_perms relabel_file_perms }; allow $2 java_tmpfs_t:fifo_file { manage_fifo_file_perms relabel_fifo_file_perms }; allow $2 java_tmpfs_t:lnk_file { manage_lnk_file_perms relabel_lnk_file_perms }; allow $2 java_tmpfs_t:sock_file { manage_sock_file_perms relabel_sock_file_perms }; allow java_t $2:process signull; allow java_t $2:unix_stream_socket connectto; allow java_t $2:unix_stream_socket { read write }; allow java_t $2:tcp_socket { read write }; ') ####################################### ## ## The role template for the java module. ## ## ##

## This template creates a derived domains which are used ## for java applications. ##

##
## ## ## The prefix of the user domain (e.g., user ## is the prefix for user_t). ## ## ## ## ## The role associated with the user domain. ## ## ## ## ## The type of the user domain. ## ## # template(`java_role_template',` gen_require(` attribute java_domain; type java_exec_t, java_tmp_t, java_tmpfs_t; type java_home_t; ') ######################################## # # Declarations # type $1_java_t, java_domain; userdom_user_application_domain($1_java_t, java_exec_t) role $2 types $1_java_t; ######################################## # # Policy # domtrans_pattern($3, java_exec_t, $1_java_t) allow $3 $1_java_t:process { ptrace noatsecure siginh rlimitinh signal_perms }; ps_process_pattern($3, $1_java_t) allow $3 { java_home_t java_tmp_t }:dir { manage_dir_perms relabel_dir_perms }; allow $3 { java_tmp_t java_tmpfs_t java_home_t }:file { manage_file_perms relabel_file_perms }; allow $3 java_tmpfs_t:fifo_file { manage_fifo_file_perms relabel_fifo_file_perms }; allow $3 java_tmpfs_t:lnk_file { manage_lnk_file_perms relabel_lnk_file_perms }; allow $3 java_tmpfs_t:sock_file { manage_sock_file_perms relabel_sock_file_perms }; userdom_user_home_dir_filetrans($3, java_home_t, dir, ".java") allow $1_java_t $3:process signull; allow $1_java_t $3:unix_stream_socket connectto; allow $1_java_t $3:unix_stream_socket { read write }; allow $1_java_t $3:tcp_socket { read write }; corecmd_bin_domtrans($1_java_t, $3) auth_use_nsswitch($1_java_t) optional_policy(` xserver_role($2, $1_java_t) ') ') ######################################## ## ## Execute the java program in the java domain. ## ## ## ## Domain allowed to transition. ## ## # interface(`java_domtrans',` gen_require(` type java_t, java_exec_t; ') corecmd_search_bin($1) domtrans_pattern($1, java_exec_t, java_t) ') ######################################## ## ## Execute java in the java domain, and ## allow the specified role the java domain. ## ## ## ## Domain allowed to transition. ## ## ## ## ## Role allowed access. ## ## # interface(`java_run',` gen_require(` attribute_role java_roles; ') java_domtrans($1) roleattribute $2 java_roles; ') ######################################## ## ## Execute the java program in the ## unconfined java domain. ## ## ## ## Domain allowed to transition. ## ## # interface(`java_domtrans_unconfined',` gen_require(` type unconfined_java_t, java_exec_t; ') corecmd_search_bin($1) domtrans_pattern($1, java_exec_t, unconfined_java_t) ') ######################################## ## ## Execute the java program in the ## unconfined java domain and allow the ## specified role the java domain. ## ## ## ## Domain allowed to transition. ## ## ## ## ## Role allowed access. ## ## # interface(`java_run_unconfined',` gen_require(` attribute_role unconfined_java_roles; ') java_domtrans_unconfined($1) roleattribute $2 unconfined_java_roles; ') ######################################## ## ## Execute the java program in ## the callers domain. ## ## ## ## Domain allowed access. ## ## # interface(`java_exec',` gen_require(` type java_exec_t; ') corecmd_search_bin($1) can_exec($1, java_exec_t) ') ######################################## ## ## Create, read, write, and delete ## generic java home content. ## ## ## ## Domain allowed access. ## ## # interface(`java_manage_generic_home_content',` gen_require(` type java_home_t; ') userdom_search_user_home_dirs($1) allow $1 java_home_t:dir manage_dir_perms; allow $1 java_home_t:file manage_file_perms; ') ###################################### ## ## Create, read, write, and delete ## temporary java content. ## ## ## ## Domain allowed access. ## ## # interface(`java_manage_java_tmp',` gen_require(` type java_tmp_t; ') allow $1 java_tmp_t:dir manage_dir_perms; allow $1 java_tmp_t:file manage_file_perms; ') ######################################## ## ## Create specified objects in user home ## directories with the generic java ## home type. ## ## ## ## Domain allowed access. ## ## ## ## ## Class of the object being created. ## ## ## ## ## The name of the object being created. ## ## # interface(`java_home_filetrans_java_home',` gen_require(` type java_home_t; ') userdom_user_home_dir_filetrans($1, java_home_t, $2, $3) ')