selinux/ss/mls_types.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 /*
0003  * Type definitions for the multi-level security (MLS) policy.
0004  *
0005  * Author : Stephen Smalley, <sds@tycho.nsa.gov>
0006  */
0007 /*
0008  * Updated: Trusted Computer Solutions, Inc. <dgoeddel@trustedcs.com>
0009  *
0010  *  Support for enhanced MLS infrastructure.
0011  *
0012  * Copyright (C) 2004-2005 Trusted Computer Solutions, Inc.
0013  */
0014
0015 #ifndef _SS_MLS_TYPES_H_
0016 #define _SS_MLS_TYPES_H_
0017
0018 #include "security.h"
0019 #include "ebitmap.h"
0020
0021 struct mls_level {
0022     u32 sens;       /* sensitivity */
0023     struct ebitmap cat; /* category set */
0024 };
0025
0026 struct mls_range {
0027     struct mls_level level[2]; /* low == level[0], high == level[1] */
0028 };
0029
0030 static inline int mls_level_eq(struct mls_level *l1, struct mls_level *l2)
0031 {
0032     return ((l1->sens == l2->sens) &&
0033         ebitmap_cmp(&l1->cat, &l2->cat));
0034 }
0035
0036 static inline int mls_level_dom(struct mls_level *l1, struct mls_level *l2)
0037 {
0038     return ((l1->sens >= l2->sens) &&
0039         ebitmap_contains(&l1->cat, &l2->cat, 0));
0040 }
0041
0042 #define mls_level_incomp(l1, l2) \
0043 (!mls_level_dom((l1), (l2)) && !mls_level_dom((l2), (l1)))
0044
0045 #define mls_level_between(l1, l2, l3) \
0046 (mls_level_dom((l1), (l2)) && mls_level_dom((l3), (l1)))
0047
0048 #define mls_range_contains(r1, r2) \
0049 (mls_level_dom(&(r2).level[0], &(r1).level[0]) && \
0050  mls_level_dom(&(r1).level[1], &(r2).level[1]))
0051
0052 #endif  /* _SS_MLS_TYPES_H_ */