[mirror_ubuntu-artful-kernel.git] / security / selinux / ss / policydb.h

/*
 * A policy database (policydb) specifies the
 * configuration data for the security policy.
 *
 * Author : Stephen Smalley, <sds@epoch.ncsc.mil>
 */

/*
 * Updated: Trusted Computer Solutions, Inc. <dgoeddel@trustedcs.com>
 *
 *	Support for enhanced MLS infrastructure.
 *
 * Updated: Frank Mayer <mayerf@tresys.com> and Karl MacMillan <kmacmillan@tresys.com>
 *
 *	Added conditional policy language extensions
 *
 * Copyright (C) 2004-2005 Trusted Computer Solutions, Inc.
 * Copyright (C) 2003 - 2004 Tresys Technology, LLC
 *	This program is free software; you can redistribute it and/or modify
 *	it under the terms of the GNU General Public License as published by
 *	the Free Software Foundation, version 2.
 */

#ifndef _SS_POLICYDB_H_
#define _SS_POLICYDB_H_

#include <linux/flex_array.h>

#include "symtab.h"
#include "avtab.h"
#include "sidtab.h"
#include "ebitmap.h"
#include "mls_types.h"
#include "context.h"
#include "constraint.h"

/*
 * A datum type is defined for each kind of symbol
 * in the configuration data:  individual permissions,
 * common prefixes for access vectors, classes,
 * users, roles, types, sensitivities, categories, etc.
 */

/* Permission attributes */
struct perm_datum {
	u32 value;		/* permission bit + 1 */
};

/* Attributes of a common prefix for access vectors */
struct common_datum {
	u32 value;			/* internal common value */
	struct symtab permissions;	/* common permissions */
};

/* Class attributes */
struct class_datum {
	u32 value;			/* class value */
	char *comkey;			/* common name */
	struct common_datum *comdatum;	/* common datum */
	struct symtab permissions;	/* class-specific permission symbol table */
	struct constraint_node *constraints;	/* constraints on class permissions */
	struct constraint_node *validatetrans;	/* special transition rules */
};

/* Role attributes */
struct role_datum {
	u32 value;			/* internal role value */
	u32 bounds;			/* boundary of role */
	struct ebitmap dominates;	/* set of roles dominated by this role */
	struct ebitmap types;		/* set of authorized types for role */
};

struct role_trans {
	u32 role;		/* current role */
	u32 type;		/* program executable type, or new object type */
	u32 tclass;		/* process class, or new object class */
	u32 new_role;		/* new role */
	struct role_trans *next;
};

struct filename_trans {
	struct filename_trans *next;
	u32 stype;		/* current process */
	u32 ttype;		/* parent dir context */
	u16 tclass;		/* class of new object */
	const char *name;	/* last path component */
	u32 otype;		/* expected of new object */
};

struct role_allow {
	u32 role;		/* current role */
	u32 new_role;		/* new role */
	struct role_allow *next;
};

/* Type attributes */
struct type_datum {
	u32 value;		/* internal type value */
	u32 bounds;		/* boundary of type */
	unsigned char primary;	/* primary name? */
	unsigned char attribute;/* attribute ?*/
};

/* User attributes */
struct user_datum {
	u32 value;			/* internal user value */
	u32 bounds;			/* bounds of user */
	struct ebitmap roles;		/* set of authorized roles for user */
	struct mls_range range;		/* MLS range (min - max) for user */
	struct mls_level dfltlevel;	/* default login MLS level for user */
};


/* Sensitivity attributes */
struct level_datum {
	struct mls_level *level;	/* sensitivity and associated categories */
	unsigned char isalias;	/* is this sensitivity an alias for another? */
};

/* Category attributes */
struct cat_datum {
	u32 value;		/* internal category bit + 1 */
	unsigned char isalias;  /* is this category an alias for another? */
};

struct range_trans {
	u32 source_type;
	u32 target_type;
	u32 target_class;
};

/* Boolean data type */
struct cond_bool_datum {
	__u32 value;		/* internal type value */
	int state;
};

struct cond_node;

/*
 * The configuration data includes security contexts for
 * initial SIDs, unlabeled file systems, TCP and UDP port numbers,
 * network interfaces, and nodes.  This structure stores the
 * relevant data for one such entry.  Entries of the same kind
 * (e.g. all initial SIDs) are linked together into a list.
 */
