blob: f8d71262b45dd1c13db3a93eb3b1240e793a1d3c [file] [log] [blame]
Trent Jaegerd28d1e02005-12-13 23:12:40 -08001/*
2 * NSA Security-Enhanced Linux (SELinux) security module
3 *
4 * This file contains the SELinux XFRM hook function implementations.
5 *
6 * Authors: Serge Hallyn <sergeh@us.ibm.com>
7 * Trent Jaeger <jaegert@us.ibm.com>
8 *
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -07009 * Updated: Venkat Yekkirala <vyekkirala@TrustedCS.com>
10 *
11 * Granular IPSec Associations for use in MLS environments.
12 *
Trent Jaegerd28d1e02005-12-13 23:12:40 -080013 * Copyright (C) 2005 International Business Machines Corporation
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -070014 * Copyright (C) 2006 Trusted Computer Solutions, Inc.
Trent Jaegerd28d1e02005-12-13 23:12:40 -080015 *
16 * This program is free software; you can redistribute it and/or modify
17 * it under the terms of the GNU General Public License version 2,
18 * as published by the Free Software Foundation.
19 */
20
21/*
22 * USAGE:
23 * NOTES:
24 * 1. Make sure to enable the following options in your kernel config:
25 * CONFIG_SECURITY=y
26 * CONFIG_SECURITY_NETWORK=y
27 * CONFIG_SECURITY_NETWORK_XFRM=y
28 * CONFIG_SECURITY_SELINUX=m/y
29 * ISSUES:
30 * 1. Caching packets, so they are not dropped during negotiation
31 * 2. Emulating a reasonable SO_PEERSEC across machines
32 * 3. Testing addition of sk_policy's with security context via setsockopt
33 */
Trent Jaegerd28d1e02005-12-13 23:12:40 -080034#include <linux/kernel.h>
35#include <linux/init.h>
36#include <linux/security.h>
37#include <linux/types.h>
38#include <linux/netfilter.h>
39#include <linux/netfilter_ipv4.h>
40#include <linux/netfilter_ipv6.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090041#include <linux/slab.h>
Trent Jaegerd28d1e02005-12-13 23:12:40 -080042#include <linux/ip.h>
43#include <linux/tcp.h>
44#include <linux/skbuff.h>
45#include <linux/xfrm.h>
46#include <net/xfrm.h>
47#include <net/checksum.h>
48#include <net/udp.h>
Arun Sharma600634972011-07-26 16:09:06 -070049#include <linux/atomic.h>
Trent Jaegerd28d1e02005-12-13 23:12:40 -080050
51#include "avc.h"
52#include "objsec.h"
53#include "xfrm.h"
54
Paul Moored621d352008-01-29 08:43:36 -050055/* Labeled XFRM instance counter */
56atomic_t selinux_xfrm_refcount = ATOMIC_INIT(0);
Trent Jaegerd28d1e02005-12-13 23:12:40 -080057
58/*
59 * Returns true if an LSM/SELinux context
60 */
61static inline int selinux_authorizable_ctx(struct xfrm_sec_ctx *ctx)
62{
63 return (ctx &&
64 (ctx->ctx_doi == XFRM_SC_DOI_LSM) &&
65 (ctx->ctx_alg == XFRM_SC_ALG_SELINUX));
66}
67
68/*
69 * Returns true if the xfrm contains a security blob for SELinux
70 */
71static inline int selinux_authorizable_xfrm(struct xfrm_state *x)
72{
73 return selinux_authorizable_ctx(x->security);
74}
75
76/*
Paul Moore2e5aa862013-07-23 17:38:38 -040077 * Allocates a xfrm_sec_state and populates it using the supplied security
78 * xfrm_user_sec_ctx context.
79 */
80static int selinux_xfrm_alloc_user(struct xfrm_sec_ctx **ctxp,
81 struct xfrm_user_sec_ctx *uctx)
82{
83 int rc;
84 const struct task_security_struct *tsec = current_security();
85 struct xfrm_sec_ctx *ctx = NULL;
86 u32 str_len;
87
88 if (ctxp == NULL || uctx == NULL ||
89 uctx->ctx_doi != XFRM_SC_DOI_LSM ||
90 uctx->ctx_alg != XFRM_SC_ALG_SELINUX)
91 return -EINVAL;
92
93 str_len = uctx->ctx_len;
94 if (str_len >= PAGE_SIZE)
95 return -ENOMEM;
96
97 ctx = kmalloc(sizeof(*ctx) + str_len + 1, GFP_KERNEL);
98 if (!ctx)
99 return -ENOMEM;
100
101 ctx->ctx_doi = XFRM_SC_DOI_LSM;
102 ctx->ctx_alg = XFRM_SC_ALG_SELINUX;
103 ctx->ctx_len = str_len;
104 memcpy(ctx->ctx_str, &uctx[1], str_len);
105 ctx->ctx_str[str_len] = '\0';
106 rc = security_context_to_sid(ctx->ctx_str, str_len, &ctx->ctx_sid);
107 if (rc)
108 goto err;
109
110 rc = avc_has_perm(tsec->sid, ctx->ctx_sid,
111 SECCLASS_ASSOCIATION, ASSOCIATION__SETCONTEXT, NULL);
112 if (rc)
113 goto err;
114
115 *ctxp = ctx;
116 atomic_inc(&selinux_xfrm_refcount);
117 return 0;
118
119err:
120 kfree(ctx);
121 return rc;
122}
123
124/*
Paul Mooreccf17cc2013-07-23 17:38:39 -0400125 * Free the xfrm_sec_ctx structure.
126 */
127static void selinux_xfrm_free(struct xfrm_sec_ctx *ctx)
128{
129 if (!ctx)
130 return;
131
132 atomic_dec(&selinux_xfrm_refcount);
133 kfree(ctx);
134}
135
136/*
137 * Authorize the deletion of a labeled SA or policy rule.
138 */
139static int selinux_xfrm_delete(struct xfrm_sec_ctx *ctx)
140{
141 const struct task_security_struct *tsec = current_security();
142
143 if (!ctx)
144 return 0;
145
146 return avc_has_perm(tsec->sid, ctx->ctx_sid,
147 SECCLASS_ASSOCIATION, ASSOCIATION__SETCONTEXT,
148 NULL);
149}
150
151/*
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700152 * LSM hook implementation that authorizes that a flow can use
153 * a xfrm policy rule.
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800154 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700155int selinux_xfrm_policy_lookup(struct xfrm_sec_ctx *ctx, u32 fl_secid, u8 dir)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800156{
Venkat Yekkirala5b368e62006-10-05 15:42:18 -0500157 int rc;
158 u32 sel_sid;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800159
160 /* Context sid is either set to label or ANY_ASSOC */
Paul Moore03e1ad72008-04-12 19:07:52 -0700161 if (ctx) {
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800162 if (!selinux_authorizable_ctx(ctx))
163 return -EINVAL;
164
165 sel_sid = ctx->ctx_sid;
Paul Moore03e1ad72008-04-12 19:07:52 -0700166 } else
Venkat Yekkirala5b368e62006-10-05 15:42:18 -0500167 /*
168 * All flows should be treated as polmatch'ing an
169 * otherwise applicable "non-labeled" policy. This
170 * would prevent inadvertent "leaks".
171 */
172 return 0;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800173
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700174 rc = avc_has_perm(fl_secid, sel_sid, SECCLASS_ASSOCIATION,
175 ASSOCIATION__POLMATCH,
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800176 NULL);
177
Venkat Yekkirala5b368e62006-10-05 15:42:18 -0500178 if (rc == -EACCES)
Paul Moore03e1ad72008-04-12 19:07:52 -0700179 return -ESRCH;
Venkat Yekkirala5b368e62006-10-05 15:42:18 -0500180
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800181 return rc;
182}
183
184/*
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700185 * LSM hook implementation that authorizes that a state matches
186 * the given policy, flow combo.
187 */
188
189int selinux_xfrm_state_pol_flow_match(struct xfrm_state *x, struct xfrm_policy *xp,
David S. Millere33f7702011-02-22 18:13:15 -0800190 const struct flowi *fl)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700191{
192 u32 state_sid;
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600193 int rc;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700194
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600195 if (!xp->security)
Venkat Yekkirala5b368e62006-10-05 15:42:18 -0500196 if (x->security)
197 /* unlabeled policy and labeled SA can't match */
198 return 0;
199 else
200 /* unlabeled policy and unlabeled SA match all flows */
201 return 1;
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600202 else
203 if (!x->security)
204 /* unlabeled SA and labeled policy can't match */
205 return 0;
206 else
207 if (!selinux_authorizable_xfrm(x))
208 /* Not a SELinux-labeled SA */
209 return 0;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700210
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600211 state_sid = x->security->ctx_sid;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700212
David S. Miller1d28f422011-03-12 00:29:39 -0500213 if (fl->flowi_secid != state_sid)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700214 return 0;
215
David S. Miller1d28f422011-03-12 00:29:39 -0500216 rc = avc_has_perm(fl->flowi_secid, state_sid, SECCLASS_ASSOCIATION,
Venkat Yekkirala5b368e62006-10-05 15:42:18 -0500217 ASSOCIATION__SENDTO,
218 NULL)? 0:1;
219
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600220 /*
221 * We don't need a separate SA Vs. policy polmatch check
222 * since the SA is now of the same label as the flow and
223 * a flow Vs. policy polmatch check had already happened
224 * in selinux_xfrm_policy_lookup() above.
225 */
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700226
227 return rc;
228}
229
230/*
Venkat Yekkirala6b877692006-11-08 17:04:09 -0600231 * LSM hook implementation that checks and/or returns the xfrm sid for the
232 * incoming packet.
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700233 */
234
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -0700235int selinux_xfrm_decode_session(struct sk_buff *skb, u32 *sid, int ckall)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700236{
237 struct sec_path *sp;
238
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -0700239 *sid = SECSID_NULL;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700240
241 if (skb == NULL)
242 return 0;
243
244 sp = skb->sp;
245 if (sp) {
246 int i, sid_set = 0;
247
248 for (i = sp->len-1; i >= 0; i--) {
249 struct xfrm_state *x = sp->xvec[i];
250 if (selinux_authorizable_xfrm(x)) {
251 struct xfrm_sec_ctx *ctx = x->security;
252
253 if (!sid_set) {
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -0700254 *sid = ctx->ctx_sid;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700255 sid_set = 1;
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -0700256
257 if (!ckall)
258 break;
Eric Paris3c1c88a2008-04-18 17:38:27 -0400259 } else if (*sid != ctx->ctx_sid)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700260 return -EINVAL;
261 }
262 }
263 }
264
265 return 0;
266}
267
268/*
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800269 * LSM hook implementation that allocs and transfers uctx spec to
270 * xfrm_policy.
271 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700272int selinux_xfrm_policy_alloc(struct xfrm_sec_ctx **ctxp,
273 struct xfrm_user_sec_ctx *uctx)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800274{
Paul Moore2e5aa862013-07-23 17:38:38 -0400275 return selinux_xfrm_alloc_user(ctxp, uctx);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800276}
277
278
279/*
280 * LSM hook implementation that copies security data structure from old to
281 * new for policy cloning.
282 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700283int selinux_xfrm_policy_clone(struct xfrm_sec_ctx *old_ctx,
284 struct xfrm_sec_ctx **new_ctxp)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800285{
Paul Moore03e1ad72008-04-12 19:07:52 -0700286 struct xfrm_sec_ctx *new_ctx;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800287
Paul Mooreccf17cc2013-07-23 17:38:39 -0400288 if (!old_ctx)
289 return 0;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800290
Paul Mooreccf17cc2013-07-23 17:38:39 -0400291 new_ctx = kmalloc(sizeof(*old_ctx) + old_ctx->ctx_len, GFP_ATOMIC);
292 if (!new_ctx)
293 return -ENOMEM;
294 memcpy(new_ctx, old_ctx, sizeof(*old_ctx) + old_ctx->ctx_len);
295 atomic_inc(&selinux_xfrm_refcount);
296 *new_ctxp = new_ctx;
297
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800298 return 0;
299}
300
301/*
Paul Moore03e1ad72008-04-12 19:07:52 -0700302 * LSM hook implementation that frees xfrm_sec_ctx security information.
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800303 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700304void selinux_xfrm_policy_free(struct xfrm_sec_ctx *ctx)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800305{
Paul Mooreccf17cc2013-07-23 17:38:39 -0400306 selinux_xfrm_free(ctx);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800307}
308
309/*
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700310 * LSM hook implementation that authorizes deletion of labeled policies.
311 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700312int selinux_xfrm_policy_delete(struct xfrm_sec_ctx *ctx)
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700313{
Paul Mooreccf17cc2013-07-23 17:38:39 -0400314 return selinux_xfrm_delete(ctx);
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700315}
316
317/*
Paul Moore2e5aa862013-07-23 17:38:38 -0400318 * LSM hook implementation that allocates a xfrm_sec_state, populates it using
319 * the supplied security context, and assigns it to the xfrm_state.
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800320 */
Paul Moore2e5aa862013-07-23 17:38:38 -0400321int selinux_xfrm_state_alloc(struct xfrm_state *x,
322 struct xfrm_user_sec_ctx *uctx)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800323{
Paul Moore2e5aa862013-07-23 17:38:38 -0400324 return selinux_xfrm_alloc_user(&x->security, uctx);
325}
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800326
Paul Moore2e5aa862013-07-23 17:38:38 -0400327/*
328 * LSM hook implementation that allocates a xfrm_sec_state and populates based
329 * on a secid.
330 */
331int selinux_xfrm_state_alloc_acquire(struct xfrm_state *x,
332 struct xfrm_sec_ctx *polsec, u32 secid)
333{
334 int rc;
335 struct xfrm_sec_ctx *ctx;
336 char *ctx_str = NULL;
337 int str_len;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800338
Paul Moore2e5aa862013-07-23 17:38:38 -0400339 if (!polsec)
340 return 0;
341
342 if (secid == 0)
343 return -EINVAL;
344
345 rc = security_sid_to_context(secid, &ctx_str, &str_len);
346 if (rc)
347 return rc;
348
349 ctx = kmalloc(sizeof(*ctx) + str_len, GFP_ATOMIC);
350 if (!ctx)
351 return -ENOMEM;
352
353 ctx->ctx_doi = XFRM_SC_DOI_LSM;
354 ctx->ctx_alg = XFRM_SC_ALG_SELINUX;
355 ctx->ctx_sid = secid;
356 ctx->ctx_len = str_len;
357 memcpy(ctx->ctx_str, ctx_str, str_len);
358 kfree(ctx_str);
359
360 x->security = ctx;
361 atomic_inc(&selinux_xfrm_refcount);
362 return 0;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800363}
364
365/*
366 * LSM hook implementation that frees xfrm_state security information.
367 */
368void selinux_xfrm_state_free(struct xfrm_state *x)
369{
Paul Mooreccf17cc2013-07-23 17:38:39 -0400370 selinux_xfrm_free(x->security);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800371}
372
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700373 /*
374 * LSM hook implementation that authorizes deletion of labeled SAs.
375 */
376int selinux_xfrm_state_delete(struct xfrm_state *x)
377{
Paul Mooreccf17cc2013-07-23 17:38:39 -0400378 return selinux_xfrm_delete(x->security);
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700379}
380
Catherine Zhang2c7946a2006-03-20 22:41:23 -0800381/*
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800382 * LSM hook that controls access to unlabelled packets. If
383 * a xfrm_state is authorizable (defined by macro) then it was
384 * already authorized by the IPSec process. If not, then
385 * we need to check for unlabelled access since this may not have
386 * gone thru the IPSec process.
387 */
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700388int selinux_xfrm_sock_rcv_skb(u32 isec_sid, struct sk_buff *skb,
Thomas Liu2bf49692009-07-14 12:14:09 -0400389 struct common_audit_data *ad)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800390{
391 int i, rc = 0;
392 struct sec_path *sp;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700393 u32 sel_sid = SECINITSID_UNLABELED;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800394
395 sp = skb->sp;
396
397 if (sp) {
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800398 for (i = 0; i < sp->len; i++) {
Dave Jones67644722006-04-02 23:34:19 -0700399 struct xfrm_state *x = sp->xvec[i];
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800400
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700401 if (x && selinux_authorizable_xfrm(x)) {
402 struct xfrm_sec_ctx *ctx = x->security;
403 sel_sid = ctx->ctx_sid;
404 break;
405 }
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800406 }
407 }
408
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600409 /*
410 * This check even when there's no association involved is
411 * intended, according to Trent Jaeger, to make sure a
412 * process can't engage in non-ipsec communication unless
413 * explicitly allowed by policy.
414 */
415
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700416 rc = avc_has_perm(isec_sid, sel_sid, SECCLASS_ASSOCIATION,
417 ASSOCIATION__RECVFROM, ad);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800418
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800419 return rc;
420}
421
422/*
423 * POSTROUTE_LAST hook's XFRM processing:
424 * If we have no security association, then we need to determine
425 * whether the socket is allowed to send to an unlabelled destination.
426 * If we do have a authorizable security association, then it has already been
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600427 * checked in the selinux_xfrm_state_pol_flow_match hook above.
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800428 */
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700429int selinux_xfrm_postroute_last(u32 isec_sid, struct sk_buff *skb,
Thomas Liu2bf49692009-07-14 12:14:09 -0400430 struct common_audit_data *ad, u8 proto)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800431{
432 struct dst_entry *dst;
433 int rc = 0;
434
Eric Dumazetadf30902009-06-02 05:19:30 +0000435 dst = skb_dst(skb);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800436
437 if (dst) {
438 struct dst_entry *dst_test;
439
Stephen Hemmingerc80544d2007-10-18 03:07:05 -0700440 for (dst_test = dst; dst_test != NULL;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800441 dst_test = dst_test->child) {
442 struct xfrm_state *x = dst_test->xfrm;
443
444 if (x && selinux_authorizable_xfrm(x))
James Morris4e5ab4c2006-06-09 00:33:33 -0700445 goto out;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800446 }
447 }
448
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600449 switch (proto) {
450 case IPPROTO_AH:
451 case IPPROTO_ESP:
452 case IPPROTO_COMP:
453 /*
454 * We should have already seen this packet once before
455 * it underwent xfrm(s). No need to subject it to the
456 * unlabeled check.
457 */
458 goto out;
459 default:
460 break;
461 }
462
463 /*
464 * This check even when there's no association involved is
465 * intended, according to Trent Jaeger, to make sure a
466 * process can't engage in non-ipsec communication unless
467 * explicitly allowed by policy.
468 */
469
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800470 rc = avc_has_perm(isec_sid, SECINITSID_UNLABELED, SECCLASS_ASSOCIATION,
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700471 ASSOCIATION__SENDTO, ad);
James Morris4e5ab4c2006-06-09 00:33:33 -0700472out:
473 return rc;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800474}