blob: 1f6c6e619e98bb0905c26f2321fe003b84ef56f1 [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 */
Paul Mooreeef9b412013-07-23 17:38:39 -0400370int selinux_xfrm_sock_rcv_skb(u32 sk_sid, struct sk_buff *skb,
371 struct common_audit_data *ad)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800372{
Paul Mooreeef9b412013-07-23 17:38:39 -0400373 int i;
374 struct sec_path *sp = skb->sp;
375 u32 peer_sid = SECINITSID_UNLABELED;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800376
377 if (sp) {
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800378 for (i = 0; i < sp->len; i++) {
Dave Jones67644722006-04-02 23:34:19 -0700379 struct xfrm_state *x = sp->xvec[i];
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800380
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700381 if (x && selinux_authorizable_xfrm(x)) {
382 struct xfrm_sec_ctx *ctx = x->security;
Paul Mooreeef9b412013-07-23 17:38:39 -0400383 peer_sid = ctx->ctx_sid;
Venkat Yekkiralae0d1caa2006-07-24 23:29:07 -0700384 break;
385 }
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800386 }
387 }
388
Paul Mooreeef9b412013-07-23 17:38:39 -0400389 /* This check even when there's no association involved is intended,
390 * according to Trent Jaeger, to make sure a process can't engage in
391 * non-IPsec communication unless explicitly allowed by policy. */
392 return avc_has_perm(sk_sid, peer_sid,
393 SECCLASS_ASSOCIATION, ASSOCIATION__RECVFROM, ad);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800394}
395
396/*
397 * POSTROUTE_LAST hook's XFRM processing:
398 * If we have no security association, then we need to determine
399 * whether the socket is allowed to send to an unlabelled destination.
400 * If we do have a authorizable security association, then it has already been
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600401 * checked in the selinux_xfrm_state_pol_flow_match hook above.
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800402 */
Paul Mooreeef9b412013-07-23 17:38:39 -0400403int selinux_xfrm_postroute_last(u32 sk_sid, struct sk_buff *skb,
404 struct common_audit_data *ad, u8 proto)
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800405{
406 struct dst_entry *dst;
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800407
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600408 switch (proto) {
409 case IPPROTO_AH:
410 case IPPROTO_ESP:
411 case IPPROTO_COMP:
Paul Mooreeef9b412013-07-23 17:38:39 -0400412 /* We should have already seen this packet once before it
413 * underwent xfrm(s). No need to subject it to the unlabeled
414 * check. */
415 return 0;
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600416 default:
417 break;
418 }
419
Paul Mooreeef9b412013-07-23 17:38:39 -0400420 dst = skb_dst(skb);
421 if (dst) {
422 struct dst_entry *iter;
Venkat Yekkirala67f83cb2006-11-08 17:04:26 -0600423
Paul Mooreeef9b412013-07-23 17:38:39 -0400424 for (iter = dst; iter != NULL; iter = iter->child) {
425 struct xfrm_state *x = iter->xfrm;
426
427 if (x && selinux_authorizable_xfrm(x))
428 return 0;
429 }
430 }
431
432 /* This check even when there's no association involved is intended,
433 * according to Trent Jaeger, to make sure a process can't engage in
434 * non-IPsec communication unless explicitly allowed by policy. */
435 return avc_has_perm(sk_sid, SECINITSID_UNLABELED,
436 SECCLASS_ASSOCIATION, ASSOCIATION__SENDTO, ad);
Trent Jaegerd28d1e02005-12-13 23:12:40 -0800437}