xfrm.c 10.6 KB
Newer Older
1 2 3 4 5 6 7 8
/*
 *  NSA Security-Enhanced Linux (SELinux) security module
 *
 *  This file contains the SELinux XFRM hook function implementations.
 *
 *  Authors:  Serge Hallyn <sergeh@us.ibm.com>
 *	      Trent Jaeger <jaegert@us.ibm.com>
 *
9 10 11 12
 *  Updated: Venkat Yekkirala <vyekkirala@TrustedCS.com>
 *
 *           Granular IPSec Associations for use in MLS environments.
 *
13
 *  Copyright (C) 2005 International Business Machines Corporation
14
 *  Copyright (C) 2006 Trusted Computer Solutions, Inc.
15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
 *
 *	This program is free software; you can redistribute it and/or modify
 *	it under the terms of the GNU General Public License version 2,
 *	as published by the Free Software Foundation.
 */

/*
 * USAGE:
 * NOTES:
 *   1. Make sure to enable the following options in your kernel config:
 *	CONFIG_SECURITY=y
 *	CONFIG_SECURITY_NETWORK=y
 *	CONFIG_SECURITY_NETWORK_XFRM=y
 *	CONFIG_SECURITY_SELINUX=m/y
 * ISSUES:
 *   1. Caching packets, so they are not dropped during negotiation
 *   2. Emulating a reasonable SO_PEERSEC across machines
 *   3. Testing addition of sk_policy's with security context via setsockopt
 */
#include <linux/kernel.h>
#include <linux/init.h>
#include <linux/security.h>
#include <linux/types.h>
#include <linux/netfilter.h>
#include <linux/netfilter_ipv4.h>
#include <linux/netfilter_ipv6.h>
41
#include <linux/slab.h>
42 43 44 45 46 47 48
#include <linux/ip.h>
#include <linux/tcp.h>
#include <linux/skbuff.h>
#include <linux/xfrm.h>
#include <net/xfrm.h>
#include <net/checksum.h>
#include <net/udp.h>
49
#include <asm/atomic.h>
50 51 52 53 54

#include "avc.h"
#include "objsec.h"
#include "xfrm.h"

55 56
/* Labeled XFRM instance counter */
atomic_t selinux_xfrm_refcount = ATOMIC_INIT(0);
57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76

/*
 * Returns true if an LSM/SELinux context
 */
static inline int selinux_authorizable_ctx(struct xfrm_sec_ctx *ctx)
{
	return (ctx &&
		(ctx->ctx_doi == XFRM_SC_DOI_LSM) &&
		(ctx->ctx_alg == XFRM_SC_ALG_SELINUX));
}

/*
 * Returns true if the xfrm contains a security blob for SELinux
 */
static inline int selinux_authorizable_xfrm(struct xfrm_state *x)
{
	return selinux_authorizable_ctx(x->security);
}

/*
77 78
 * LSM hook implementation that authorizes that a flow can use
 * a xfrm policy rule.
79
 */
80
int selinux_xfrm_policy_lookup(struct xfrm_sec_ctx *ctx, u32 fl_secid, u8 dir)
81
{
82 83
	int rc;
	u32 sel_sid;
84 85

	/* Context sid is either set to label or ANY_ASSOC */
86
	if (ctx) {
87 88 89 90
		if (!selinux_authorizable_ctx(ctx))
			return -EINVAL;

		sel_sid = ctx->ctx_sid;
91
	} else
92 93 94 95 96 97
		/*
		 * All flows should be treated as polmatch'ing an
		 * otherwise applicable "non-labeled" policy. This
		 * would prevent inadvertent "leaks".
		 */
		return 0;
98

99 100
	rc = avc_has_perm(fl_secid, sel_sid, SECCLASS_ASSOCIATION,
			  ASSOCIATION__POLMATCH,
101 102
			  NULL);

103
	if (rc == -EACCES)
104
		return -ESRCH;
105

106 107 108
	return rc;
}

109 110 111 112 113 114 115 116 117
/*
 * LSM hook implementation that authorizes that a state matches
 * the given policy, flow combo.
 */

