2005-09-16 13:36:26 +00:00
|
|
|
ifdef(`enable_mcs',`
|
|
|
|
#
|
|
|
|
# Define sensitivities
|
|
|
|
#
|
|
|
|
# Each sensitivity has a name and zero or more aliases.
|
|
|
|
#
|
|
|
|
# MCS is single-sensitivity.
|
|
|
|
#
|
|
|
|
sensitivity s0;
|
|
|
|
|
|
|
|
#
|
|
|
|
# Define the ordering of the sensitivity levels (least to greatest)
|
|
|
|
#
|
|
|
|
dominance { s0 }
|
|
|
|
|
|
|
|
|
|
|
|
#
|
|
|
|
# Define the categories
|
|
|
|
#
|
|
|
|
# Each category has a name and zero or more aliases.
|
|
|
|
#
|
2006-09-21 15:48:15 +00:00
|
|
|
|
|
|
|
# generate declarations for c0 to c255
|
|
|
|
gen_cats(256)
|
2005-09-16 13:36:26 +00:00
|
|
|
|
|
|
|
#
|
|
|
|
# Each MCS level specifies a sensitivity and zero or more categories which may
|
|
|
|
# be associated with that sensitivity.
|
|
|
|
#
|
2005-10-13 20:59:36 +00:00
|
|
|
level s0:c0.c255;
|
2005-09-16 13:36:26 +00:00
|
|
|
|
|
|
|
#
|
|
|
|
# Define the MCS policy
|
|
|
|
#
|
|
|
|
# mlsconstrain class_set perm_set expression ;
|
|
|
|
#
|
|
|
|
# mlsvalidatetrans class_set expression ;
|
|
|
|
#
|
|
|
|
# expression : ( expression )
|
|
|
|
# | not expression
|
|
|
|
# | expression and expression
|
|
|
|
# | expression or expression
|
|
|
|
# | u1 op u2
|
|
|
|
# | r1 role_mls_op r2
|
|
|
|
# | t1 op t2
|
|
|
|
# | l1 role_mls_op l2
|
|
|
|
# | l1 role_mls_op h2
|
|
|
|
# | h1 role_mls_op l2
|
|
|
|
# | h1 role_mls_op h2
|
|
|
|
# | l1 role_mls_op h1
|
|
|
|
# | l2 role_mls_op h2
|
|
|
|
# | u1 op names
|
|
|
|
# | u2 op names
|
|
|
|
# | r1 op names
|
|
|
|
# | r2 op names
|
|
|
|
# | t1 op names
|
|
|
|
# | t2 op names
|
|
|
|
# | u3 op names (NOTE: this is only available for mlsvalidatetrans)
|
|
|
|
# | r3 op names (NOTE: this is only available for mlsvalidatetrans)
|
|
|
|
# | t3 op names (NOTE: this is only available for mlsvalidatetrans)
|
|
|
|
#
|
|
|
|
# op : == | !=
|
|
|
|
# role_mls_op : == | != | eq | dom | domby | incomp
|
|
|
|
#
|
|
|
|
# names : name | { name_list }
|
|
|
|
# name_list : name | name_list name
|
|
|
|
#
|
|
|
|
|
|
|
|
#
|
|
|
|
# MCS policy for the file classes
|
|
|
|
#
|
|
|
|
# Constrain file access so that the high range of the process dominates
|
|
|
|
# the high range of the file. We use the high range of the process so
|
|
|
|
# that processes can always simply run at s0.
|
|
|
|
#
|
2006-04-17 17:32:54 +00:00
|
|
|
# Note that getattr on files is always permitted.
|
2005-09-16 13:36:26 +00:00
|
|
|
#
|
2006-03-29 14:51:49 +00:00
|
|
|
mlsconstrain file { write setattr append unlink link rename ioctl lock execute relabelfrom }
|
|
|
|
( h1 dom h2 );
|
2006-02-16 19:32:13 +00:00
|
|
|
|
2006-04-17 17:32:54 +00:00
|
|
|
# New filesystem object labels must be dominated by the relabeling subject
|
|
|
|
# clearance, also the objects are single-level.
|
2006-03-29 14:51:49 +00:00
|
|
|
mlsconstrain file { create relabelto }
|
|
|
|
(( h1 dom h2 ) and ( l2 eq h2 ));
|
2005-09-16 13:36:26 +00:00
|
|
|
|
2006-04-17 17:32:54 +00:00
|
|
|
# At this time we do not restrict "ps" type operations via MCS. This
|
|
|
|
# will probably change in future.
|
2006-03-29 14:51:49 +00:00
|
|
|
mlsconstrain file { read }
|
|
|
|
(( h1 dom h2 ) or ( t2 == domain ) or ( t1 == mlsfileread ));
|
2005-10-13 20:59:36 +00:00
|
|
|
|
|
|
|
# new file labels must be dominated by the relabeling subject clearance
|
2006-02-16 19:32:13 +00:00
|
|
|
mlsconstrain { dir lnk_file chr_file blk_file sock_file fifo_file } { relabelfrom }
|
2005-10-13 20:59:36 +00:00
|
|
|
( h1 dom h2 );
|
2006-03-29 14:51:49 +00:00
|
|
|
|
2006-02-16 19:32:13 +00:00
|
|
|
mlsconstrain { dir lnk_file chr_file blk_file sock_file fifo_file } { create relabelto }
|
|
|
|
(( h1 dom h2 ) and ( l2 eq h2 ));
|
|
|
|
|
2006-03-29 16:23:17 +00:00
|
|
|
mlsconstrain process { transition dyntransition }
|
|
|
|
(( h1 dom h2 ) or ( t1 == mcssetcats ));
|
|
|
|
|
2006-03-29 14:51:49 +00:00
|
|
|
mlsconstrain process { ptrace }
|
2006-07-28 15:13:58 +00:00
|
|
|
(( h1 dom h2) or ( t1 == mcsptraceall ));
|
2005-09-16 13:36:26 +00:00
|
|
|
|
2006-03-29 14:51:49 +00:00
|
|
|
mlsconstrain process { sigkill sigstop }
|
|
|
|
(( h1 dom h2 ) or ( t1 == mcskillall ));
|
2005-09-16 13:36:26 +00:00
|
|
|
|
|
|
|
') dnl end enable_mcs
|