security/selinux/ss/policydb.h

   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 "symtab.h"
  28 #include "avtab.h"
  29 #include "sidtab.h"
  30 #include "context.h"
  31 #include "constraint.h"
  32
  33 /*
  34  * A datum type is defined for each kind of symbol
  35  * in the configuration data:  individual permissions,
  36  * common prefixes for access vectors, classes,
  37  * users, roles, types, sensitivities, categories, etc.
  38  */
  39
  40 /* Permission attributes */
  41 struct perm_datum {
  42         u32 value;              /* permission bit + 1 */
  43 };
  44
  45 /* Attributes of a common prefix for access vectors */
  46 struct common_datum {
  47         u32 value;                      /* internal common value */
  48         struct symtab permissions;      /* common permissions */
  49 };
  50
  51 /* Class attributes */
  52 struct class_datum {
  53         u32 value;                      /* class value */
  54         char *comkey;                   /* common name */
  55         struct common_datum *comdatum;  /* common datum */
  56         struct symtab permissions;      /* class-specific permission symbol table */
  57         struct constraint_node *constraints;    /* constraints on class permissions */
  58         struct constraint_node *validatetrans;  /* special transition rules */
  59 };
  60
  61 /* Role attributes */
  62 struct role_datum {
  63         u32 value;                      /* internal role value */
  64         struct ebitmap dominates;       /* set of roles dominated by this role */
  65         struct ebitmap types;           /* set of authorized types for role */
  66 };
  67
  68 struct role_trans {
  69         u32 role;               /* current role */
  70         u32 type;               /* program executable type */
  71         u32 new_role;           /* new role */
  72         struct role_trans *next;
  73 };
  74
  75 struct role_allow {
  76         u32 role;               /* current role */
  77         u32 new_role;           /* new role */
  78         struct role_allow *next;
  79 };
  80
  81 /* Type attributes */
  82 struct type_datum {
  83         u32 value;              /* internal type value */
  84         unsigned char primary;  /* primary name? */
  85 };
  86
  87 /* User attributes */
  88 struct user_datum {
  89         u32 value;                      /* internal user value */
  90         struct ebitmap roles;           /* set of authorized roles for user */
  91         struct mls_range range;         /* MLS range (min - max) for user */
  92         struct mls_level dfltlevel;     /* default login MLS level for user */
  93 };
  94
  95
  96 /* Sensitivity attributes */
  97 struct level_datum {
  98         struct mls_level *level;        /* sensitivity and associated categories */
  99         unsigned char isalias;  /* is this sensitivity an alias for another? */
 100 };
 101
 102 /* Category attributes */
 103 struct cat_datum {
 104         u32 value;              /* internal category bit + 1 */
 105         unsigned char isalias;  /* is this category an alias for another? */
 106 };
 107
 108 struct range_trans {
 109         u32 dom;                        /* current process domain */
 110         u32 type;                       /* program executable type */
 111         struct mls_range range;         /* new range */
 112         struct range_trans *next;
 113 };
 114
 115 /* Boolean data type */
 116 struct cond_bool_datum {
 117         __u32 value;            /* internal type value */
 118         int state;
 119 };
 120
 121 struct cond_node;
 122
 123 /*
 124  * The configuration data includes security contexts for
 125  * initial SIDs, unlabeled file systems, TCP and UDP port numbers,
 126  * network interfaces, and nodes.  This structure stores the
 127  * relevant data for one such entry.  Entries of the same kind
 128  * (e.g. all initial SIDs) are linked together into a list.
 129  */
 130 struct ocontext {
 131         union {
 132                 char *name;     /* name of initial SID, fs, netif, fstype, path */
 133                 struct {
 134                         u8 protocol;
 135                         u16 low_port;
 136                         u16 high_port;
 137                 } port;         /* TCP or UDP port information */
 138                 struct {
 139                         u32 addr;
 140                         u32 mask;
 141                 } node;         /* node information */
 142                 struct {
 143                         u32 addr[4];
 144                         u32 mask[4];
 145                 } node6;        /* IPv6 node information */
 146         } u;
 147         union {
 148                 u32 sclass;  /* security class for genfs */
 149                 u32 behavior;  /* labeling behavior for fs_use */
 150         } v;
 151         struct context context[2];      /* security context(s) */
 152         u32 sid[2];     /* SID(s) */
 153         struct ocontext *next;
 154 };
 155
 156 struct genfs {
 157         char *fstype;
 158         struct ocontext *head;
 159         struct genfs *next;
 160 };
 161
 162 /* symbol table array indices */
 163 #define SYM_COMMONS 0
 164 #define SYM_CLASSES 1
 165 #define SYM_ROLES   2
 166 #define SYM_TYPES   3
 167 #define SYM_USERS   4
 168 #define SYM_BOOLS   5
 169 #define SYM_LEVELS  6
 170 #define SYM_CATS    7
 171 #define SYM_NUM     8
 172
 173 /* object context array indices */
 174 #define OCON_ISID  0    /* initial SIDs */
 175 #define OCON_FS    1    /* unlabeled file systems */
 176 #define OCON_PORT  2    /* TCP and UDP port numbers */
 177 #define OCON_NETIF 3    /* network interfaces */
 178 #define OCON_NODE  4    /* nodes */
 179 #define OCON_FSUSE 5    /* fs_use */
 180 #define OCON_NODE6 6    /* IPv6 nodes */
 181 #define OCON_NUM   7
 182
 183 /* The policy database */
 184 struct policydb {
 185         /* symbol tables */
 186         struct symtab symtab[SYM_NUM];
 187 #define p_commons symtab[SYM_COMMONS]
 188 #define p_classes symtab[SYM_CLASSES]
 189 #define p_roles symtab[SYM_ROLES]
 190 #define p_types symtab[SYM_TYPES]
 191 #define p_users symtab[SYM_USERS]
 192 #define p_bools symtab[SYM_BOOLS]
 193 #define p_levels symtab[SYM_LEVELS]
 194 #define p_cats symtab[SYM_CATS]
 195
 196         /* symbol names indexed by (value - 1) */
 197         char **sym_val_to_name[SYM_NUM];
 198 #define p_common_val_to_name sym_val_to_name[SYM_COMMONS]
 199 #define p_class_val_to_name sym_val_to_name[SYM_CLASSES]
 200 #define p_role_val_to_name sym_val_to_name[SYM_ROLES]
 201 #define p_type_val_to_name sym_val_to_name[SYM_TYPES]
 202 #define p_user_val_to_name sym_val_to_name[SYM_USERS]
 203 #define p_bool_val_to_name sym_val_to_name[SYM_BOOLS]
 204 #define p_sens_val_to_name sym_val_to_name[SYM_LEVELS]
 205 #define p_cat_val_to_name sym_val_to_name[SYM_CATS]
 206
 207         /* class, role, and user attributes indexed by (value - 1) */
 208         struct class_datum **class_val_to_struct;
 209         struct role_datum **role_val_to_struct;
 210         struct user_datum **user_val_to_struct;
 211
 212         /* type enforcement access vectors and transitions */
 213         struct avtab te_avtab;
 214
 215         /* role transitions */
 216         struct role_trans *role_tr;
 217
 218         /* bools indexed by (value - 1) */
 219         struct cond_bool_datum **bool_val_to_struct;
 220         /* type enforcement conditional access vectors and transitions */
 221         struct avtab te_cond_avtab;
 222         /* linked list indexing te_cond_avtab by conditional */
 223         struct cond_node* cond_list;
 224
 225         /* role allows */
 226         struct role_allow *role_allow;
 227
 228         /* security contexts of initial SIDs, unlabeled file systems,
 229            TCP or UDP port numbers, network interfaces and nodes */
 230         struct ocontext *ocontexts[OCON_NUM];
 231
 232         /* security contexts for files in filesystems that cannot support
 233            a persistent label mapping or use another
 234            fixed labeling behavior. */
 235         struct genfs *genfs;
 236
 237         /* range transitions */
 238         struct range_trans *range_tr;
 239
 240         /* type -> attribute reverse mapping */
 241         struct ebitmap *type_attr_map;
 242
 243         unsigned int policyvers;
 244 };
 245
 246 extern void policydb_destroy(struct policydb *p);
 247 extern int policydb_load_isids(struct policydb *p, struct sidtab *s);
 248 extern int policydb_context_isvalid(struct policydb *p, struct context *c);
 249 extern int policydb_read(struct policydb *p, void *fp);
 250
 251 #define PERM_SYMTAB_SIZE 32
 252
 253 #define POLICYDB_CONFIG_MLS    1
 254
 255 #define OBJECT_R "object_r"
 256 #define OBJECT_R_VAL 1
 257
 258 #define POLICYDB_MAGIC SELINUX_MAGIC
 259 #define POLICYDB_STRING "SE Linux"
 260
 261 struct policy_file {
 262         char *data;
 263         size_t len;
 264 };
 265
 266 static inline int next_entry(void *buf, struct policy_file *fp, size_t bytes)
 267 {
 268         if (bytes > fp->len)
 269                 return -EINVAL;
 270
 271         memcpy(buf, fp->data, bytes);
 272         fp->data += bytes;
 273         fp->len -= bytes;
 274         return 0;
 275 }
 276
 277 #endif  /* _SS_POLICYDB_H_ */
 278