• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /* Author : Stephen Smalley, <sds@epoch.ncsc.mil> */
2 
3 /* FLASK */
4 
5 /*
6  * A constraint is a condition that must be satisfied in
7  * order for one or more permissions to be granted.
8  * Constraints are used to impose additional restrictions
9  * beyond the type-based rules in `te' or the role-based
10  * transition rules in `rbac'.  Constraints are typically
11  * used to prevent a process from transitioning to a new user
12  * identity or role unless it is in a privileged type.
13  * Constraints are likewise typically used to prevent a
14  * process from labeling an object with a different user
15  * identity.
16  */
17 
18 #ifndef _SEPOL_POLICYDB_CONSTRAINT_H_
19 #define _SEPOL_POLICYDB_CONSTRAINT_H_
20 
21 #include <sepol/policydb/policydb.h>
22 #include <sepol/policydb/ebitmap.h>
23 #include <sepol/policydb/flask_types.h>
24 
25 #ifdef __cplusplus
26 extern "C" {
27 #endif
28 
29 #define CEXPR_MAXDEPTH 5
30 
31 struct type_set;
32 
33 typedef struct constraint_expr {
34 #define CEXPR_NOT		1	/* not expr */
35 #define CEXPR_AND		2	/* expr and expr */
36 #define CEXPR_OR		3	/* expr or expr */
37 #define CEXPR_ATTR		4	/* attr op attr */
38 #define CEXPR_NAMES		5	/* attr op names */
39 	uint32_t expr_type;	/* expression type */
40 
41 #define CEXPR_USER 1		/* user */
42 #define CEXPR_ROLE 2		/* role */
43 #define CEXPR_TYPE 4		/* type */
44 #define CEXPR_TARGET 8		/* target if set, source otherwise */
45 #define CEXPR_XTARGET 16	/* special 3rd target for validatetrans rule */
46 #define CEXPR_L1L2 32		/* low level 1 vs. low level 2 */
47 #define CEXPR_L1H2 64		/* low level 1 vs. high level 2 */
48 #define CEXPR_H1L2 128		/* high level 1 vs. low level 2 */
49 #define CEXPR_H1H2 256		/* high level 1 vs. high level 2 */
50 #define CEXPR_L1H1 512		/* low level 1 vs. high level 1 */
51 #define CEXPR_L2H2 1024		/* low level 2 vs. high level 2 */
52 	uint32_t attr;		/* attribute */
53 
54 #define CEXPR_EQ     1		/* == or eq */
55 #define CEXPR_NEQ    2		/* != */
56 #define CEXPR_DOM    3		/* dom */
57 #define CEXPR_DOMBY  4		/* domby  */
58 #define CEXPR_INCOMP 5		/* incomp */
59 	uint32_t op;		/* operator */
60 
61 	ebitmap_t names;	/* names */
62 	struct type_set *type_names;
63 
64 	struct constraint_expr *next;	/* next expression */
65 } constraint_expr_t;
66 
67 typedef struct constraint_node {
68 	sepol_access_vector_t permissions;	/* constrained permissions */
69 	constraint_expr_t *expr;	/* constraint on permissions */
70 	struct constraint_node *next;	/* next constraint */
71 } constraint_node_t;
72 
73 struct policydb;
74 
75 extern int constraint_expr_init(constraint_expr_t * expr);
76 extern void constraint_expr_destroy(constraint_expr_t * expr);
77 
78 #ifdef __cplusplus
79 }
80 #endif
81 
82 #endif				/* _CONSTRAINT_H_ */
83 
84 /* FLASK */
85