int selinux_xfrm_state_pol_flow_match(struct xfrm_state *x, struct xfrm_policy *xp,
			struct flowi *fl)
{
	u32 state_sid;
118
	int rc;
119

120
	if (!xp->security)
121 122 123 124 125 126 127
		if (x->security)
			/* unlabeled policy and labeled SA can't match */
			return 0;
		else
			/* unlabeled policy and unlabeled SA match all flows */
			return 1;
	else
128 129
		if (!x->security)
			/* unlabeled SA and labeled policy can't match */
130
			return 0;
131 132 133 134
		else
			if (!selinux_authorizable_xfrm(x))
				/* Not a SELinux-labeled SA */
				return 0;
135

136
	state_sid = x->security->ctx_sid;
137

138 139
	if (fl->secid != state_sid)
		return 0;
140

141
	rc = avc_has_perm(fl->secid, state_sid, SECCLASS_ASSOCIATION,
142 143 144
			  ASSOCIATION__SENDTO,
			  NULL)? 0:1;

145 146 147 148 149 150 151
	/*
	 * We don't need a separate SA Vs. policy polmatch check
	 * since the SA is now of the same label as the flow and
	 * a flow Vs. policy polmatch check had already happened
	 * in selinux_xfrm_policy_lookup() above.
	 */

152 153 154 155
	return rc;
}

/*
156 157
 * LSM hook implementation that checks and/or returns the xfrm sid for the
 * incoming packet.
158 159
 */

V
Venkat Yekkirala 已提交
160
int selinux_xfrm_decode_session(struct sk_buff *skb, u32 *sid, int ckall)
161 162 163
{
	struct sec_path *sp;

V
Venkat Yekkirala 已提交
164
	*sid = SECSID_NULL;
165 166 167 168 169 170 171 172 173 174 175 176 177 178

	if (skb == NULL)
		return 0;

	sp = skb->sp;
	if (sp) {
		int i, sid_set = 0;

		for (i = sp->len-1; i >= 0; i--) {
			struct xfrm_state *x = sp->xvec[i];
			if (selinux_authorizable_xfrm(x)) {
				struct xfrm_sec_ctx *ctx = x->security;

				if (!sid_set) {
V
Venkat Yekkirala 已提交
179
					*sid = ctx->ctx_sid;
180
					sid_set = 1;
V
Venkat Yekkirala 已提交
181 182 183

					if (!ckall)
						break;
184
				} else if (*sid != ctx->ctx_sid)
185 186 187 188 189 190 191 192
					return -EINVAL;
			}
		}
	}

	return 0;
}

193 194 195 196
/*
 * Security blob allocation for xfrm_policy and xfrm_state
 * CTX does not have a meaningful value on input
 */
197
static int selinux_xfrm_sec_ctx_alloc(struct xfrm_sec_ctx **ctxp,
198
	struct xfrm_user_sec_ctx *uctx, u32 sid)
199 200
{
	int rc = 0;
201
	const struct task_security_struct *tsec = current_security();
202 203 204 205
	struct xfrm_sec_ctx *ctx = NULL;
	char *ctx_str = NULL;
	u32 str_len;

206
	BUG_ON(uctx && sid);
207

208 209
	if (!uctx)
		goto not_from_user;
210 211 212

	if (uctx->ctx_doi != XFRM_SC_ALG_SELINUX)
		return -EINVAL;
213

214 215
	str_len = uctx->ctx_len;
	if (str_len >= PAGE_SIZE)
216 217 218
		return -ENOMEM;

	*ctxp = ctx = kmalloc(sizeof(*ctx) +
219
			      str_len + 1,
220 221 222 223 224 225
			      GFP_KERNEL);

	if (!ctx)
		return -ENOMEM;

	ctx->ctx_doi = uctx->ctx_doi;
226
	ctx->ctx_len = str_len;
227 228 229 230
	ctx->ctx_alg = uctx->ctx_alg;

	memcpy(ctx->ctx_str,
	       uctx+1,
231 232
	       str_len);
	ctx->ctx_str[str_len] = 0;
233
	rc = security_context_to_sid(ctx->ctx_str,
234
				     str_len,
235 236 237 238 239 240
				     &ctx->ctx_sid);

	if (rc)
		goto out;

	/*
C
Catherine Zhang 已提交
241
	 * Does the subject have permission to set security context?
242 243 244
	 */
	rc = avc_has_perm(tsec->sid, ctx->ctx_sid,
			  SECCLASS_ASSOCIATION,
245
			  ASSOCIATION__SETCONTEXT, NULL);
246 247 248 249 250
	if (rc)
		goto out;

	return rc;

251
not_from_user:
252
	rc = security_sid_to_context(sid, &ctx_str, &str_len);
253 254 255 256 257 258 259 260 261 262 263 264 265 266
	if (rc)
		goto out;

	*ctxp = ctx = kmalloc(sizeof(*ctx) +
			      str_len,
			      GFP_ATOMIC);

	if (!ctx) {
		rc = -ENOMEM;
		goto out;
	}

	ctx->ctx_doi = XFRM_SC_DOI_LSM;
	ctx->ctx_alg = XFRM_SC_ALG_SELINUX;
267
	ctx->ctx_sid = sid;
268 269 270 271 272 273 274
	ctx->ctx_len = str_len;
	memcpy(ctx->ctx_str,
	       ctx_str,
	       str_len);

	goto out2;

275
out:
L
Luiz Capitulino 已提交
276
	*ctxp = NULL;
277
	kfree(ctx);
278 279
out2:
	kfree(ctx_str);
280 281 282 283 284 285 286
	return rc;
}