struct ocontext {
	union {
		char *name;	/* name of initial SID, fs, netif, fstype, path */
		struct {
			u8 protocol;
			u16 low_port;
			u16 high_port;
		} port;		/* TCP or UDP port information */
		struct {
			u32 addr;
			u32 mask;
		} node;		/* node information */
		struct {
			u32 addr[4];
			u32 mask[4];
		} node6;        /* IPv6 node information */
	} u;
	union {
		u32 sclass;  /* security class for genfs */
		u32 behavior;  /* labeling behavior for fs_use */
	} v;
	struct context context[2];	/* security context(s) */
	u32 sid[2];	/* SID(s) */
	struct ocontext *next;
};

struct genfs {
	char *fstype;
	struct ocontext *head;
	struct genfs *next;
};

/* symbol table array indices */
#define SYM_COMMONS 0
#define SYM_CLASSES 1
#define SYM_ROLES   2
#define SYM_TYPES   3
#define SYM_USERS   4
#define SYM_BOOLS   5
#define SYM_LEVELS  6
#define SYM_CATS    7
#define SYM_NUM     8

/* object context array indices */
#define OCON_ISID  0	/* initial SIDs */
#define OCON_FS    1	/* unlabeled file systems */
#define OCON_PORT  2	/* TCP and UDP port numbers */
#define OCON_NETIF 3	/* network interfaces */
#define OCON_NODE  4	/* nodes */
#define OCON_FSUSE 5	/* fs_use */
#define OCON_NODE6 6	/* IPv6 nodes */
#define OCON_NUM   7

/* The policy database */
struct policydb {
	int mls_enabled;

	/* symbol tables */
	struct symtab symtab[SYM_NUM];
#define p_commons symtab[SYM_COMMONS]
#define p_classes symtab[SYM_CLASSES]
#define p_roles symtab[SYM_ROLES]
#define p_types symtab[SYM_TYPES]
#define p_users symtab[SYM_USERS]
#define p_bools symtab[SYM_BOOLS]
#define p_levels symtab[SYM_LEVELS]
#define p_cats symtab[SYM_CATS]

	/* symbol names indexed by (value - 1) */
	struct flex_array *sym_val_to_name[SYM_NUM];

	/* class, role, and user attributes indexed by (value - 1) */
	struct class_datum **class_val_to_struct;
	struct role_datum **role_val_to_struct;
	struct user_datum **user_val_to_struct;
	struct flex_array *type_val_to_struct_array;

	/* type enforcement access vectors and transitions */
	struct avtab te_avtab;

	/* role transitions */
	struct role_trans *role_tr;

	/* file transitions with the last path component */
	struct filename_trans *filename_trans;

	/* bools indexed by (value - 1) */
	struct cond_bool_datum **bool_val_to_struct;
	/* type enforcement conditional access vectors and transitions */
	struct avtab te_cond_avtab;
	/* linked list indexing te_cond_avtab by conditional */
	struct cond_node *cond_list;

	/* role allows */
	struct role_allow *role_allow;

	/* security contexts of initial SIDs, unlabeled file systems,
	   TCP or UDP port numbers, network interfaces and nodes */
	struct ocontext *ocontexts[OCON_NUM];

	/* security contexts for files in filesystems that cannot support
	   a persistent label mapping or use another
	   fixed labeling behavior. */
	struct genfs *genfs;

	/* range transitions table (range_trans_key -> mls_range) */
	struct hashtab *range_tr;

	/* type -> attribute reverse mapping */
	struct flex_array *type_attr_map_array;

	struct ebitmap policycaps;

	struct ebitmap permissive_map;

	/* length of this policy when it was loaded */
	size_t len;

	unsigned int policyvers;

	unsigned int reject_unknown : 1;
	unsigned int allow_unknown : 1;

	u16 process_class;
	u32 process_trans_perms;
};

extern void policydb_destroy(struct policydb *p);
extern int policydb_load_isids(struct policydb *p, struct sidtab *s);
extern int policydb_context_isvalid(struct policydb *p, struct context *c);
extern int policydb_class_isvalid(struct policydb *p, unsigned int class);
extern int policydb_type_isvalid(struct policydb *p, unsigned int type);
extern int policydb_role_isvalid(struct policydb *p, unsigned int role);
extern int policydb_read(struct policydb *p, void *fp);
extern int policydb_write(struct policydb *p, void *fp);

#define PERM_SYMTAB_SIZE 32

#define POLICYDB_CONFIG_MLS    1

/* the config flags related to unknown classes/perms are bits 2 and 3 */
#define REJECT_UNKNOWN	0x00000002
#define ALLOW_UNKNOWN	0x00000004

