Loading...
1/*
2 * A policy database (policydb) specifies the
3 * configuration data for the security policy.
4 *
5 * Author : Stephen Smalley, <sds@epoch.ncsc.mil>
6 */
7
8/*
9 * Updated: Trusted Computer Solutions, Inc. <dgoeddel@trustedcs.com>
10 *
11 * Support for enhanced MLS infrastructure.
12 *
13 * Updated: Frank Mayer <mayerf@tresys.com> and Karl MacMillan <kmacmillan@tresys.com>
14 *
15 * Added conditional policy language extensions
16 *
17 * Copyright (C) 2004-2005 Trusted Computer Solutions, Inc.
18 * Copyright (C) 2003 - 2004 Tresys Technology, LLC
19 * This program is free software; you can redistribute it and/or modify
20 * it under the terms of the GNU General Public License as published by
21 * the Free Software Foundation, version 2.
22 */
23
24#ifndef _SS_POLICYDB_H_
25#define _SS_POLICYDB_H_
26
27#include <linux/flex_array.h>
28
29#include "symtab.h"
30#include "avtab.h"
31#include "sidtab.h"
32#include "ebitmap.h"
33#include "mls_types.h"
34#include "context.h"
35#include "constraint.h"
36
37/*
38 * A datum type is defined for each kind of symbol
39 * in the configuration data: individual permissions,
40 * common prefixes for access vectors, classes,
41 * users, roles, types, sensitivities, categories, etc.
42 */
43
44/* Permission attributes */
45struct perm_datum {
46 u32 value; /* permission bit + 1 */
47};
48
49/* Attributes of a common prefix for access vectors */
50struct common_datum {
51 u32 value; /* internal common value */
52 struct symtab permissions; /* common permissions */
53};
54
55/* Class attributes */
56struct class_datum {
57 u32 value; /* class value */
58 char *comkey; /* common name */
59 struct common_datum *comdatum; /* common datum */
60 struct symtab permissions; /* class-specific permission symbol table */
61 struct constraint_node *constraints; /* constraints on class permissions */
62 struct constraint_node *validatetrans; /* special transition rules */
63/* Options how a new object user, role, and type should be decided */
64#define DEFAULT_SOURCE 1
65#define DEFAULT_TARGET 2
66 char default_user;
67 char default_role;
68 char default_type;
69/* Options how a new object range should be decided */
70#define DEFAULT_SOURCE_LOW 1
71#define DEFAULT_SOURCE_HIGH 2
72#define DEFAULT_SOURCE_LOW_HIGH 3
73#define DEFAULT_TARGET_LOW 4
74#define DEFAULT_TARGET_HIGH 5
75#define DEFAULT_TARGET_LOW_HIGH 6
76 char default_range;
77};
78
79/* Role attributes */
80struct role_datum {
81 u32 value; /* internal role value */
82 u32 bounds; /* boundary of role */
83 struct ebitmap dominates; /* set of roles dominated by this role */
84 struct ebitmap types; /* set of authorized types for role */
85};
86
87struct role_trans {
88 u32 role; /* current role */
89 u32 type; /* program executable type, or new object type */
90 u32 tclass; /* process class, or new object class */
91 u32 new_role; /* new role */
92 struct role_trans *next;
93};
94
95struct filename_trans {
96 u32 stype; /* current process */
97 u32 ttype; /* parent dir context */
98 u16 tclass; /* class of new object */
99 const char *name; /* last path component */
100};
101
102struct filename_trans_datum {
103 u32 otype; /* expected of new object */
104};
105
106struct role_allow {
107 u32 role; /* current role */
108 u32 new_role; /* new role */
109 struct role_allow *next;
110};
111
112/* Type attributes */
113struct type_datum {
114 u32 value; /* internal type value */
115 u32 bounds; /* boundary of type */
116 unsigned char primary; /* primary name? */
117 unsigned char attribute;/* attribute ?*/
118};
119
120/* User attributes */
121struct user_datum {
122 u32 value; /* internal user value */
123 u32 bounds; /* bounds of user */
124 struct ebitmap roles; /* set of authorized roles for user */
125 struct mls_range range; /* MLS range (min - max) for user */
126 struct mls_level dfltlevel; /* default login MLS level for user */
127};
128
129
130/* Sensitivity attributes */
131struct level_datum {
132 struct mls_level *level; /* sensitivity and associated categories */
133 unsigned char isalias; /* is this sensitivity an alias for another? */
134};
135
136/* Category attributes */
137struct cat_datum {
138 u32 value; /* internal category bit + 1 */
139 unsigned char isalias; /* is this category an alias for another? */
140};
141
142struct range_trans {
143 u32 source_type;
144 u32 target_type;
145 u32 target_class;
146};
147
148/* Boolean data type */
149struct cond_bool_datum {
150 __u32 value; /* internal type value */
151 int state;
152};
153
154struct cond_node;
155
156/*
157 * The configuration data includes security contexts for
158 * initial SIDs, unlabeled file systems, TCP and UDP port numbers,
159 * network interfaces, and nodes. This structure stores the
160 * relevant data for one such entry. Entries of the same kind
161 * (e.g. all initial SIDs) are linked together into a list.
162 */
163struct ocontext {
164 union {
165 char *name; /* name of initial SID, fs, netif, fstype, path */
166 struct {
167 u8 protocol;
168 u16 low_port;
169 u16 high_port;
170 } port; /* TCP or UDP port information */
171 struct {
172 u32 addr;
173 u32 mask;
174 } node; /* node information */
175 struct {
176 u32 addr[4];
177 u32 mask[4];
178 } node6; /* IPv6 node information */
179 } u;
180 union {
181 u32 sclass; /* security class for genfs */
182 u32 behavior; /* labeling behavior for fs_use */
183 } v;
184 struct context context[2]; /* security context(s) */
185 u32 sid[2]; /* SID(s) */
186 struct ocontext *next;
187};
188
189struct genfs {
190 char *fstype;
191 struct ocontext *head;
192 struct genfs *next;
193};
194
195/* symbol table array indices */
196#define SYM_COMMONS 0
197#define SYM_CLASSES 1
198#define SYM_ROLES 2
199#define SYM_TYPES 3
200#define SYM_USERS 4
201#define SYM_BOOLS 5
202#define SYM_LEVELS 6
203#define SYM_CATS 7
204#define SYM_NUM 8
205
206/* object context array indices */
207#define OCON_ISID 0 /* initial SIDs */
208#define OCON_FS 1 /* unlabeled file systems */
209#define OCON_PORT 2 /* TCP and UDP port numbers */
210#define OCON_NETIF 3 /* network interfaces */
211#define OCON_NODE 4 /* nodes */
212#define OCON_FSUSE 5 /* fs_use */
213#define OCON_NODE6 6 /* IPv6 nodes */
214#define OCON_NUM 7
215
216/* The policy database */
217struct policydb {
218 int mls_enabled;
219
220 /* symbol tables */
221 struct symtab symtab[SYM_NUM];
222#define p_commons symtab[SYM_COMMONS]
223#define p_classes symtab[SYM_CLASSES]
224#define p_roles symtab[SYM_ROLES]
225#define p_types symtab[SYM_TYPES]
226#define p_users symtab[SYM_USERS]
227#define p_bools symtab[SYM_BOOLS]
228#define p_levels symtab[SYM_LEVELS]
229#define p_cats symtab[SYM_CATS]
230
231 /* symbol names indexed by (value - 1) */
232 struct flex_array *sym_val_to_name[SYM_NUM];
233
234 /* class, role, and user attributes indexed by (value - 1) */
235 struct class_datum **class_val_to_struct;
236 struct role_datum **role_val_to_struct;
237 struct user_datum **user_val_to_struct;
238 struct flex_array *type_val_to_struct_array;
239
240 /* type enforcement access vectors and transitions */
241 struct avtab te_avtab;
242
243 /* role transitions */
244 struct role_trans *role_tr;
245
246 /* file transitions with the last path component */
247 /* quickly exclude lookups when parent ttype has no rules */
248 struct ebitmap filename_trans_ttypes;
249 /* actual set of filename_trans rules */
250 struct hashtab *filename_trans;
251
252 /* bools indexed by (value - 1) */
253 struct cond_bool_datum **bool_val_to_struct;
254 /* type enforcement conditional access vectors and transitions */
255 struct avtab te_cond_avtab;
256 /* linked list indexing te_cond_avtab by conditional */
257 struct cond_node *cond_list;
258
259 /* role allows */
260 struct role_allow *role_allow;
261
262 /* security contexts of initial SIDs, unlabeled file systems,
263 TCP or UDP port numbers, network interfaces and nodes */
264 struct ocontext *ocontexts[OCON_NUM];
265
266 /* security contexts for files in filesystems that cannot support
267 a persistent label mapping or use another
268 fixed labeling behavior. */
269 struct genfs *genfs;
270
271 /* range transitions table (range_trans_key -> mls_range) */
272 struct hashtab *range_tr;
273
274 /* type -> attribute reverse mapping */
275 struct flex_array *type_attr_map_array;
276
277 struct ebitmap policycaps;
278
279 struct ebitmap permissive_map;
280
281 /* length of this policy when it was loaded */
282 size_t len;
283
284 unsigned int policyvers;
285
286 unsigned int reject_unknown : 1;
287 unsigned int allow_unknown : 1;
288
289 u16 process_class;
290 u32 process_trans_perms;
291};
292
293extern void policydb_destroy(struct policydb *p);
294extern int policydb_load_isids(struct policydb *p, struct sidtab *s);
295extern int policydb_context_isvalid(struct policydb *p, struct context *c);
296extern int policydb_class_isvalid(struct policydb *p, unsigned int class);
297extern int policydb_type_isvalid(struct policydb *p, unsigned int type);
298extern int policydb_role_isvalid(struct policydb *p, unsigned int role);
299extern int policydb_read(struct policydb *p, void *fp);
300extern int policydb_write(struct policydb *p, void *fp);
301
302#define PERM_SYMTAB_SIZE 32
303
304#define POLICYDB_CONFIG_MLS 1
305
306/* the config flags related to unknown classes/perms are bits 2 and 3 */
307#define REJECT_UNKNOWN 0x00000002
308#define ALLOW_UNKNOWN 0x00000004
309
310#define OBJECT_R "object_r"
311#define OBJECT_R_VAL 1
312
313#define POLICYDB_MAGIC SELINUX_MAGIC
314#define POLICYDB_STRING "SE Linux"
315
316struct policy_file {
317 char *data;
318 size_t len;
319};
320
321struct policy_data {
322 struct policydb *p;
323 void *fp;
324};
325
326static inline int next_entry(void *buf, struct policy_file *fp, size_t bytes)
327{
328 if (bytes > fp->len)
329 return -EINVAL;
330
331 memcpy(buf, fp->data, bytes);
332 fp->data += bytes;
333 fp->len -= bytes;
334 return 0;
335}
336
337static inline int put_entry(const void *buf, size_t bytes, int num, struct policy_file *fp)
338{
339 size_t len = bytes * num;
340
341 memcpy(fp->data, buf, len);
342 fp->data += len;
343 fp->len -= len;
344
345 return 0;
346}
347
348static inline char *sym_name(struct policydb *p, unsigned int sym_num, unsigned int element_nr)
349{
350 struct flex_array *fa = p->sym_val_to_name[sym_num];
351
352 return flex_array_get_ptr(fa, element_nr);
353}
354
355extern u16 string_to_security_class(struct policydb *p, const char *name);
356extern u32 string_to_av_perm(struct policydb *p, u16 tclass, const char *name);
357
358#endif /* _SS_POLICYDB_H_ */
359
1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * A policy database (policydb) specifies the
4 * configuration data for the security policy.
5 *
6 * Author : Stephen Smalley, <stephen.smalley.work@gmail.com>
7 */
8
9/*
10 * Updated: Trusted Computer Solutions, Inc. <dgoeddel@trustedcs.com>
11 * Support for enhanced MLS infrastructure.
12 * Copyright (C) 2004-2005 Trusted Computer Solutions, Inc.
13 *
14 * Updated: Frank Mayer <mayerf@tresys.com> and
15 * Karl MacMillan <kmacmillan@tresys.com>
16 * Added conditional policy language extensions
17 * Copyright (C) 2003-2004 Tresys Technology, LLC
18 */
19
20#ifndef _SS_POLICYDB_H_
21#define _SS_POLICYDB_H_
22
23#include "symtab.h"
24#include "avtab.h"
25#include "sidtab.h"
26#include "ebitmap.h"
27#include "mls_types.h"
28#include "context.h"
29#include "constraint.h"
30
31/*
32 * A datum type is defined for each kind of symbol
33 * in the configuration data: individual permissions,
34 * common prefixes for access vectors, classes,
35 * users, roles, types, sensitivities, categories, etc.
36 */
37
38/* Permission attributes */
39struct perm_datum {
40 u32 value; /* permission bit + 1 */
41};
42
43/* Attributes of a common prefix for access vectors */
44struct common_datum {
45 u32 value; /* internal common value */
46 struct symtab permissions; /* common permissions */
47};
48
49/* Class attributes */
50struct class_datum {
51 u32 value; /* class value */
52 char *comkey; /* common name */
53 struct common_datum *comdatum; /* common datum */
54 struct symtab permissions; /* class-specific permission symbol table */
55 struct constraint_node *constraints; /* constraints on class perms */
56 struct constraint_node *validatetrans; /* special transition rules */
57/* Options how a new object user, role, and type should be decided */
58#define DEFAULT_SOURCE 1
59#define DEFAULT_TARGET 2
60 char default_user;
61 char default_role;
62 char default_type;
63/* Options how a new object range should be decided */
64#define DEFAULT_SOURCE_LOW 1
65#define DEFAULT_SOURCE_HIGH 2
66#define DEFAULT_SOURCE_LOW_HIGH 3
67#define DEFAULT_TARGET_LOW 4
68#define DEFAULT_TARGET_HIGH 5
69#define DEFAULT_TARGET_LOW_HIGH 6
70#define DEFAULT_GLBLUB 7
71 char default_range;
72};
73
74/* Role attributes */
75struct role_datum {
76 u32 value; /* internal role value */
77 u32 bounds; /* boundary of role */
78 struct ebitmap dominates; /* set of roles dominated by this role */
79 struct ebitmap types; /* set of authorized types for role */
80};
81
82struct role_trans_key {
83 u32 role; /* current role */
84 u32 type; /* program executable type, or new object type */
85 u32 tclass; /* process class, or new object class */
86};
87
88struct role_trans_datum {
89 u32 new_role; /* new role */
90};
91
92struct filename_trans_key {
93 u32 ttype; /* parent dir context */
94 u16 tclass; /* class of new object */
95 const char *name; /* last path component */
96};
97
98struct filename_trans_datum {
99 struct ebitmap stypes; /* bitmap of source types for this otype */
100 u32 otype; /* resulting type of new object */
101 struct filename_trans_datum *next; /* record for next otype*/
102};
103
104struct role_allow {
105 u32 role; /* current role */
106 u32 new_role; /* new role */
107 struct role_allow *next;
108};
109
110/* Type attributes */
111struct type_datum {
112 u32 value; /* internal type value */
113 u32 bounds; /* boundary of type */
114 unsigned char primary; /* primary name? */
115 unsigned char attribute; /* attribute ?*/
116};
117
118/* User attributes */
119struct user_datum {
120 u32 value; /* internal user value */
121 u32 bounds; /* bounds of user */
122 struct ebitmap roles; /* set of authorized roles for user */
123 struct mls_range range; /* MLS range (min - max) for user */
124 struct mls_level dfltlevel; /* default login MLS level for user */
125};
126
127/* Sensitivity attributes */
128struct level_datum {
129 struct mls_level *level; /* sensitivity and associated categories */
130 unsigned char isalias; /* is this sensitivity an alias for another? */
131};
132
133/* Category attributes */
134struct cat_datum {
135 u32 value; /* internal category bit + 1 */
136 unsigned char isalias; /* is this category an alias for another? */
137};
138
139struct range_trans {
140 u32 source_type;
141 u32 target_type;
142 u32 target_class;
143};
144
145/* Boolean data type */
146struct cond_bool_datum {
147 __u32 value; /* internal type value */
148 int state;
149};
150
151struct cond_node;
152
153/*
154 * type set preserves data needed to determine constraint info from
155 * policy source. This is not used by the kernel policy but allows
156 * utilities such as audit2allow to determine constraint denials.
157 */
158struct type_set {
159 struct ebitmap types;
160 struct ebitmap negset;
161 u32 flags;
162};
163
164/*
165 * The configuration data includes security contexts for
166 * initial SIDs, unlabeled file systems, TCP and UDP port numbers,
167 * network interfaces, and nodes. This structure stores the
168 * relevant data for one such entry. Entries of the same kind
169 * (e.g. all initial SIDs) are linked together into a list.
170 */
171struct ocontext {
172 union {
173 char *name; /* name of initial SID, fs, netif, fstype, path */
174 struct {
175 u8 protocol;
176 u16 low_port;
177 u16 high_port;
178 } port; /* TCP or UDP port information */
179 struct {
180 u32 addr;
181 u32 mask;
182 } node; /* node information */
183 struct {
184 u32 addr[4];
185 u32 mask[4];
186 } node6; /* IPv6 node information */
187 struct {
188 u64 subnet_prefix;
189 u16 low_pkey;
190 u16 high_pkey;
191 } ibpkey;
192 struct {
193 char *dev_name;
194 u8 port;
195 } ibendport;
196 } u;
197 union {
198 u32 sclass; /* security class for genfs */
199 u32 behavior; /* labeling behavior for fs_use */
200 } v;
201 struct context context[2]; /* security context(s) */
202 u32 sid[2]; /* SID(s) */
203 struct ocontext *next;
204};
205
206struct genfs {
207 char *fstype;
208 struct ocontext *head;
209 struct genfs *next;
210};
211
212/* symbol table array indices */
213#define SYM_COMMONS 0
214#define SYM_CLASSES 1
215#define SYM_ROLES 2
216#define SYM_TYPES 3
217#define SYM_USERS 4
218#define SYM_BOOLS 5
219#define SYM_LEVELS 6
220#define SYM_CATS 7
221#define SYM_NUM 8
222
223/* object context array indices */
224#define OCON_ISID 0 /* initial SIDs */
225#define OCON_FS 1 /* unlabeled file systems (deprecated) */
226#define OCON_PORT 2 /* TCP and UDP port numbers */
227#define OCON_NETIF 3 /* network interfaces */
228#define OCON_NODE 4 /* nodes */
229#define OCON_FSUSE 5 /* fs_use */
230#define OCON_NODE6 6 /* IPv6 nodes */
231#define OCON_IBPKEY 7 /* Infiniband PKeys */
232#define OCON_IBENDPORT 8 /* Infiniband end ports */
233#define OCON_NUM 9
234
235/* The policy database */
236struct policydb {
237 int mls_enabled;
238
239 /* symbol tables */
240 struct symtab symtab[SYM_NUM];
241#define p_commons symtab[SYM_COMMONS]
242#define p_classes symtab[SYM_CLASSES]
243#define p_roles symtab[SYM_ROLES]
244#define p_types symtab[SYM_TYPES]
245#define p_users symtab[SYM_USERS]
246#define p_bools symtab[SYM_BOOLS]
247#define p_levels symtab[SYM_LEVELS]
248#define p_cats symtab[SYM_CATS]
249
250 /* symbol names indexed by (value - 1) */
251 char **sym_val_to_name[SYM_NUM];
252
253 /* class, role, and user attributes indexed by (value - 1) */
254 struct class_datum **class_val_to_struct;
255 struct role_datum **role_val_to_struct;
256 struct user_datum **user_val_to_struct;
257 struct type_datum **type_val_to_struct;
258
259 /* type enforcement access vectors and transitions */
260 struct avtab te_avtab;
261
262 /* role transitions */
263 struct hashtab role_tr;
264
265 /* file transitions with the last path component */
266 /* quickly exclude lookups when parent ttype has no rules */
267 struct ebitmap filename_trans_ttypes;
268 /* actual set of filename_trans rules */
269 struct hashtab filename_trans;
270 /* only used if policyvers < POLICYDB_VERSION_COMP_FTRANS */
271 u32 compat_filename_trans_count;
272
273 /* bools indexed by (value - 1) */
274 struct cond_bool_datum **bool_val_to_struct;
275 /* type enforcement conditional access vectors and transitions */
276 struct avtab te_cond_avtab;
277 /* array indexing te_cond_avtab by conditional */
278 struct cond_node *cond_list;
279 u32 cond_list_len;
280
281 /* role allows */
282 struct role_allow *role_allow;
283
284 /* security contexts of initial SIDs, unlabeled file systems,
285 TCP or UDP port numbers, network interfaces and nodes */
286 struct ocontext *ocontexts[OCON_NUM];
287
288 /* security contexts for files in filesystems that cannot support
289 a persistent label mapping or use another
290 fixed labeling behavior. */
291 struct genfs *genfs;
292
293 /* range transitions table (range_trans_key -> mls_range) */
294 struct hashtab range_tr;
295
296 /* type -> attribute reverse mapping */
297 struct ebitmap *type_attr_map_array;
298
299 struct ebitmap policycaps;
300
301 struct ebitmap permissive_map;
302
303 /* length of this policy when it was loaded */
304 size_t len;
305
306 unsigned int policyvers;
307
308 unsigned int reject_unknown : 1;
309 unsigned int allow_unknown : 1;
310
311 u16 process_class;
312 u32 process_trans_perms;
313} __randomize_layout;
314
315extern void policydb_destroy(struct policydb *p);
316extern int policydb_load_isids(struct policydb *p, struct sidtab *s);
317extern int policydb_context_isvalid(struct policydb *p, struct context *c);
318extern int policydb_class_isvalid(struct policydb *p, unsigned int class);
319extern int policydb_type_isvalid(struct policydb *p, unsigned int type);
320extern int policydb_role_isvalid(struct policydb *p, unsigned int role);
321extern int policydb_read(struct policydb *p, void *fp);
322extern int policydb_write(struct policydb *p, void *fp);
323
324extern struct filename_trans_datum *
325policydb_filenametr_search(struct policydb *p, struct filename_trans_key *key);
326
327extern struct mls_range *policydb_rangetr_search(struct policydb *p,
328 struct range_trans *key);
329
330extern struct role_trans_datum *
331policydb_roletr_search(struct policydb *p, struct role_trans_key *key);
332
333#define POLICYDB_CONFIG_MLS 1
334
335/* the config flags related to unknown classes/perms are bits 2 and 3 */
336#define REJECT_UNKNOWN 0x00000002
337#define ALLOW_UNKNOWN 0x00000004
338
339#define OBJECT_R "object_r"
340#define OBJECT_R_VAL 1
341
342#define POLICYDB_MAGIC SELINUX_MAGIC
343#define POLICYDB_STRING "SE Linux"
344
345struct policy_file {
346 char *data;
347 size_t len;
348};
349
350struct policy_data {
351 struct policydb *p;
352 void *fp;
353};
354
355static inline int next_entry(void *buf, struct policy_file *fp, size_t bytes)
356{
357 if (bytes > fp->len)
358 return -EINVAL;
359
360 memcpy(buf, fp->data, bytes);
361 fp->data += bytes;
362 fp->len -= bytes;
363 return 0;
364}
365
366static inline int put_entry(const void *buf, size_t bytes, size_t num,
367 struct policy_file *fp)
368{
369 size_t len;
370
371 if (unlikely(check_mul_overflow(bytes, num, &len)))
372 return -EINVAL;
373
374 if (len > fp->len)
375 return -EINVAL;
376 memcpy(fp->data, buf, len);
377 fp->data += len;
378 fp->len -= len;
379
380 return 0;
381}
382
383static inline char *sym_name(struct policydb *p, unsigned int sym_num,
384 unsigned int element_nr)
385{
386 return p->sym_val_to_name[sym_num][element_nr];
387}
388
389extern u16 string_to_security_class(struct policydb *p, const char *name);
390extern u32 string_to_av_perm(struct policydb *p, u16 tclass, const char *name);
391
392#endif /* _SS_POLICYDB_H_ */