2009-03-31 13:40:59 +00:00
|
|
|
|
2010-03-05 19:09:49 +00:00
|
|
|
policy_module(guest, 1.0.1)
|
2009-03-31 13:40:59 +00:00
|
|
|
|
|
|
|
|
########################################
|
|
|
|
|
#
|
|
|
|
|
# Declarations
|
|
|
|
|
#
|
|
|
|
|
|
2009-07-08 15:23:29 +00:00
|
|
|
role guest_r;
|
2009-03-31 13:40:59 +00:00
|
|
|
|
|
|
|
|
userdom_restricted_user_template(guest)
|
|
|
|
|
|
|
|
|
|
########################################
|
|
|
|
|
#
|
|
|
|
|
# Local policy
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
optional_policy(`
|
2010-03-05 19:09:49 +00:00
|
|
|
java_role_template(guest, guest_r, guest_t)
|
|
|
|
|
')
|
|
|
|
|
|
|
|
|
|
optional_policy(`
|
|
|
|
|
mono_role_template(guest, guest_r, guest_t)
|
2009-03-31 13:40:59 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
|
|
#gen_user(guest_u,, guest_r, s0, s0)
|
