#

# Authors:  Dan Walsh <dwalsh@redhat.com> 

#

# Macros for javaplugin (java plugin) domains.

#

#

# javaplugin_domain(domain_prefix, user)

#

# Define a derived domain for the javaplugin program when executed by

# a web browser.  

#

# The type declaration for the executable type for this program is

# provided separately in domains/program/java.te. 

#

define(`javaplugin_domain',`

type $1_javaplugin_t, domain, privlog , nscd_client_domain, transitionbool;

# The user role is authorized for this domain.

role $2_r types $1_javaplugin_t;

domain_auto_trans($1_t, java_exec_t, $1_javaplugin_t)

allow $1_javaplugin_t sound_device_t:chr_file rw_file_perms;

# Unrestricted inheritance from the caller.

allow $1_t $1_javaplugin_t:process { noatsecure siginh rlimitinh };

allow $1_javaplugin_t $1_t:process signull;

can_unix_connect($1_javaplugin_t, $1_t)

allow $1_javaplugin_t $1_t:unix_stream_socket { read write };

# This domain is granted permissions common to most domains (including can_net)

can_network_client($1_javaplugin_t)

can_ypbind($1_javaplugin_t)

allow $1_javaplugin_t self:process { fork signal_perms getsched setsched };

allow $1_javaplugin_t self:unix_stream_socket { connectto create_stream_socket_perms };

allow $1_javaplugin_t self:fifo_file rw_file_perms;

allow $1_javaplugin_t etc_runtime_t:file { getattr read };

allow $1_javaplugin_t fs_t:filesystem getattr;

r_dir_file($1_javaplugin_t, { proc_t proc_net_t })

allow $1_javaplugin_t self:dir search;

allow $1_javaplugin_t self:lnk_file read;

allow $1_javaplugin_t self:file { getattr read };

read_sysctl($1_javaplugin_t)

tmp_domain($1_javaplugin)

r_dir_file($1_javaplugin_t,{ fonts_t usr_t etc_t })

# Search bin directory under javaplugin for javaplugin executable

allow $1_javaplugin_t bin_t:dir search;

can_exec($1_javaplugin_t, java_exec_t)

# Allow connections to X server.

ifdef(`xserver.te', `

ifdef(`xdm.te', `

# for when /tmp/.X11-unix is created by the system

allow $1_javaplugin_t xdm_xserver_tmp_t:dir search;

allow $1_javaplugin_t xdm_t:fifo_file rw_file_perms;

allow $1_javaplugin_t xdm_tmp_t:dir search;

allow $1_javaplugin_t xdm_tmp_t:sock_file write;

')

ifdef(`startx.te', `

# for when /tmp/.X11-unix is created by the X server

allow $1_javaplugin_t $2_xserver_tmp_t:dir search;

# for /tmp/.X0-lock

allow $1_javaplugin_t $2_xserver_tmp_t:file getattr;

allow $1_javaplugin_t $2_xserver_tmp_t:sock_file rw_file_perms;

can_unix_connect($1_javaplugin_t, $2_xserver_t)

')dnl end startx

can_unix_connect($1_javaplugin_t, xdm_xserver_t)

allow xdm_xserver_t $1_javaplugin_t:fd use;

allow xdm_xserver_t $1_javaplugin_t:shm { associate getattr read unix_read };

dontaudit xdm_xserver_t $1_javaplugin_t:shm { unix_write write };

')dnl end xserver

allow $1_javaplugin_t self:shm create_shm_perms;

uses_shlib($1_javaplugin_t)

read_locale($1_javaplugin_t)

rw_dir_file($1_javaplugin_t, $1_home_t)

if (allow_java_execstack) {

legacy_domain($1_javaplugin)

allow $1_javaplugin_t lib_t:file execute;

allow $1_javaplugin_t locale_t:file execute;

allow $1_javaplugin_t $1_javaplugin_tmp_t:file execute;

allow $1_javaplugin_t fonts_t:file execute;

allow $1_javaplugin_t sound_device_t:chr_file execute;

}

allow $1_javaplugin_t { random_device_t urandom_device_t }:chr_file ra_file_perms;

allow $1_javaplugin_t home_root_t:dir { getattr search };

file_type_auto_trans($1_javaplugin_t, $2_home_dir_t, $1_home_t)

allow $1_javaplugin_t $2_xauth_home_t:file { getattr read };

allow $1_javaplugin_t $2_tmp_t:sock_file write;

allow $1_javaplugin_t $2_t:fd use;

allow $1_javaplugin_t var_t:dir getattr;

allow $1_javaplugin_t var_lib_t:dir { getattr search };

dontaudit $1_javaplugin_t $2_devpts_t:chr_file { read write };

dontaudit $1_javaplugin_t sysadm_devpts_t:chr_file { read write };

dontaudit $1_javaplugin_t devtty_t:chr_file { read write };

dontaudit $1_javaplugin_t tmpfs_t:file { execute read write };

dontaudit $1_javaplugin_t $1_home_t:file { execute setattr };

')