blob: 4a7ba4ac487e6a8cf14b55a80e314561509a09dc [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;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800158
Paul Moore96484342013-07-23 17:38:39 -0400159 /* All flows should be treated as polmatch'ing an otherwise applicable
160 * "non-labeled" policy. This would prevent inadvertent "leaks". */
161 if (!ctx)
Venkat Yekkirala5b368e62006-10-05 15:42:18 -0500162 return 0;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800163
Paul Moore96484342013-07-23 17:38:39 -0400164 /* Context sid is either set to label or ANY_ASSOC */
165 if (!selinux_authorizable_ctx(ctx))
166 return -EINVAL;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800167
Paul Moore96484342013-07-23 17:38:39 -0400168 rc = avc_has_perm(fl_secid, ctx->ctx_sid,
169 SECCLASS_ASSOCIATION, ASSOCIATION__POLMATCH, NULL);
170 return (rc == -EACCES ? -ESRCH : rc);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800171}
172
173/*
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700174 * LSM hook implementation that authorizes that a state matches
175 * the given policy, flow combo.
176 */
Paul Moore96484342013-07-23 17:38:39 -0400177int selinux_xfrm_state_pol_flow_match(struct xfrm_state *x,
178 struct xfrm_policy *xp,
179 const struct flowi *fl)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700180{
181 u32 state_sid;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700182
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600183 if (!xp->security)
Venkat Yekkirala5b368e62006-10-05 15:42:18 -0500184 if (x->security)
185 /* unlabeled policy and labeled SA can't match */
186 return 0;
187 else
188 /* unlabeled policy and unlabeled SA match all flows */
189 return 1;
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600190 else
191 if (!x->security)
192 /* unlabeled SA and labeled policy can't match */
193 return 0;
194 else
195 if (!selinux_authorizable_xfrm(x))
196 /* Not a SELinux-labeled SA */
197 return 0;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700198
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600199 state_sid = x->security->ctx_sid;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700200
David S. Miller1d28f422011-03-12 00:29:39 -0500201 if (fl->flowi_secid != state_sid)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700202 return 0;
203
Paul Moore96484342013-07-23 17:38:39 -0400204 /* We don't need a separate SA Vs. policy polmatch check since the SA
205 * is now of the same label as the flow and a flow Vs. policy polmatch
206 * check had already happened in selinux_xfrm_policy_lookup() above. */
207 return (avc_has_perm(fl->flowi_secid, state_sid,
208 SECCLASS_ASSOCIATION, ASSOCIATION__SENDTO,
209 NULL) ? 0 : 1);
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700210}
211
212/*
Venkat Yekkirala6b877692006-11-08 17:04:09 -0600213 * LSM hook implementation that checks and/or returns the xfrm sid for the
214 * incoming packet.
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700215 */
216
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -0700217int selinux_xfrm_decode_session(struct sk_buff *skb, u32 *sid, int ckall)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700218{
219 struct sec_path *sp;
220
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -0700221 *sid = SECSID_NULL;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700222
223 if (skb == NULL)
224 return 0;
225
226 sp = skb->sp;
227 if (sp) {
228 int i, sid_set = 0;
229
230 for (i = sp->len-1; i >= 0; i--) {
231 struct xfrm_state *x = sp->xvec[i];
232 if (selinux_authorizable_xfrm(x)) {
233 struct xfrm_sec_ctx *ctx = x->security;
234
235 if (!sid_set) {
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -0700236 *sid = ctx->ctx_sid;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700237 sid_set = 1;
Venkat Yekkiralabeb8d132006-08-04 23:12:42 -0700238
239 if (!ckall)
240 break;
Eric Paris3c1c88a2008-04-18 17:38:27 -0400241 } else if (*sid != ctx->ctx_sid)
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700242 return -EINVAL;
243 }
244 }
245 }
246
247 return 0;
248}
249
250/*
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800251 * LSM hook implementation that allocs and transfers uctx spec to
252 * xfrm_policy.
253 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700254int selinux_xfrm_policy_alloc(struct xfrm_sec_ctx **ctxp,
255 struct xfrm_user_sec_ctx *uctx)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800256{
Paul Moore2e5aa862013-07-23 17:38:38 -0400257 return selinux_xfrm_alloc_user(ctxp, uctx);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800258}
259
260
261/*
262 * LSM hook implementation that copies security data structure from old to
263 * new for policy cloning.
264 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700265int selinux_xfrm_policy_clone(struct xfrm_sec_ctx *old_ctx,
266 struct xfrm_sec_ctx **new_ctxp)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800267{
Paul Moore03e1ad72008-04-12 19:07:52 -0700268 struct xfrm_sec_ctx *new_ctx;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800269
Paul Mooreccf17cc2013-07-23 17:38:39 -0400270 if (!old_ctx)
271 return 0;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800272
Paul Mooreccf17cc2013-07-23 17:38:39 -0400273 new_ctx = kmalloc(sizeof(*old_ctx) + old_ctx->ctx_len, GFP_ATOMIC);
274 if (!new_ctx)
275 return -ENOMEM;
276 memcpy(new_ctx, old_ctx, sizeof(*old_ctx) + old_ctx->ctx_len);
277 atomic_inc(&selinux_xfrm_refcount);
278 *new_ctxp = new_ctx;
279
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800280 return 0;
281}
282
283/*
Paul Moore03e1ad72008-04-12 19:07:52 -0700284 * LSM hook implementation that frees xfrm_sec_ctx security information.
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800285 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700286void selinux_xfrm_policy_free(struct xfrm_sec_ctx *ctx)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800287{
Paul Mooreccf17cc2013-07-23 17:38:39 -0400288 selinux_xfrm_free(ctx);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800289}
290
291/*
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700292 * LSM hook implementation that authorizes deletion of labeled policies.
293 */
Paul Moore03e1ad72008-04-12 19:07:52 -0700294int selinux_xfrm_policy_delete(struct xfrm_sec_ctx *ctx)
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700295{
Paul Mooreccf17cc2013-07-23 17:38:39 -0400296 return selinux_xfrm_delete(ctx);
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700297}
298
299/*
Paul Moore2e5aa862013-07-23 17:38:38 -0400300 * LSM hook implementation that allocates a xfrm_sec_state, populates it using
301 * the supplied security context, and assigns it to the xfrm_state.
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800302 */
Paul Moore2e5aa862013-07-23 17:38:38 -0400303int selinux_xfrm_state_alloc(struct xfrm_state *x,
304 struct xfrm_user_sec_ctx *uctx)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800305{
Paul Moore2e5aa862013-07-23 17:38:38 -0400306 return selinux_xfrm_alloc_user(&x->security, uctx);
307}
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800308
Paul Moore2e5aa862013-07-23 17:38:38 -0400309/*
310 * LSM hook implementation that allocates a xfrm_sec_state and populates based
311 * on a secid.
312 */
313int selinux_xfrm_state_alloc_acquire(struct xfrm_state *x,
314 struct xfrm_sec_ctx *polsec, u32 secid)
315{
316 int rc;
317 struct xfrm_sec_ctx *ctx;
318 char *ctx_str = NULL;
319 int str_len;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800320
Paul Moore2e5aa862013-07-23 17:38:38 -0400321 if (!polsec)
322 return 0;
323
324 if (secid == 0)
325 return -EINVAL;
326
327 rc = security_sid_to_context(secid, &ctx_str, &str_len);
328 if (rc)
329 return rc;
330
331 ctx = kmalloc(sizeof(*ctx) + str_len, GFP_ATOMIC);
332 if (!ctx)
333 return -ENOMEM;
334
335 ctx->ctx_doi = XFRM_SC_DOI_LSM;
336 ctx->ctx_alg = XFRM_SC_ALG_SELINUX;
337 ctx->ctx_sid = secid;
338 ctx->ctx_len = str_len;
339 memcpy(ctx->ctx_str, ctx_str, str_len);
340 kfree(ctx_str);
341
342 x->security = ctx;
343 atomic_inc(&selinux_xfrm_refcount);
344 return 0;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800345}
346
347/*
348 * LSM hook implementation that frees xfrm_state security information.
349 */
350void selinux_xfrm_state_free(struct xfrm_state *x)
351{
Paul Mooreccf17cc2013-07-23 17:38:39 -0400352 selinux_xfrm_free(x->security);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800353}
354
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700355 /*
356 * LSM hook implementation that authorizes deletion of labeled SAs.
357 */
358int selinux_xfrm_state_delete(struct xfrm_state *x)
359{
Paul Mooreccf17cc2013-07-23 17:38:39 -0400360 return selinux_xfrm_delete(x->security);
Catherine Zhangc8c05a82006-06-08 23:39:49 -0700361}
362
Catherine Zhang2c7946a2006-03-20 22:41:23 -0800363/*
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800364 * LSM hook that controls access to unlabelled packets. If
365 * a xfrm_state is authorizable (defined by macro) then it was
366 * already authorized by the IPSec process. If not, then
367 * we need to check for unlabelled access since this may not have
368 * gone thru the IPSec process.
369 */
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700370int selinux_xfrm_sock_rcv_skb(u32 isec_sid, struct sk_buff *skb,
Thomas Liu2bf49692009-07-14 12:14:09 -0400371 struct common_audit_data *ad)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800372{
373 int i, rc = 0;
374 struct sec_path *sp;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700375 u32 sel_sid = SECINITSID_UNLABELED;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800376
377 sp = skb->sp;
378
379 if (sp) {
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800380 for (i = 0; i < sp->len; i++) {
Dave Jones67644722006-04-02 23:34:19 -0700381 struct xfrm_state *x = sp->xvec[i];
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800382
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700383 if (x && selinux_authorizable_xfrm(x)) {
384 struct xfrm_sec_ctx *ctx = x->security;
385 sel_sid = ctx->ctx_sid;
386 break;
387 }
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800388 }
389 }
390
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600391 /*
392 * This check even when there's no association involved is
393 * intended, according to Trent Jaeger, to make sure a
394 * process can't engage in non-ipsec communication unless
395 * explicitly allowed by policy.
396 */
397
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700398 rc = avc_has_perm(isec_sid, sel_sid, SECCLASS_ASSOCIATION,
399 ASSOCIATION__RECVFROM, ad);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800400
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800401 return rc;
402}
403
404/*
405 * POSTROUTE_LAST hook's XFRM processing:
406 * If we have no security association, then we need to determine
407 * whether the socket is allowed to send to an unlabelled destination.
408 * If we do have a authorizable security association, then it has already been
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600409 * checked in the selinux_xfrm_state_pol_flow_match hook above.
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800410 */
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700411int selinux_xfrm_postroute_last(u32 isec_sid, struct sk_buff *skb,
Thomas Liu2bf49692009-07-14 12:14:09 -0400412 struct common_audit_data *ad, u8 proto)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800413{
414 struct dst_entry *dst;
415 int rc = 0;
416
Eric Dumazetadf30902009-06-02 05:19:30 +0000417 dst = skb_dst(skb);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800418
419 if (dst) {
420 struct dst_entry *dst_test;
421
Stephen Hemmingerc80544d2007-10-18 03:07:05 -0700422 for (dst_test = dst; dst_test != NULL;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800423 dst_test = dst_test->child) {
424 struct xfrm_state *x = dst_test->xfrm;
425
426 if (x && selinux_authorizable_xfrm(x))
James Morris4e5ab4c2006-06-09 00:33:33 -0700427 goto out;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800428 }
429 }
430
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600431 switch (proto) {
432 case IPPROTO_AH:
433 case IPPROTO_ESP:
434 case IPPROTO_COMP:
435 /*
436 * We should have already seen this packet once before
437 * it underwent xfrm(s). No need to subject it to the
438 * unlabeled check.
439 */
440 goto out;
441 default:
442 break;
443 }
444
445 /*
446 * This check even when there's no association involved is
447 * intended, according to Trent Jaeger, to make sure a
448 * process can't engage in non-ipsec communication unless
449 * explicitly allowed by policy.
450 */
451
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800452 rc = avc_has_perm(isec_sid, SECINITSID_UNLABELED, SECCLASS_ASSOCIATION,
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700453 ASSOCIATION__SENDTO, ad);
James Morris4e5ab4c2006-06-09 00:33:33 -0700454out:
455 return rc;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800456}