84 lines
1.7 KiB
Plaintext
84 lines
1.7 KiB
Plaintext
## <summary>Policy for user executable applications.</summary>
|
|
|
|
########################################
|
|
## <summary>
|
|
## Make the specified type usable as an application domain.
|
|
## </summary>
|
|
## <param name="type">
|
|
## <summary>
|
|
## Type to be used as a domain type.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`application_type',`
|
|
gen_require(`
|
|
attribute application_domain_type;
|
|
')
|
|
|
|
typeattribute $1 application_domain_type;
|
|
|
|
# start with basic domain
|
|
domain_type($1)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Make the specified type usable for files
|
|
## that are exectuables, such as binary programs.
|
|
## This does not include shared libraries.
|
|
## </summary>
|
|
## <param name="type">
|
|
## <summary>
|
|
## Type to be used for files.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`application_executable_file',`
|
|
gen_require(`
|
|
attribute application_exec_type;
|
|
')
|
|
|
|
typeattribute $1 application_exec_type;
|
|
|
|
corecmd_executable_file($1)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Execute application executables in the caller domain.
|
|
## </summary>
|
|
## <param name="type">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`application_exec',`
|
|
gen_require(`
|
|
attribute application_exec_type;
|
|
')
|
|
|
|
can_exec($1, application_exec_type)
|
|
')
|
|
|
|
########################################
|
|
## <summary>
|
|
## Create a domain which can be started by users
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Type to be used as a domain.
|
|
## </summary>
|
|
## </param>
|
|
## <param name="entry_point">
|
|
## <summary>
|
|
## Type of the program to be used as an entry point to this domain.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`application_domain',`
|
|
application_type($1)
|
|
application_executable_file($2)
|
|
domain_entry_file($1,$2)
|
|
')
|