#define OBJECT_R "object_r"
#define OBJECT_R_VAL 1

#define POLICYDB_MAGIC SELINUX_MAGIC
#define POLICYDB_STRING "SE Linux"

struct policy_file {
	char *data;
	size_t len;
};

struct policy_data {
	struct policydb *p;
	void *fp;
};

static inline int next_entry(void *buf, struct policy_file *fp, size_t bytes)
{
	if (bytes > fp->len)
		return -EINVAL;

	memcpy(buf, fp->data, bytes);
	fp->data += bytes;
	fp->len -= bytes;
	return 0;
}

static inline int put_entry(const void *buf, size_t bytes, int num, struct policy_file *fp)
{
	size_t len = bytes * num;

	memcpy(fp->data, buf, len);
	fp->data += len;
	fp->len -= len;

	return 0;
}

static inline char *sym_name(struct policydb *p, unsigned int sym_num, unsigned int element_nr)
{
	struct flex_array *fa = p->sym_val_to_name[sym_num];

	return flex_array_get_ptr(fa, element_nr);
}

extern u16 string_to_security_class(struct policydb *p, const char *name);
extern u32 string_to_av_perm(struct policydb *p, u16 tclass, const char *name);

#endif	/* _SS_POLICYDB_H_ */
Commit	Line	Data
1da177e4 LT	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	*
489a5fd7	15	* Added conditional policy language extensions
1da177e4 LT	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
489a5fd7	20	* it under the terms of the GNU General Public License as published by
1da177e4 LT	21	* the Free Software Foundation, version 2.
	22	*/
	23
	24	#ifndef _SS_POLICYDB_H_
	25	#define _SS_POLICYDB_H_
	26
6371dcd3 EP	27	#include <linux/flex_array.h>
6371dcd3 EP	28
1da177e4 LT	29	#include "symtab.h"
	30	#include "avtab.h"
	31	#include "sidtab.h"
0719aaf5 GT	32	#include "ebitmap.h"
0719aaf5 GT	33	#include "mls_types.h"
1da177e4 LT	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 */
	45	struct perm_datum {
	46	u32 value; /* permission bit + 1 */
	47	};
	48
	49	/* Attributes of a common prefix for access vectors */
	50	struct common_datum {
	51	u32 value; /* internal common value */
	52	struct symtab permissions; /* common permissions */
	53	};
	54
	55	/* Class attributes */
	56	struct 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	};
	64
	65	/* Role attributes */
	66	struct role_datum {
	67	u32 value; /* internal role value */
d9250dea	68	u32 bounds; /* boundary of role */
1da177e4 LT	69	struct ebitmap dominates; /* set of roles dominated by this role */
	70	struct ebitmap types; /* set of authorized types for role */
	71	};
	72
	73	struct role_trans {
	74	u32 role; /* current role */
8023976c HC	75	u32 type; /* program executable type, or new object type */
8023976c HC	76	u32 tclass; /* process class, or new object class */
1da177e4 LT	77	u32 new_role; /* new role */
	78	struct role_trans *next;
	79	};
	80
652bb9b0 EP	81	struct filename_trans {
	82	struct filename_trans *next;
	83	u32 stype; /* current process */
	84	u32 ttype; /* parent dir context */
	85	u16 tclass; /* class of new object */
	86	const char name; / last path component */
	87	u32 otype; /* expected of new object */
	88	};
	89
