1/*
 2 * A constraint is a condition that must be satisfied in
 3 * order for one or more permissions to be granted.
 4 * Constraints are used to impose additional restrictions
 5 * beyond the type-based rules in `te' or the role-based
 6 * transition rules in `rbac'.  Constraints are typically
 7 * used to prevent a process from transitioning to a new user
 8 * identity or role unless it is in a privileged type.
 9 * Constraints are likewise typically used to prevent a
10 * process from labeling an object with a different user
11 * identity.
12 *
13 * Author : Stephen Smalley, <sds@epoch.ncsc.mil>
14 */
 
15#ifndef _SS_CONSTRAINT_H_
16#define _SS_CONSTRAINT_H_
17
18#include "ebitmap.h"
19
20#define CEXPR_MAXDEPTH 5
21
22struct constraint_expr {
23#define CEXPR_NOT		1 /* not expr */
24#define CEXPR_AND		2 /* expr and expr */
25#define CEXPR_OR		3 /* expr or expr */
26#define CEXPR_ATTR		4 /* attr op attr */
27#define CEXPR_NAMES		5 /* attr op names */
28	u32 expr_type;		/* expression type */
29
30#define CEXPR_USER 1		/* user */
31#define CEXPR_ROLE 2		/* role */
32#define CEXPR_TYPE 4		/* type */
33#define CEXPR_TARGET 8		/* target if set, source otherwise */
34#define CEXPR_XTARGET 16	/* special 3rd target for validatetrans rule */
35#define CEXPR_L1L2 32		/* low level 1 vs. low level 2 */
36#define CEXPR_L1H2 64		/* low level 1 vs. high level 2 */
37#define CEXPR_H1L2 128		/* high level 1 vs. low level 2 */
38#define CEXPR_H1H2 256		/* high level 1 vs. high level 2 */
39#define CEXPR_L1H1 512		/* low level 1 vs. high level 1 */
40#define CEXPR_L2H2 1024		/* low level 2 vs. high level 2 */
41	u32 attr;		/* attribute */
42
43#define CEXPR_EQ     1		/* == or eq */
44#define CEXPR_NEQ    2		/* != */
45#define CEXPR_DOM    3		/* dom */
46#define CEXPR_DOMBY  4		/* domby  */
47#define CEXPR_INCOMP 5		/* incomp */
48	u32 op;			/* operator */
49
50	struct ebitmap names;	/* names */
51	struct type_set *type_names;
52
53	struct constraint_expr *next;   /* next expression */
54};
55
56struct constraint_node {
57	u32 permissions;	/* constrained permissions */
58	struct constraint_expr *expr;	/* constraint on permissions */
59	struct constraint_node *next;	/* next constraint */
60};
61
62#endif	/* _SS_CONSTRAINT_H_ */

 1/* SPDX-License-Identifier: GPL-2.0 */
 2/*
 3 * A constraint is a condition that must be satisfied in
 4 * order for one or more permissions to be granted.
 5 * Constraints are used to impose additional restrictions
 6 * beyond the type-based rules in `te' or the role-based
 7 * transition rules in `rbac'.  Constraints are typically
 8 * used to prevent a process from transitioning to a new user
 9 * identity or role unless it is in a privileged type.
10 * Constraints are likewise typically used to prevent a
11 * process from labeling an object with a different user
12 * identity.
13 *
14 * Author : Stephen Smalley, <stephen.smalley.work@gmail.com>
15 */
16
17#ifndef _SS_CONSTRAINT_H_
18#define _SS_CONSTRAINT_H_
19
20#include "ebitmap.h"
21
22#define CEXPR_MAXDEPTH 5
23
24struct constraint_expr {
25#define CEXPR_NOT   1 /* not expr */
26#define CEXPR_AND   2 /* expr and expr */
27#define CEXPR_OR    3 /* expr or expr */
28#define CEXPR_ATTR  4 /* attr op attr */
29#define CEXPR_NAMES 5 /* attr op names */
30	u32 expr_type; /* expression type */
31
32#define CEXPR_USER    1 /* user */
33#define CEXPR_ROLE    2 /* role */
34#define CEXPR_TYPE    4 /* type */
35#define CEXPR_TARGET  8 /* target if set, source otherwise */
36#define CEXPR_XTARGET 16 /* special 3rd target for validatetrans rule */
37#define CEXPR_L1L2    32 /* low level 1 vs. low level 2 */
38#define CEXPR_L1H2    64 /* low level 1 vs. high level 2 */
39#define CEXPR_H1L2    128 /* high level 1 vs. low level 2 */
40#define CEXPR_H1H2    256 /* high level 1 vs. high level 2 */
41#define CEXPR_L1H1    512 /* low level 1 vs. high level 1 */
42#define CEXPR_L2H2    1024 /* low level 2 vs. high level 2 */
43	u32 attr; /* attribute */
44
45#define CEXPR_EQ     1 /* == or eq */
46#define CEXPR_NEQ    2 /* != */
47#define CEXPR_DOM    3 /* dom */
48#define CEXPR_DOMBY  4 /* domby  */
49#define CEXPR_INCOMP 5 /* incomp */
50	u32 op; /* operator */
51
52	struct ebitmap names; /* names */
53	struct type_set *type_names;
54
55	struct constraint_expr *next; /* next expression */
56};
57
58struct constraint_node {
59	u32 permissions; /* constrained permissions */
60	struct constraint_expr *expr; /* constraint on permissions */
61	struct constraint_node *next; /* next constraint */
62};
63
64#endif /* _SS_CONSTRAINT_H_ */