1 /*
2 * Type definitions for the multi-level security (MLS) policy.
3 *
4 * Author : Stephen Smalley, <sds@epoch.ncsc.mil>
5 */
6 /*
7 * Updated: Trusted Computer Solutions, Inc. <dgoeddel@trustedcs.com>
8 *
9 * Support for enhanced MLS infrastructure.
10 *
11 * Copyright (C) 2004-2005 Trusted Computer Solutions, Inc.
12 */
13
14 /* Ported to Xen 3.0, George Coker, <gscoker@alpha.ncsc.mil> */
15
16 #ifndef _SS_MLS_TYPES_H_
17 #define _SS_MLS_TYPES_H_
18
19 #include "security.h"
20
21 struct mls_level {
22 u32 sens; /* sensitivity */
23 struct ebitmap cat; /* category set */
24 };
25
26 struct mls_range {
27 struct mls_level level[2]; /* low == level[0], high == level[1] */
28 };
29
mls_level_eq(struct mls_level * l1,struct mls_level * l2)30 static inline int mls_level_eq(struct mls_level *l1, struct mls_level *l2)
31 {
32 if ( !flask_mls_enabled )
33 return 1;
34
35 return ((l1->sens == l2->sens) &&
36 ebitmap_cmp(&l1->cat, &l2->cat));
37 }
38
mls_level_dom(struct mls_level * l1,struct mls_level * l2)39 static inline int mls_level_dom(struct mls_level *l1, struct mls_level *l2)
40 {
41 if ( !flask_mls_enabled )
42 return 1;
43
44 return ((l1->sens >= l2->sens) &&
45 ebitmap_contains(&l1->cat, &l2->cat));
46 }
47
48 #define mls_level_incomp(l1, l2) \
49 (!mls_level_dom((l1), (l2)) && !mls_level_dom((l2), (l1)))
50
51 #define mls_level_between(l1, l2, l3) \
52 (mls_level_dom((l1), (l2)) && mls_level_dom((l3), (l1)))
53
54 #define mls_range_contains(r1, r2) \
55 (mls_level_dom(&(r2).level[0], &(r1).level[0]) && \
56 mls_level_dom(&(r1).level[1], &(r2).level[1]))
57
58 #endif /* _SS_MLS_TYPES_H_ */
59