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 41 42 43 44 45 46 47 48
 *
 *	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>
#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>
#include <asm/semaphore.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
				}
V
Venkat Yekkirala 已提交
185
				else if (*sid != ctx->ctx_sid)
186 187 188 189 190 191 192 193
					return -EINVAL;
			}
		}
	}

	return 0;
}

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

207
	BUG_ON(uctx && sid);
208

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

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

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

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

	if (!ctx)
		return -ENOMEM;

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

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

	if (rc)
		goto out;

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

	return rc;

252
not_from_user:
253
	rc = security_sid_to_context(sid, &ctx_str, &str_len);
254 255 256 257 258 259 260 261 262 263 264 265 266 267
	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;
268
	ctx->ctx_sid = sid;
269 270 271 272 273 274 275
	ctx->ctx_len = str_len;
	memcpy(ctx->ctx_str,
	       ctx_str,
	       str_len);

	goto out2;

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

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

293
	BUG_ON(!uctx);
294

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

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


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

	if (old_ctx) {
313 314
		new_ctx = kmalloc(sizeof(*old_ctx) + old_ctx->ctx_len,
				  GFP_KERNEL);
315 316 317 318 319
		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);
320
		*new_ctxp = new_ctx;
321 322 323 324 325
	}
	return 0;
}

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

C
Catherine Zhang 已提交
334 335 336
/*
 * LSM hook implementation that authorizes deletion of labeled policies.
 */
337
int selinux_xfrm_policy_delete(struct xfrm_sec_ctx *ctx)
C
Catherine Zhang 已提交
338 339 340 341
{
	struct task_security_struct *tsec = current->security;
	int rc = 0;

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

	return rc;
}

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

	BUG_ON(!x);

364
	err = selinux_xfrm_sec_ctx_alloc(&x->security, uctx, secid);
365 366
	if (err == 0)
		atomic_inc(&selinux_xfrm_refcount);
367 368 369 370 371 372 373 374 375 376 377 378 379
	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;
	if (ctx)
		kfree(ctx);
}

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

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

	return rc;
}

400 401 402 403 404 405 406
/*
 * 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.
 */
407 408
int selinux_xfrm_sock_rcv_skb(u32 isec_sid, struct sk_buff *skb,
				struct avc_audit_data *ad)
409 410 411
{
	int i, rc = 0;
	struct sec_path *sp;
412
	u32 sel_sid = SECINITSID_UNLABELED;
413 414 415 416 417

	sp = skb->sp;

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

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

428 429 430 431 432 433 434
	/*
	 * 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.
	 */

435 436
	rc = avc_has_perm(isec_sid, sel_sid, SECCLASS_ASSOCIATION,
			  ASSOCIATION__RECVFROM, ad);
437 438 439 440 441 442 443 444 445

	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
446
 * checked in the selinux_xfrm_state_pol_flow_match hook above.
447
 */
448
int selinux_xfrm_postroute_last(u32 isec_sid, struct sk_buff *skb,
449
					struct avc_audit_data *ad, u8 proto)
450 451 452 453 454 455 456 457 458
{
	struct dst_entry *dst;
	int rc = 0;

	dst = skb->dst;

	if (dst) {
		struct dst_entry *dst_test;

459
		for (dst_test = dst; dst_test != NULL;
460 461 462 463
		     dst_test = dst_test->child) {
			struct xfrm_state *x = dst_test->xfrm;

			if (x && selinux_authorizable_xfrm(x))
464
				goto out;
465 466 467
		}
	}

468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488
	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.
	 */

489
	rc = avc_has_perm(isec_sid, SECINITSID_UNLABELED, SECCLASS_ASSOCIATION,
490
			  ASSOCIATION__SENDTO, ad);
491 492
out:
	return rc;
493
}