1da177e4 LT	90	struct role_allow {
	91	u32 role; /* current role */
	92	u32 new_role; /* new role */
	93	struct role_allow *next;
	94	};
	95
	96	/* Type attributes */
	97	struct type_datum {
	98	u32 value; /* internal type value */
d9250dea	99	u32 bounds; /* boundary of type */
1da177e4	100	unsigned char primary; /* primary name? */
d9250dea	101	unsigned char attribute;/* attribute ?*/
1da177e4 LT	102	};
	103
	104	/* User attributes */
	105	struct user_datum {
	106	u32 value; /* internal user value */
d9250dea	107	u32 bounds; /* bounds of user */
1da177e4 LT	108	struct ebitmap roles; /* set of authorized roles for user */
	109	struct mls_range range; /* MLS range (min - max) for user */
	110	struct mls_level dfltlevel; /* default login MLS level for user */
	111	};
	112
	113
	114	/* Sensitivity attributes */
	115	struct level_datum {
	116	struct mls_level level; / sensitivity and associated categories */
	117	unsigned char isalias; /* is this sensitivity an alias for another? */
	118	};
	119
	120	/* Category attributes */
	121	struct cat_datum {
	122	u32 value; /* internal category bit + 1 */
	123	unsigned char isalias; /* is this category an alias for another? */
	124	};
	125
	126	struct range_trans {
f3f87714 DG	127	u32 source_type;
	128	u32 target_type;
	129	u32 target_class;
1da177e4 LT	130	};
	131
	132	/* Boolean data type */
	133	struct cond_bool_datum {
	134	__u32 value; /* internal type value */
	135	int state;
	136	};
	137
	138	struct cond_node;
	139
	140	/*
	141	* The configuration data includes security contexts for
	142	* initial SIDs, unlabeled file systems, TCP and UDP port numbers,
	143	* network interfaces, and nodes. This structure stores the
	144	* relevant data for one such entry. Entries of the same kind
	145	* (e.g. all initial SIDs) are linked together into a list.
	146	*/
	147	struct ocontext {
	148	union {
	149	char name; / name of initial SID, fs, netif, fstype, path */
	150	struct {
	151	u8 protocol;
	152	u16 low_port;
	153	u16 high_port;
	154	} port; /* TCP or UDP port information */
	155	struct {
	156	u32 addr;
	157	u32 mask;
	158	} node; /* node information */
	159	struct {
	160	u32 addr[4];
	161	u32 mask[4];
	162	} node6; /* IPv6 node information */
	163	} u;
	164	union {
	165	u32 sclass; /* security class for genfs */
	166	u32 behavior; /* labeling behavior for fs_use */
	167	} v;
	168	struct context context[2]; /* security context(s) */
	169	u32 sid[2]; /* SID(s) */
	170	struct ocontext *next;
	171	};
	172
	173	struct genfs {
	174	char *fstype;
	175	struct ocontext *head;
	176	struct genfs *next;
	177	};
	178
	179	/* symbol table array indices */
	180	#define SYM_COMMONS 0
	181	#define SYM_CLASSES 1
	182	#define SYM_ROLES 2
	183	#define SYM_TYPES 3
	184	#define SYM_USERS 4
	185	#define SYM_BOOLS 5
	186	#define SYM_LEVELS 6
	187	#define SYM_CATS 7
	188	#define SYM_NUM 8
	189
	190	/* object context array indices */
	191	#define OCON_ISID 0 /* initial SIDs */
	192	#define OCON_FS 1 /* unlabeled file systems */
	193	#define OCON_PORT 2 /* TCP and UDP port numbers */
