Java virtual machine
Execute the java program in the java domain.
Parameter: | Description: | Optional: |
---|---|---|
domain |
Domain allowed access. | No |
Execute a java in the specified domain
Execute the java command in the specified domain. This allows the specified domain to execute any file on these filesystems in the specified domain.
Parameter: | Description: | Optional: |
---|---|---|
domain |
Domain allowed access. | No |
target_domain |
The type of the new process. | No |
Run java in javaplugin domain.
Run java in javaplugin domain.
This is a templated interface, and should only be called from a per-userdomain template.
Parameter: | Description: | Optional: |
---|---|---|
userdomain_prefix |
The prefix of the user domain (e.g., user is the prefix for user_t). | No |
domain |
Domain allowed access. | No |
The per role template for the java module.
This template creates a derived domains which are used for java plugins that are executed by a browser.
This template is invoked automatically for each user, and generally does not need to be invoked directly by policy writers.
Parameter: | Description: | Optional: |
---|---|---|
userdomain_prefix |
The prefix of the user domain (e.g., user is the prefix for user_t). | No |
user_domain |
The type of the user domain. | No |
user_role |
The role associated with the user domain. | No |