/*
 * LSM hook implementation that allocs and transfers uctx spec to
 * xfrm_policy.
 */
287 288
int selinux_xfrm_policy_alloc(struct xfrm_sec_ctx **ctxp,
			      struct xfrm_user_sec_ctx *uctx)
289 290 291
{
	int err;

292
	BUG_ON(!uctx);
293

294
	err = selinux_xfrm_sec_ctx_alloc(ctxp, uctx, 0);
295 296 297
	if (err == 0)
		atomic_inc(&selinux_xfrm_refcount);

298 299 300 301 302 303 304 305
	return err;
}


/*
 * LSM hook implementation that copies security data structure from old to
 * new for policy cloning.
 */
306 307
int selinux_xfrm_policy_clone(struct xfrm_sec_ctx *old_ctx,
			      struct xfrm_sec_ctx **new_ctxp)
308
{
309
	struct xfrm_sec_ctx *new_ctx;
310 311

	if (old_ctx) {
312 313
		new_ctx = kmalloc(sizeof(*old_ctx) + old_ctx->ctx_len,
				  GFP_KERNEL);
314 315 316 317 318
		if (!new_ctx)
			return -ENOMEM;

		memcpy(new_ctx, old_ctx, sizeof(*new_ctx));
		memcpy(new_ctx->ctx_str, old_ctx->ctx_str, new_ctx->ctx_len);
319
		*new_ctxp = new_ctx;
320 321 322 323 324
	}
	return 0;
}

/*
325
 * LSM hook implementation that frees xfrm_sec_ctx security information.
326
 */
327
void selinux_xfrm_policy_free(struct xfrm_sec_ctx *ctx)
328
{
329
	kfree(ctx);
330 331
}

C
Catherine Zhang 已提交
332 333 334
/*
 * LSM hook implementation that authorizes deletion of labeled policies.
 */
335
int selinux_xfrm_policy_delete(struct xfrm_sec_ctx *ctx)
C
Catherine Zhang 已提交
336
{
337
	const struct task_security_struct *tsec = current_security();
C
Catherine Zhang 已提交
338 339
	int rc = 0;

340
	if (ctx) {
C
Catherine Zhang 已提交
341 342 343
		rc = avc_has_perm(tsec->sid, ctx->ctx_sid,
				  SECCLASS_ASSOCIATION,
				  ASSOCIATION__SETCONTEXT, NULL);
344 345 346
		if (rc == 0)
			atomic_dec(&selinux_xfrm_refcount);
	}
C
Catherine Zhang 已提交
347 348 349 350

	return rc;
}

351 352 353 354
/*
 * LSM hook implementation that allocs and transfers sec_ctx spec to
 * xfrm_state.
 */
355
int selinux_xfrm_state_alloc(struct xfrm_state *x, struct xfrm_user_sec_ctx *uctx,
356
		u32 secid)
357 358 359 360 361
{
	int err;

	BUG_ON(!x);

362
	err = selinux_xfrm_sec_ctx_alloc(&x->security, uctx, secid);
363 364
	if (err == 0)
		atomic_inc(&selinux_xfrm_refcount);
365 366 367 368 369 370 371 372 373
	return err;
}

/*
 * LSM hook implementation that frees xfrm_state security information.
 */