194	#define OCON_NETIF 3 /* network interfaces */
195	#define OCON_NODE 4 /* nodes */
196	#define OCON_FSUSE 5 /* fs_use */
197	#define OCON_NODE6 6 /* IPv6 nodes */
198	#define OCON_NUM 7
199
200	/* The policy database */
201	struct policydb {
0719aaf5 GT	202	int mls_enabled;
0719aaf5 GT	203
1da177e4 LT	204	/* symbol tables */
	205	struct symtab symtab[SYM_NUM];
	206	#define p_commons symtab[SYM_COMMONS]
	207	#define p_classes symtab[SYM_CLASSES]
	208	#define p_roles symtab[SYM_ROLES]
	209	#define p_types symtab[SYM_TYPES]
	210	#define p_users symtab[SYM_USERS]
	211	#define p_bools symtab[SYM_BOOLS]
	212	#define p_levels symtab[SYM_LEVELS]
	213	#define p_cats symtab[SYM_CATS]
	214
	215	/* symbol names indexed by (value - 1) */
ac76c05b	216	struct flex_array *sym_val_to_name[SYM_NUM];
1da177e4 LT	217
	218	/* class, role, and user attributes indexed by (value - 1) */
	219	struct class_datum **class_val_to_struct;
	220	struct role_datum **role_val_to_struct;
	221	struct user_datum **user_val_to_struct;
23bdecb0	222	struct flex_array *type_val_to_struct_array;
1da177e4 LT	223
	224	/* type enforcement access vectors and transitions */
	225	struct avtab te_avtab;
	226
	227	/* role transitions */
	228	struct role_trans *role_tr;
	229
652bb9b0 EP	230	/* file transitions with the last path component */
	231	struct filename_trans *filename_trans;
	232
1da177e4 LT	233	/* bools indexed by (value - 1) */
	234	struct cond_bool_datum **bool_val_to_struct;
	235	/* type enforcement conditional access vectors and transitions */
	236	struct avtab te_cond_avtab;
	237	/* linked list indexing te_cond_avtab by conditional */
489a5fd7	238	struct cond_node *cond_list;
1da177e4 LT	239
	240	/* role allows */
	241	struct role_allow *role_allow;
	242
	243	/* security contexts of initial SIDs, unlabeled file systems,
	244	TCP or UDP port numbers, network interfaces and nodes */
	245	struct ocontext *ocontexts[OCON_NUM];
	246
489a5fd7	247	/* security contexts for files in filesystems that cannot support
1da177e4 LT	248	a persistent label mapping or use another
1da177e4 LT	249	fixed labeling behavior. */
489a5fd7	250	struct genfs *genfs;
1da177e4	251
2f3e82d6 SS	252	/* range transitions table (range_trans_key -> mls_range) */
2f3e82d6 SS	253	struct hashtab *range_tr;
1da177e4	254
782ebb99	255	/* type -> attribute reverse mapping */
6371dcd3	256	struct flex_array *type_attr_map_array;
782ebb99	257
3bb56b25 PM	258	struct ebitmap policycaps;
3bb56b25 PM	259
64dbf074 EP	260	struct ebitmap permissive_map;
64dbf074 EP	261
cee74f47 EP	262	/* length of this policy when it was loaded */
	263	size_t len;
	264
1da177e4	265	unsigned int policyvers;
3f12070e EP	266
	267	unsigned int reject_unknown : 1;
	268	unsigned int allow_unknown : 1;
c6d3aaa4 SS	269
	270	u16 process_class;
	271	u32 process_trans_perms;
1da177e4 LT	272	};
	273
	274	extern void policydb_destroy(struct policydb *p);
	275	extern int policydb_load_isids(struct policydb p, struct sidtab s);
	276	extern int policydb_context_isvalid(struct policydb p, struct context c);
45e5421e SS	277	extern int policydb_class_isvalid(struct policydb *p, unsigned int class);
	278	extern int policydb_type_isvalid(struct policydb *p, unsigned int type);
	279	extern int policydb_role_isvalid(struct policydb *p, unsigned int role);
1da177e4	280	extern int policydb_read(struct policydb p, void fp);
cee74f47	281	extern int policydb_write(struct policydb p, void fp);
1da177e4 LT	282
	283	#define PERM_SYMTAB_SIZE 32
	284
	285	#define POLICYDB_CONFIG_MLS 1
	286
3f12070e EP	287	/* the config flags related to unknown classes/perms are bits 2 and 3 */
	288	#define REJECT_UNKNOWN 0x00000002
	289	#define ALLOW_UNKNOWN 0x00000004
	290
1da177e4 LT	291	#define OBJECT_R "object_r"
	292	#define OBJECT_R_VAL 1
	293
	294	#define POLICYDB_MAGIC SELINUX_MAGIC
	295	#define POLICYDB_STRING "SE Linux"
	296
	297	struct policy_file {
	298	char *data;
	299	size_t len;
	300	};
	301
cee74f47 EP	302	struct policy_data {
	303	struct policydb *p;
	304	void *fp;
	305	};
	306
1da177e4 LT	307	static inline int next_entry(void buf, struct policy_file fp, size_t bytes)
	308	{
	309	if (bytes > fp->len)
	310	return -EINVAL;
	311
	312	memcpy(buf, fp->data, bytes);
	313	fp->data += bytes;
	314	fp->len -= bytes;
	315	return 0;
	316	}
	317
652bb9b0	318	static inline int put_entry(const void buf, size_t bytes, int num, struct policy_file fp)
cee74f47 EP	319	{
	320	size_t len = bytes * num;
	321
	322	memcpy(fp->data, buf, len);
	323	fp->data += len;
	324	fp->len -= len;
	325
	326	return 0;
	327	}
	328
ac76c05b EP	329	static inline char sym_name(struct policydb p, unsigned int sym_num, unsigned int element_nr)
	330	{
	331	struct flex_array *fa = p->sym_val_to_name[sym_num];
	332
	333	return flex_array_get_ptr(fa, element_nr);
	334	}
	335
c6d3aaa4 SS	336	extern u16 string_to_security_class(struct policydb p, const char name);
	337	extern u32 string_to_av_perm(struct policydb p, u16 tclass, const char name);
	338
1da177e4 LT	339	#endif /* _SS_POLICYDB_H_ */
1da177e4 LT	340