xref: /openbmc/linux/security/selinux/ss/mls_types.h (revision 0fe53224)
1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */
21da177e4SLinus Torvalds /*
31da177e4SLinus Torvalds  * Type definitions for the multi-level security (MLS) policy.
41da177e4SLinus Torvalds  *
5*0fe53224SStephen Smalley  * Author : Stephen Smalley, <stephen.smalley.work@gmail.com>
61da177e4SLinus Torvalds  */
71da177e4SLinus Torvalds /*
81da177e4SLinus Torvalds  * Updated: Trusted Computer Solutions, Inc. <dgoeddel@trustedcs.com>
91da177e4SLinus Torvalds  *
101da177e4SLinus Torvalds  *	Support for enhanced MLS infrastructure.
111da177e4SLinus Torvalds  *
121da177e4SLinus Torvalds  * Copyright (C) 2004-2005 Trusted Computer Solutions, Inc.
131da177e4SLinus Torvalds  */
141da177e4SLinus Torvalds 
151da177e4SLinus Torvalds #ifndef _SS_MLS_TYPES_H_
161da177e4SLinus Torvalds #define _SS_MLS_TYPES_H_
171da177e4SLinus Torvalds 
181da177e4SLinus Torvalds #include "security.h"
190719aaf5SGuido Trentalancia #include "ebitmap.h"
201da177e4SLinus Torvalds 
211da177e4SLinus Torvalds struct mls_level {
221da177e4SLinus Torvalds 	u32 sens;		/* sensitivity */
231da177e4SLinus Torvalds 	struct ebitmap cat;	/* category set */
241da177e4SLinus Torvalds };
251da177e4SLinus Torvalds 
261da177e4SLinus Torvalds struct mls_range {
271da177e4SLinus Torvalds 	struct mls_level level[2]; /* low == level[0], high == level[1] */
281da177e4SLinus Torvalds };
291da177e4SLinus Torvalds 
mls_level_eq(const struct mls_level * l1,const struct mls_level * l2)306354324dSChristian Göttsche static inline int mls_level_eq(const struct mls_level *l1, const struct mls_level *l2)
311da177e4SLinus Torvalds {
321da177e4SLinus Torvalds 	return ((l1->sens == l2->sens) &&
331da177e4SLinus Torvalds 		ebitmap_cmp(&l1->cat, &l2->cat));
341da177e4SLinus Torvalds }
351da177e4SLinus Torvalds 
mls_level_dom(const struct mls_level * l1,const struct mls_level * l2)366354324dSChristian Göttsche static inline int mls_level_dom(const struct mls_level *l1, const struct mls_level *l2)
371da177e4SLinus Torvalds {
381da177e4SLinus Torvalds 	return ((l1->sens >= l2->sens) &&
39fee71142SWaiman Long 		ebitmap_contains(&l1->cat, &l2->cat, 0));
401da177e4SLinus Torvalds }
411da177e4SLinus Torvalds 
421da177e4SLinus Torvalds #define mls_level_incomp(l1, l2) \
431da177e4SLinus Torvalds (!mls_level_dom((l1), (l2)) && !mls_level_dom((l2), (l1)))
441da177e4SLinus Torvalds 
451da177e4SLinus Torvalds #define mls_level_between(l1, l2, l3) \
461da177e4SLinus Torvalds (mls_level_dom((l1), (l2)) && mls_level_dom((l3), (l1)))
471da177e4SLinus Torvalds 
481da177e4SLinus Torvalds #define mls_range_contains(r1, r2) \
491da177e4SLinus Torvalds (mls_level_dom(&(r2).level[0], &(r1).level[0]) && \
501da177e4SLinus Torvalds  mls_level_dom(&(r1).level[1], &(r2).level[1]))
511da177e4SLinus Torvalds 
521da177e4SLinus Torvalds #endif	/* _SS_MLS_TYPES_H_ */
53