void selinux_xfrm_state_free(struct xfrm_state *x)
{
	struct xfrm_sec_ctx *ctx = x->security;
374
	kfree(ctx);
375 376
}

C
Catherine Zhang 已提交
377 378 379 380 381
 /*
  * LSM hook implementation that authorizes deletion of labeled SAs.
  */
int selinux_xfrm_state_delete(struct xfrm_state *x)
{
382
	const struct task_security_struct *tsec = current_security();
C
Catherine Zhang 已提交
383 384 385
	struct xfrm_sec_ctx *ctx = x->security;
	int rc = 0;

386
	if (ctx) {
C
Catherine Zhang 已提交
387 388 389
		rc = avc_has_perm(tsec->sid, ctx->ctx_sid,
				  SECCLASS_ASSOCIATION,
				  ASSOCIATION__SETCONTEXT, NULL);
390 391 392
		if (rc == 0)
			atomic_dec(&selinux_xfrm_refcount);
	}
C
Catherine Zhang 已提交
393 394 395 396

	return rc;
}

397 398 399 400 401 402 403
/*
 * LSM hook that controls access to unlabelled packets.  If
 * a xfrm_state is authorizable (defined by macro) then it was
 * already authorized by the IPSec process.  If not, then
 * we need to check for unlabelled access since this may not have
 * gone thru the IPSec process.
 */
404
int selinux_xfrm_sock_rcv_skb(u32 isec_sid, struct sk_buff *skb,
405
				struct common_audit_data *ad)
406 407 408
{
	int i, rc = 0;
	struct sec_path *sp;
409
	u32 sel_sid = SECINITSID_UNLABELED;
410 411 412 413 414

	sp = skb->sp;

	if (sp) {
		for (i = 0; i < sp->len; i++) {
415
			struct xfrm_state *x = sp->xvec[i];
416

417 418 419 420 421
			if (x && selinux_authorizable_xfrm(x)) {
				struct xfrm_sec_ctx *ctx = x->security;
				sel_sid = ctx->ctx_sid;
				break;
			}
422 423 424
		}
	}

425 426 427 428 429 430 431
	/*
	 * This check even when there's no association involved is
	 * intended, according to Trent Jaeger, to make sure a
	 * process can't engage in non-ipsec communication unless
	 * explicitly allowed by policy.
	 */

432 433
	rc = avc_has_perm(isec_sid, sel_sid, SECCLASS_ASSOCIATION,
			  ASSOCIATION__RECVFROM, ad);
434 435 436 437 438 439 440 441 442

	return rc;
}

/*
 * POSTROUTE_LAST hook's XFRM processing:
 * If we have no security association, then we need to determine
 * whether the socket is allowed to send to an unlabelled destination.
 * If we do have a authorizable security association, then it has already been
443
 * checked in the selinux_xfrm_state_pol_flow_match hook above.
444
 */
445
int selinux_xfrm_postroute_last(u32 isec_sid, struct sk_buff *skb,
446
					struct common_audit_data *ad, u8 proto)
447 448 449 450
{
	struct dst_entry *dst;
	int rc = 0;

E
Eric Dumazet 已提交
451
	dst = skb_dst(skb);
452 453 454 455

	if (dst) {
		struct dst_entry *dst_test;

456
		for (dst_test = dst; dst_test != NULL;
457 458 459 460
		     dst_test = dst_test->child) {
			struct xfrm_state *x = dst_test->xfrm;

			if (x && selinux_authorizable_xfrm(x))
461
				goto out;
462 463 464
		}
	}

465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485
	switch (proto) {
	case IPPROTO_AH:
	case IPPROTO_ESP:
	case IPPROTO_COMP:
		/*
		 * We should have already seen this packet once before
		 * it underwent xfrm(s). No need to subject it to the
		 * unlabeled check.
		 */
		goto out;
	default:
		break;
	}

	/*
	 * This check even when there's no association involved is
	 * intended, according to Trent Jaeger, to make sure a
	 * process can't engage in non-ipsec communication unless
	 * explicitly allowed by policy.
	 */

486
	rc = avc_has_perm(isec_sid, SECINITSID_UNLABELED, SECCLASS_ASSOCIATION,
487
			  ASSOCIATION__SENDTO, ad);
488 489
out:
	return rc;
490
}