1/*-
2 * Copyright (c) 1999-2002, 2007 Robert N. M. Watson
3 * Copyright (c) 2001-2005 Networks Associates Technology, Inc.
4 * Copyright (c) 2006 SPARTA, Inc.
5 * All rights reserved.
6 *
7 * This software was developed by Robert Watson for the TrustedBSD Project.
8 *

--- 21 unchanged lines hidden (view full) ---

30 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
31 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
32 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
33 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
34 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
35 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
36 * SUCH DAMAGE.
37 *
38 * $FreeBSD: head/sys/security/mac_lomac/mac_lomac.c 172953 2007-10-25 07:49:47Z rwatson $
39 */
40
41/*
42 * Developed by the TrustedBSD Project.
43 *
44 * Low-watermark floating label mandatory integrity policy.
45 */
46

--- 44 unchanged lines hidden (view full) ---

91 struct mtx mtx;
92};
93
94SYSCTL_DECL(_security_mac);
95
96SYSCTL_NODE(_security_mac, OID_AUTO, lomac, CTLFLAG_RW, 0,
97 "TrustedBSD mac_lomac policy controls");
98
99static int mac_lomac_label_size = sizeof(struct mac_lomac);
100SYSCTL_INT(_security_mac_lomac, OID_AUTO, label_size, CTLFLAG_RD,
101 &mac_lomac_label_size, 0, "Size of struct mac_lomac");
102
103static int mac_lomac_enabled = 1;
104SYSCTL_INT(_security_mac_lomac, OID_AUTO, enabled, CTLFLAG_RW,
105 &mac_lomac_enabled, 0, "Enforce MAC/LOMAC policy");
106TUNABLE_INT("security.mac.lomac.enabled", &mac_lomac_enabled);
107
108static int destroyed_not_inited;
109SYSCTL_INT(_security_mac_lomac, OID_AUTO, destroyed_not_inited, CTLFLAG_RD,
110 &destroyed_not_inited, 0, "Count of labels destroyed but not inited");
111
112static int trust_all_interfaces = 0;
113SYSCTL_INT(_security_mac_lomac, OID_AUTO, trust_all_interfaces, CTLFLAG_RD,
114 &trust_all_interfaces, 0, "Consider all interfaces 'trusted' by MAC/LOMAC");

--- 10 unchanged lines hidden (view full) ---

125 &ptys_equal, 0, "Label pty devices as lomac/equal on create");
126TUNABLE_INT("security.mac.lomac.ptys_equal", &ptys_equal);
127
128static int revocation_enabled = 1;
129SYSCTL_INT(_security_mac_lomac, OID_AUTO, revocation_enabled, CTLFLAG_RW,
130 &revocation_enabled, 0, "Revoke access to objects on relabel");
131TUNABLE_INT("security.mac.lomac.revocation_enabled", &revocation_enabled);
132
133static int mac_lomac_slot;
134#define SLOT(l) ((struct mac_lomac *)mac_label_get((l), mac_lomac_slot))
135#define SLOT_SET(l, val) mac_label_set((l), mac_lomac_slot, (uintptr_t)(val))
136#define PSLOT(l) ((struct mac_lomac_proc *) \
137 mac_label_get((l), mac_lomac_slot))
138#define PSLOT_SET(l, val) mac_label_set((l), mac_lomac_slot, (uintptr_t)(val))
139
140MALLOC_DEFINE(M_MACLOMAC, "mac_lomac_label", "MAC/LOMAC labels");
141
142static struct mac_lomac *
143lomac_alloc(int flag)
144{
145 struct mac_lomac *mac_lomac;
146
147 mac_lomac = malloc(sizeof(struct mac_lomac), M_MACLOMAC, M_ZERO | flag);
148
149 return (mac_lomac);
150}
151
152static void
153lomac_free(struct mac_lomac *mac_lomac)
154{
155
156 if (mac_lomac != NULL)
157 free(mac_lomac, M_MACLOMAC);
158 else
159 atomic_add_int(&destroyed_not_inited, 1);
160}
161
162static int
163lomac_atmostflags(struct mac_lomac *mac_lomac, int flags)
164{
165
166 if ((mac_lomac->ml_flags & flags) != mac_lomac->ml_flags)
167 return (EINVAL);
168 return (0);
169}
170
171static int
172mac_lomac_dominate_element(struct mac_lomac_element *a,
173 struct mac_lomac_element *b)
174{
175
176 switch (a->mle_type) {
177 case MAC_LOMAC_TYPE_EQUAL:
178 case MAC_LOMAC_TYPE_HIGH:
179 return (1);
180
181 case MAC_LOMAC_TYPE_LOW:
182 switch (b->mle_type) {
183 case MAC_LOMAC_TYPE_GRADE:
184 case MAC_LOMAC_TYPE_HIGH:
185 return (0);
186
187 case MAC_LOMAC_TYPE_EQUAL:
188 case MAC_LOMAC_TYPE_LOW:
189 return (1);
190
191 default:
192 panic("mac_lomac_dominate_element: b->mle_type invalid");
193 }
194
195 case MAC_LOMAC_TYPE_GRADE:
196 switch (b->mle_type) {
197 case MAC_LOMAC_TYPE_EQUAL:
198 case MAC_LOMAC_TYPE_LOW:
199 return (1);
200
201 case MAC_LOMAC_TYPE_HIGH:
202 return (0);
203
204 case MAC_LOMAC_TYPE_GRADE:
205 return (a->mle_grade >= b->mle_grade);
206
207 default:
208 panic("mac_lomac_dominate_element: b->mle_type invalid");
209 }
210
211 default:
212 panic("mac_lomac_dominate_element: a->mle_type invalid");
213 }
214}
215
216static int
217mac_lomac_range_in_range(struct mac_lomac *rangea, struct mac_lomac *rangeb)
218{
219
220 return (mac_lomac_dominate_element(&rangeb->ml_rangehigh,
221 &rangea->ml_rangehigh) &&
222 mac_lomac_dominate_element(&rangea->ml_rangelow,
223 &rangeb->ml_rangelow));
224}
225
226static int
227mac_lomac_single_in_range(struct mac_lomac *single, struct mac_lomac *range)
228{
229
230 KASSERT((single->ml_flags & MAC_LOMAC_FLAG_SINGLE) != 0,
231 ("mac_lomac_single_in_range: a not single"));
232 KASSERT((range->ml_flags & MAC_LOMAC_FLAG_RANGE) != 0,
233 ("mac_lomac_single_in_range: b not range"));
234
235 return (mac_lomac_dominate_element(&range->ml_rangehigh,
236 &single->ml_single) &&
237 mac_lomac_dominate_element(&single->ml_single,
238 &range->ml_rangelow));
239}
240
241static int
242mac_lomac_auxsingle_in_range(struct mac_lomac *single, struct mac_lomac *range)
243{
244
245 KASSERT((single->ml_flags & MAC_LOMAC_FLAG_AUX) != 0,
246 ("mac_lomac_single_in_range: a not auxsingle"));
247 KASSERT((range->ml_flags & MAC_LOMAC_FLAG_RANGE) != 0,
248 ("mac_lomac_single_in_range: b not range"));
249
250 return (mac_lomac_dominate_element(&range->ml_rangehigh,
251 &single->ml_auxsingle) &&
252 mac_lomac_dominate_element(&single->ml_auxsingle,
253 &range->ml_rangelow));
254}
255
256static int
257mac_lomac_dominate_single(struct mac_lomac *a, struct mac_lomac *b)
258{
259 KASSERT((a->ml_flags & MAC_LOMAC_FLAG_SINGLE) != 0,
260 ("mac_lomac_dominate_single: a not single"));
261 KASSERT((b->ml_flags & MAC_LOMAC_FLAG_SINGLE) != 0,
262 ("mac_lomac_dominate_single: b not single"));
263
264 return (mac_lomac_dominate_element(&a->ml_single, &b->ml_single));
265}
266
267static int
268mac_lomac_subject_dominate(struct mac_lomac *a, struct mac_lomac *b)
269{
270 KASSERT((~a->ml_flags &
271 (MAC_LOMAC_FLAG_SINGLE | MAC_LOMAC_FLAG_RANGE)) == 0,
272 ("mac_lomac_dominate_single: a not subject"));
273 KASSERT((b->ml_flags & MAC_LOMAC_FLAG_SINGLE) != 0,
274 ("mac_lomac_dominate_single: b not single"));
275
276 return (mac_lomac_dominate_element(&a->ml_rangehigh,
277 &b->ml_single));
278}
279
280static int
281mac_lomac_equal_element(struct mac_lomac_element *a, struct mac_lomac_element *b)
282{
283
284 if (a->mle_type == MAC_LOMAC_TYPE_EQUAL ||
285 b->mle_type == MAC_LOMAC_TYPE_EQUAL)
286 return (1);
287
288 return (a->mle_type == b->mle_type && a->mle_grade == b->mle_grade);
289}
290
291static int
292mac_lomac_equal_single(struct mac_lomac *a, struct mac_lomac *b)
293{
294
295 KASSERT((a->ml_flags & MAC_LOMAC_FLAG_SINGLE) != 0,
296 ("mac_lomac_equal_single: a not single"));
297 KASSERT((b->ml_flags & MAC_LOMAC_FLAG_SINGLE) != 0,
298 ("mac_lomac_equal_single: b not single"));
299
300 return (mac_lomac_equal_element(&a->ml_single, &b->ml_single));
301}
302
303static int
304mac_lomac_contains_equal(struct mac_lomac *mac_lomac)
305{
306
307 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_SINGLE)
308 if (mac_lomac->ml_single.mle_type == MAC_LOMAC_TYPE_EQUAL)
309 return (1);
310 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_AUX)
311 if (mac_lomac->ml_auxsingle.mle_type == MAC_LOMAC_TYPE_EQUAL)
312 return (1);
313
314 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_RANGE) {
315 if (mac_lomac->ml_rangelow.mle_type == MAC_LOMAC_TYPE_EQUAL)
316 return (1);
317 if (mac_lomac->ml_rangehigh.mle_type == MAC_LOMAC_TYPE_EQUAL)
318 return (1);
319 }
320
321 return (0);
322}
323
324static int
325mac_lomac_subject_privileged(struct mac_lomac *mac_lomac)
326{
327
328 KASSERT((mac_lomac->ml_flags & MAC_LOMAC_FLAGS_BOTH) ==
329 MAC_LOMAC_FLAGS_BOTH,
330 ("mac_lomac_subject_privileged: subject doesn't have both labels"));
331
332 /* If the single is EQUAL, it's ok. */
333 if (mac_lomac->ml_single.mle_type == MAC_LOMAC_TYPE_EQUAL)
334 return (0);
335
336 /* If either range endpoint is EQUAL, it's ok. */
337 if (mac_lomac->ml_rangelow.mle_type == MAC_LOMAC_TYPE_EQUAL ||
338 mac_lomac->ml_rangehigh.mle_type == MAC_LOMAC_TYPE_EQUAL)
339 return (0);
340
341 /* If the range is low-high, it's ok. */
342 if (mac_lomac->ml_rangelow.mle_type == MAC_LOMAC_TYPE_LOW &&
343 mac_lomac->ml_rangehigh.mle_type == MAC_LOMAC_TYPE_HIGH)
344 return (0);
345
346 /* It's not ok. */
347 return (EPERM);
348}
349
350static int
351mac_lomac_high_single(struct mac_lomac *mac_lomac)
352{
353
354 KASSERT((mac_lomac->ml_flags & MAC_LOMAC_FLAG_SINGLE) != 0,
355 ("mac_lomac_high_single: mac_lomac not single"));
356
357 return (mac_lomac->ml_single.mle_type == MAC_LOMAC_TYPE_HIGH);
358}
359
360static int
361mac_lomac_valid(struct mac_lomac *mac_lomac)
362{
363
364 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_SINGLE) {
365 switch (mac_lomac->ml_single.mle_type) {
366 case MAC_LOMAC_TYPE_GRADE:
367 case MAC_LOMAC_TYPE_EQUAL:
368 case MAC_LOMAC_TYPE_HIGH:
369 case MAC_LOMAC_TYPE_LOW:
370 break;
371
372 default:
373 return (EINVAL);
374 }
375 } else {
376 if (mac_lomac->ml_single.mle_type != MAC_LOMAC_TYPE_UNDEF)
377 return (EINVAL);
378 }
379
380 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_AUX) {
381 switch (mac_lomac->ml_auxsingle.mle_type) {
382 case MAC_LOMAC_TYPE_GRADE:
383 case MAC_LOMAC_TYPE_EQUAL:
384 case MAC_LOMAC_TYPE_HIGH:
385 case MAC_LOMAC_TYPE_LOW:
386 break;
387
388 default:
389 return (EINVAL);
390 }
391 } else {
392 if (mac_lomac->ml_auxsingle.mle_type != MAC_LOMAC_TYPE_UNDEF)
393 return (EINVAL);
394 }
395
396 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_RANGE) {
397 switch (mac_lomac->ml_rangelow.mle_type) {
398 case MAC_LOMAC_TYPE_GRADE:
399 case MAC_LOMAC_TYPE_EQUAL:
400 case MAC_LOMAC_TYPE_HIGH:
401 case MAC_LOMAC_TYPE_LOW:
402 break;
403
404 default:
405 return (EINVAL);
406 }
407
408 switch (mac_lomac->ml_rangehigh.mle_type) {
409 case MAC_LOMAC_TYPE_GRADE:
410 case MAC_LOMAC_TYPE_EQUAL:
411 case MAC_LOMAC_TYPE_HIGH:
412 case MAC_LOMAC_TYPE_LOW:
413 break;
414
415 default:
416 return (EINVAL);
417 }
418 if (!mac_lomac_dominate_element(&mac_lomac->ml_rangehigh,
419 &mac_lomac->ml_rangelow))
420 return (EINVAL);
421 } else {
422 if (mac_lomac->ml_rangelow.mle_type != MAC_LOMAC_TYPE_UNDEF ||
423 mac_lomac->ml_rangehigh.mle_type != MAC_LOMAC_TYPE_UNDEF)
424 return (EINVAL);
425 }
426
427 return (0);
428}
429
430static void
431mac_lomac_set_range(struct mac_lomac *mac_lomac, u_short typelow,
432 u_short gradelow, u_short typehigh, u_short gradehigh)
433{
434
435 mac_lomac->ml_rangelow.mle_type = typelow;
436 mac_lomac->ml_rangelow.mle_grade = gradelow;
437 mac_lomac->ml_rangehigh.mle_type = typehigh;
438 mac_lomac->ml_rangehigh.mle_grade = gradehigh;
439 mac_lomac->ml_flags |= MAC_LOMAC_FLAG_RANGE;
440}
441
442static void
443mac_lomac_set_single(struct mac_lomac *mac_lomac, u_short type, u_short grade)
444{
445
446 mac_lomac->ml_single.mle_type = type;
447 mac_lomac->ml_single.mle_grade = grade;
448 mac_lomac->ml_flags |= MAC_LOMAC_FLAG_SINGLE;
449}
450
451static void
452mac_lomac_copy_range(struct mac_lomac *labelfrom, struct mac_lomac *labelto)
453{
454
455 KASSERT((labelfrom->ml_flags & MAC_LOMAC_FLAG_RANGE) != 0,
456 ("mac_lomac_copy_range: labelfrom not range"));
457
458 labelto->ml_rangelow = labelfrom->ml_rangelow;
459 labelto->ml_rangehigh = labelfrom->ml_rangehigh;
460 labelto->ml_flags |= MAC_LOMAC_FLAG_RANGE;
461}
462
463static void
464mac_lomac_copy_single(struct mac_lomac *labelfrom, struct mac_lomac *labelto)
465{
466
467 KASSERT((labelfrom->ml_flags & MAC_LOMAC_FLAG_SINGLE) != 0,
468 ("mac_lomac_copy_single: labelfrom not single"));
469
470 labelto->ml_single = labelfrom->ml_single;
471 labelto->ml_flags |= MAC_LOMAC_FLAG_SINGLE;
472}
473
474static void
475mac_lomac_copy_auxsingle(struct mac_lomac *labelfrom, struct mac_lomac *labelto)
476{
477
478 KASSERT((labelfrom->ml_flags & MAC_LOMAC_FLAG_AUX) != 0,
479 ("mac_lomac_copy_auxsingle: labelfrom not auxsingle"));
480
481 labelto->ml_auxsingle = labelfrom->ml_auxsingle;
482 labelto->ml_flags |= MAC_LOMAC_FLAG_AUX;
483}
484
485static void
486mac_lomac_copy(struct mac_lomac *source, struct mac_lomac *dest)
487{
488
489 if (source->ml_flags & MAC_LOMAC_FLAG_SINGLE)
490 mac_lomac_copy_single(source, dest);
491 if (source->ml_flags & MAC_LOMAC_FLAG_AUX)
492 mac_lomac_copy_auxsingle(source, dest);
493 if (source->ml_flags & MAC_LOMAC_FLAG_RANGE)
494 mac_lomac_copy_range(source, dest);
495}
496
497static int mac_lomac_to_string(struct sbuf *sb,
498 struct mac_lomac *mac_lomac);
499
500static int
501maybe_demote(struct mac_lomac *subjlabel, struct mac_lomac *objlabel,
502 const char *actionname, const char *objname, struct vnode *vp)
503{
504 struct sbuf subjlabel_sb, subjtext_sb, objlabel_sb;
505 char *subjlabeltext, *objlabeltext, *subjtext;
506 struct mac_lomac cached_subjlabel;
507 struct mac_lomac_proc *subj;
508 struct vattr va;
509 struct proc *p;
510 pid_t pgid;
511
512 subj = PSLOT(curthread->td_proc->p_label);
513
514 p = curthread->td_proc;
515 mtx_lock(&subj->mtx);
516 if (subj->mac_lomac.ml_flags & MAC_LOMAC_FLAG_UPDATE) {
517 /*
518 * Check to see if the pending demotion would be more or
519 * less severe than this one, and keep the more severe.
520 * This can only happen for a multi-threaded application.
521 */
522 if (mac_lomac_dominate_single(objlabel, &subj->mac_lomac)) {
523 mtx_unlock(&subj->mtx);
524 return (0);
525 }
526 }
527 bzero(&subj->mac_lomac, sizeof(subj->mac_lomac));
528 /*
529 * Always demote the single label.
530 */
531 mac_lomac_copy_single(objlabel, &subj->mac_lomac);
532 /*
533 * Start with the original range, then minimize each side of
534 * the range to the point of not dominating the object. The
535 * high side will always be demoted, of course.
536 */
537 mac_lomac_copy_range(subjlabel, &subj->mac_lomac);
538 if (!mac_lomac_dominate_element(&objlabel->ml_single,
539 &subj->mac_lomac.ml_rangelow))
540 subj->mac_lomac.ml_rangelow = objlabel->ml_single;
541 subj->mac_lomac.ml_rangehigh = objlabel->ml_single;
542 subj->mac_lomac.ml_flags |= MAC_LOMAC_FLAG_UPDATE;
543 thread_lock(curthread);
544 curthread->td_flags |= TDF_ASTPENDING | TDF_MACPEND;
545 thread_unlock(curthread);
546
547 /*
548 * Avoid memory allocation while holding a mutex; cache the
549 * label.
550 */
551 mac_lomac_copy_single(&subj->mac_lomac, &cached_subjlabel);
552 mtx_unlock(&subj->mtx);
553
554 sbuf_new(&subjlabel_sb, NULL, 0, SBUF_AUTOEXTEND);
555 mac_lomac_to_string(&subjlabel_sb, subjlabel);
556 sbuf_finish(&subjlabel_sb);
557 subjlabeltext = sbuf_data(&subjlabel_sb);
558
559 sbuf_new(&subjtext_sb, NULL, 0, SBUF_AUTOEXTEND);
560 mac_lomac_to_string(&subjtext_sb, &subj->mac_lomac);
561 sbuf_finish(&subjtext_sb);
562 subjtext = sbuf_data(&subjtext_sb);
563
564 sbuf_new(&objlabel_sb, NULL, 0, SBUF_AUTOEXTEND);
565 mac_lomac_to_string(&objlabel_sb, objlabel);
566 sbuf_finish(&objlabel_sb);
567 objlabeltext = sbuf_data(&objlabel_sb);
568
569 pgid = p->p_pgrp->pg_id; /* XXX could be stale? */
570 if (vp != NULL && VOP_GETATTR(vp, &va, curthread->td_ucred,
571 curthread) == 0) {
572 log(LOG_INFO, "LOMAC: level-%s subject p%dg%du%d:%s demoted to"
573 " level %s after %s a level-%s %s (inode=%ld, "

--- 11 unchanged lines hidden (view full) ---

585 sbuf_delete(&subjlabel_sb);
586 sbuf_delete(&subjtext_sb);
587 sbuf_delete(&objlabel_sb);
588
589 return (0);
590}
591
592/*
593 * Relabel "to" to "from" only if "from" is a valid label (contains
594 * at least a single), as for a relabel operation which may or may
595 * not involve a relevant label.
596 */
597static void
598try_relabel(struct mac_lomac *from, struct mac_lomac *to)
599{
600
601 if (from->ml_flags & MAC_LOMAC_FLAG_SINGLE) {
602 bzero(to, sizeof(*to));
603 mac_lomac_copy(from, to);
604 }
605}
606
607/*
608 * Policy module operations.
609 */
610static void
611mac_lomac_init(struct mac_policy_conf *conf)
612{
613
614}
615
616/*
617 * Label operations.
618 */
619static void
620mac_lomac_init_label(struct label *label)
621{
622
623 SLOT_SET(label, lomac_alloc(M_WAITOK));
624}
625
626static int
627mac_lomac_init_label_waitcheck(struct label *label, int flag)
628{
629
630 SLOT_SET(label, lomac_alloc(flag));
631 if (SLOT(label) == NULL)
632 return (ENOMEM);
633
634 return (0);
635}
636
637static void
638mac_lomac_proc_init_label(struct label *label)
639{
640
641 PSLOT_SET(label, malloc(sizeof(struct mac_lomac_proc), M_MACLOMAC,
642 M_ZERO | M_WAITOK));
643 mtx_init(&PSLOT(label)->mtx, "MAC/Lomac proc lock", NULL, MTX_DEF);
644}
645
646static void
647mac_lomac_destroy_label(struct label *label)
648{
649
650 lomac_free(SLOT(label));
651 SLOT_SET(label, NULL);
652}
653
654static void
655mac_lomac_proc_destroy_label(struct label *label)
656{
657
658 mtx_destroy(&PSLOT(label)->mtx);
659 FREE(PSLOT(label), M_MACLOMAC);
660 PSLOT_SET(label, NULL);
661}
662
663static int
664mac_lomac_element_to_string(struct sbuf *sb, struct mac_lomac_element *element)
665{
666
667 switch (element->mle_type) {
668 case MAC_LOMAC_TYPE_HIGH:
669 return (sbuf_printf(sb, "high"));
670
671 case MAC_LOMAC_TYPE_LOW:
672 return (sbuf_printf(sb, "low"));
673
674 case MAC_LOMAC_TYPE_EQUAL:
675 return (sbuf_printf(sb, "equal"));
676
677 case MAC_LOMAC_TYPE_GRADE:
678 return (sbuf_printf(sb, "%d", element->mle_grade));
679
680 default:
681 panic("mac_lomac_element_to_string: invalid type (%d)",
682 element->mle_type);
683 }
684}
685
686static int
687mac_lomac_to_string(struct sbuf *sb, struct mac_lomac *mac_lomac)
688{
689
690 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_SINGLE) {
691 if (mac_lomac_element_to_string(sb, &mac_lomac->ml_single)
692 == -1)
693 return (EINVAL);
694 }
695
696 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_AUX) {
697 if (sbuf_putc(sb, '[') == -1)
698 return (EINVAL);
699
700 if (mac_lomac_element_to_string(sb, &mac_lomac->ml_auxsingle)
701 == -1)
702 return (EINVAL);
703
704 if (sbuf_putc(sb, ']') == -1)
705 return (EINVAL);
706 }
707
708 if (mac_lomac->ml_flags & MAC_LOMAC_FLAG_RANGE) {
709 if (sbuf_putc(sb, '(') == -1)
710 return (EINVAL);
711
712 if (mac_lomac_element_to_string(sb, &mac_lomac->ml_rangelow)
713 == -1)
714 return (EINVAL);
715
716 if (sbuf_putc(sb, '-') == -1)
717 return (EINVAL);
718
719 if (mac_lomac_element_to_string(sb, &mac_lomac->ml_rangehigh)
720 == -1)
721 return (EINVAL);
722
723 if (sbuf_putc(sb, ')') == -1)
724 return (EINVAL);
725 }
726
727 return (0);
728}
729
730static int
731mac_lomac_externalize_label(struct label *label, char *element_name,
732 struct sbuf *sb, int *claimed)
733{
734 struct mac_lomac *mac_lomac;
735
736 if (strcmp(MAC_LOMAC_LABEL_NAME, element_name) != 0)
737 return (0);
738
739 (*claimed)++;
740
741 mac_lomac = SLOT(label);
742
743 return (mac_lomac_to_string(sb, mac_lomac));
744}
745
746static int
747mac_lomac_parse_element(struct mac_lomac_element *element, char *string)
748{
749
750 if (strcmp(string, "high") == 0 ||
751 strcmp(string, "hi") == 0) {
752 element->mle_type = MAC_LOMAC_TYPE_HIGH;
753 element->mle_grade = MAC_LOMAC_TYPE_UNDEF;
754 } else if (strcmp(string, "low") == 0 ||
755 strcmp(string, "lo") == 0) {
756 element->mle_type = MAC_LOMAC_TYPE_LOW;
757 element->mle_grade = MAC_LOMAC_TYPE_UNDEF;
758 } else if (strcmp(string, "equal") == 0 ||
759 strcmp(string, "eq") == 0) {
760 element->mle_type = MAC_LOMAC_TYPE_EQUAL;
761 element->mle_grade = MAC_LOMAC_TYPE_UNDEF;
762 } else {
763 char *p0, *p1;
764 int d;
765
766 p0 = string;
767 d = strtol(p0, &p1, 10);

--- 6 unchanged lines hidden (view full) ---

774 if (p1 == p0 || *p1 != '\0')
775 return (EINVAL);
776 }
777
778 return (0);
779}
780
781/*
782 * Note: destructively consumes the string, make a local copy before
783 * calling if that's a problem.
784 */
785static int
786mac_lomac_parse(struct mac_lomac *mac_lomac, char *string)
787{
788 char *range, *rangeend, *rangehigh, *rangelow, *single, *auxsingle,
789 *auxsingleend;
790 int error;
791
792 /* Do we have a range? */
793 single = string;
794 range = index(string, '(');

--- 22 unchanged lines hidden (view full) ---

817 if (*(rangeend + 1) != '\0')
818 return (EINVAL);
819 /* Nul terminate the ends of the ranges. */
820 *(rangehigh - 1) = '\0';
821 *rangeend = '\0';
822 }
823 KASSERT((rangelow != NULL && rangehigh != NULL) ||
824 (rangelow == NULL && rangehigh == NULL),
825 ("mac_lomac_internalize_label: range mismatch"));
826 if (auxsingle != NULL) {
827 /* Nul terminate the end of the single string. */
828 *auxsingle = '\0';
829 auxsingle++;
830 auxsingleend = index(auxsingle, ']');
831 if (auxsingleend == NULL)
832 return (EINVAL);
833 if (*(auxsingleend + 1) != '\0')
834 return (EINVAL);
835 /* Nul terminate the end of the auxsingle. */
836 *auxsingleend = '\0';
837 }
838
839 bzero(mac_lomac, sizeof(*mac_lomac));
840 if (single != NULL) {
841 error = mac_lomac_parse_element(&mac_lomac->ml_single, single);
842 if (error)
843 return (error);
844 mac_lomac->ml_flags |= MAC_LOMAC_FLAG_SINGLE;
845 }
846
847 if (auxsingle != NULL) {
848 error = mac_lomac_parse_element(&mac_lomac->ml_auxsingle,
849 auxsingle);
850 if (error)
851 return (error);
852 mac_lomac->ml_flags |= MAC_LOMAC_FLAG_AUX;
853 }
854
855 if (rangelow != NULL) {
856 error = mac_lomac_parse_element(&mac_lomac->ml_rangelow,
857 rangelow);
858 if (error)
859 return (error);
860 error = mac_lomac_parse_element(&mac_lomac->ml_rangehigh,
861 rangehigh);
862 if (error)
863 return (error);
864 mac_lomac->ml_flags |= MAC_LOMAC_FLAG_RANGE;
865 }
866
867 error = mac_lomac_valid(mac_lomac);
868 if (error)
869 return (error);
870
871 return (0);
872}
873
874static int
875mac_lomac_internalize_label(struct label *label, char *element_name,
876 char *element_data, int *claimed)
877{
878 struct mac_lomac *mac_lomac, mac_lomac_temp;
879 int error;
880
881 if (strcmp(MAC_LOMAC_LABEL_NAME, element_name) != 0)
882 return (0);
883
884 (*claimed)++;
885
886 error = mac_lomac_parse(&mac_lomac_temp, element_data);
887 if (error)
888 return (error);
889
890 mac_lomac = SLOT(label);
891 *mac_lomac = mac_lomac_temp;
892
893 return (0);
894}
895
896static void
897mac_lomac_copy_label(struct label *src, struct label *dest)
898{
899
900 *SLOT(dest) = *SLOT(src);
901}
902
903/*
904 * Labeling event operations: file system objects, and things that look
905 * a lot like file system objects.
906 */
907static void
908mac_lomac_devfs_create_device(struct ucred *cred, struct mount *mp,
909 struct cdev *dev, struct devfs_dirent *de, struct label *delabel)
910{
911 struct mac_lomac *mac_lomac;
912 int lomac_type;
913
914 mac_lomac = SLOT(delabel);
915 if (strcmp(dev->si_name, "null") == 0 ||
916 strcmp(dev->si_name, "zero") == 0 ||
917 strcmp(dev->si_name, "random") == 0 ||
918 strncmp(dev->si_name, "fd/", strlen("fd/")) == 0 ||
919 strncmp(dev->si_name, "ttyv", strlen("ttyv")) == 0)
920 lomac_type = MAC_LOMAC_TYPE_EQUAL;
921 else if (ptys_equal &&
922 (strncmp(dev->si_name, "ttyp", strlen("ttyp")) == 0 ||
923 strncmp(dev->si_name, "ptyp", strlen("ptyp")) == 0))
924 lomac_type = MAC_LOMAC_TYPE_EQUAL;
925 else
926 lomac_type = MAC_LOMAC_TYPE_HIGH;
927 mac_lomac_set_single(mac_lomac, lomac_type, 0);
928}
929
930static void
931mac_lomac_devfs_create_directory(struct mount *mp, char *dirname,
932 int dirnamelen, struct devfs_dirent *de, struct label *delabel)
933{
934 struct mac_lomac *mac_lomac;
935
936 mac_lomac = SLOT(delabel);
937 mac_lomac_set_single(mac_lomac, MAC_LOMAC_TYPE_HIGH, 0);
938}
939
940static void
941mac_lomac_devfs_create_symlink(struct ucred *cred, struct mount *mp,
942 struct devfs_dirent *dd, struct label *ddlabel, struct devfs_dirent *de,
943 struct label *delabel)
944{
945 struct mac_lomac *source, *dest;
946
947 source = SLOT(cred->cr_label);
948 dest = SLOT(delabel);
949
950 mac_lomac_copy_single(source, dest);
951}
952
953static void
954mac_lomac_mount_create(struct ucred *cred, struct mount *mp,
955 struct label *mplabel)
956{
957 struct mac_lomac *source, *dest;
958
959 source = SLOT(cred->cr_label);
960 dest = SLOT(mplabel);
961 mac_lomac_copy_single(source, dest);
962}
963
964static void
965mac_lomac_vnode_relabel(struct ucred *cred, struct vnode *vp,
966 struct label *vplabel, struct label *newlabel)
967{
968 struct mac_lomac *source, *dest;
969
970 source = SLOT(newlabel);
971 dest = SLOT(vplabel);
972
973 try_relabel(source, dest);
974}
975
976static void
977mac_lomac_devfs_update(struct mount *mp, struct devfs_dirent *de,
978 struct label *delabel, struct vnode *vp, struct label *vplabel)
979{
980 struct mac_lomac *source, *dest;
981
982 source = SLOT(vplabel);
983 dest = SLOT(delabel);
984
985 mac_lomac_copy(source, dest);
986}
987
988static void
989mac_lomac_devfs_vnode_associate(struct mount *mp, struct label *mplabel,
990 struct devfs_dirent *de, struct label *delabel, struct vnode *vp,
991 struct label *vplabel)
992{
993 struct mac_lomac *source, *dest;
994
995 source = SLOT(delabel);
996 dest = SLOT(vplabel);
997
998 mac_lomac_copy_single(source, dest);
999}
1000
1001static int
1002mac_lomac_vnode_associate_extattr(struct mount *mp, struct label *mplabel,
1003 struct vnode *vp, struct label *vplabel)
1004{
1005 struct mac_lomac temp, *source, *dest;
1006 int buflen, error;
1007
1008 source = SLOT(mplabel);
1009 dest = SLOT(vplabel);
1010
1011 buflen = sizeof(temp);
1012 bzero(&temp, buflen);
1013
1014 error = vn_extattr_get(vp, IO_NODELOCKED, MAC_LOMAC_EXTATTR_NAMESPACE,
1015 MAC_LOMAC_EXTATTR_NAME, &buflen, (char *)&temp, curthread);
1016 if (error == ENOATTR || error == EOPNOTSUPP) {
1017 /* Fall back to the mntlabel. */
1018 mac_lomac_copy_single(source, dest);
1019 return (0);
1020 } else if (error)
1021 return (error);
1022
1023 if (buflen != sizeof(temp)) {
1024 if (buflen != sizeof(temp) - sizeof(temp.ml_auxsingle)) {
1025 printf("mac_lomac_vnode_associate_extattr: bad size %d\n",
1026 buflen);
1027 return (EPERM);
1028 }
1029 bzero(&temp.ml_auxsingle, sizeof(temp.ml_auxsingle));
1030 buflen = sizeof(temp);
1031 (void)vn_extattr_set(vp, IO_NODELOCKED,
1032 MAC_LOMAC_EXTATTR_NAMESPACE, MAC_LOMAC_EXTATTR_NAME,
1033 buflen, (char *)&temp, curthread);
1034 }
1035 if (mac_lomac_valid(&temp) != 0) {
1036 printf("mac_lomac_vnode_associate_extattr: invalid\n");
1037 return (EPERM);
1038 }
1039 if ((temp.ml_flags & MAC_LOMAC_FLAGS_BOTH) != MAC_LOMAC_FLAG_SINGLE) {
1040 printf("mac_lomac_vnode_associate_extattr: not single\n");
1041 return (EPERM);
1042 }
1043
1044 mac_lomac_copy_single(&temp, dest);
1045 return (0);
1046}
1047
1048static void
1049mac_lomac_vnode_associate_singlelabel(struct mount *mp,
1050 struct label *mplabel, struct vnode *vp, struct label *vplabel)
1051{
1052 struct mac_lomac *source, *dest;
1053
1054 source = SLOT(mplabel);
1055 dest = SLOT(vplabel);
1056
1057 mac_lomac_copy_single(source, dest);
1058}
1059
1060static int
1061mac_lomac_vnode_create_extattr(struct ucred *cred, struct mount *mp,
1062 struct label *mplabel, struct vnode *dvp, struct label *dvplabel,
1063 struct vnode *vp, struct label *vplabel, struct componentname *cnp)
1064{
1065 struct mac_lomac *source, *dest, *dir, temp;
1066 size_t buflen;
1067 int error;
1068
1069 buflen = sizeof(temp);
1070 bzero(&temp, buflen);
1071
1072 source = SLOT(cred->cr_label);
1073 dest = SLOT(vplabel);
1074 dir = SLOT(dvplabel);
1075 if (dir->ml_flags & MAC_LOMAC_FLAG_AUX) {
1076 mac_lomac_copy_auxsingle(dir, &temp);
1077 mac_lomac_set_single(&temp, dir->ml_auxsingle.mle_type,
1078 dir->ml_auxsingle.mle_grade);
1079 } else {
1080 mac_lomac_copy_single(source, &temp);
1081 }
1082
1083 error = vn_extattr_set(vp, IO_NODELOCKED, MAC_LOMAC_EXTATTR_NAMESPACE,
1084 MAC_LOMAC_EXTATTR_NAME, buflen, (char *)&temp, curthread);
1085 if (error == 0)
1086 mac_lomac_copy(&temp, dest);
1087 return (error);
1088}
1089
1090static int
1091mac_lomac_vnode_setlabel_extattr(struct ucred *cred, struct vnode *vp,
1092 struct label *vplabel, struct label *intlabel)
1093{
1094 struct mac_lomac *source, temp;
1095 size_t buflen;
1096 int error;
1097
1098 buflen = sizeof(temp);
1099 bzero(&temp, buflen);
1100
1101 source = SLOT(intlabel);
1102 if ((source->ml_flags & MAC_LOMAC_FLAG_SINGLE) == 0)
1103 return (0);
1104
1105 mac_lomac_copy_single(source, &temp);
1106 error = vn_extattr_set(vp, IO_NODELOCKED, MAC_LOMAC_EXTATTR_NAMESPACE,
1107 MAC_LOMAC_EXTATTR_NAME, buflen, (char *)&temp, curthread);
1108 return (error);
1109}
1110
1111/*
1112 * Labeling event operations: IPC object.
1113 */
1114static void
1115mac_lomac_inpcb_create(struct socket *so, struct label *solabel,
1116 struct inpcb *inp, struct label *inplabel)
1117{
1118 struct mac_lomac *source, *dest;
1119
1120 source = SLOT(solabel);
1121 dest = SLOT(inplabel);
1122
1123 mac_lomac_copy_single(source, dest);
1124}
1125
1126static void
1127mac_lomac_socket_create_mbuf(struct socket *so, struct label *solabel,
1128 struct mbuf *m, struct label *mlabel)
1129{
1130 struct mac_lomac *source, *dest;
1131
1132 source = SLOT(solabel);
1133 dest = SLOT(mlabel);
1134
1135 mac_lomac_copy_single(source, dest);
1136}
1137
1138static void
1139mac_lomac_socket_create(struct ucred *cred, struct socket *so,
1140 struct label *solabel)
1141{
1142 struct mac_lomac *source, *dest;
1143
1144 source = SLOT(cred->cr_label);
1145 dest = SLOT(solabel);
1146
1147 mac_lomac_copy_single(source, dest);
1148}
1149
1150static void
1151mac_lomac_pipe_create(struct ucred *cred, struct pipepair *pp,
1152 struct label *pplabel)
1153{
1154 struct mac_lomac *source, *dest;
1155
1156 source = SLOT(cred->cr_label);
1157 dest = SLOT(pplabel);
1158
1159 mac_lomac_copy_single(source, dest);
1160}
1161
1162static void
1163mac_lomac_socket_newconn(struct socket *oldso, struct label *oldsolabel,
1164 struct socket *newso, struct label *newsolabel)
1165{
1166 struct mac_lomac *source, *dest;
1167
1168 source = SLOT(oldsolabel);
1169 dest = SLOT(newsolabel);
1170
1171 mac_lomac_copy_single(source, dest);
1172}
1173
1174static void
1175mac_lomac_socket_relabel(struct ucred *cred, struct socket *so,
1176 struct label *solabel, struct label *newlabel)
1177{
1178 struct mac_lomac *source, *dest;
1179
1180 source = SLOT(newlabel);
1181 dest = SLOT(solabel);
1182
1183 try_relabel(source, dest);
1184}
1185
1186static void
1187mac_lomac_pipe_relabel(struct ucred *cred, struct pipepair *pp,
1188 struct label *pplabel, struct label *newlabel)
1189{
1190 struct mac_lomac *source, *dest;
1191
1192 source = SLOT(newlabel);
1193 dest = SLOT(pplabel);
1194
1195 try_relabel(source, dest);
1196}
1197
1198static void
1199mac_lomac_socketpeer_set_from_mbuf(struct mbuf *m, struct label *mlabel,
1200 struct socket *so, struct label *sopeerlabel)
1201{
1202 struct mac_lomac *source, *dest;
1203
1204 source = SLOT(mlabel);
1205 dest = SLOT(sopeerlabel);
1206
1207 mac_lomac_copy_single(source, dest);
1208}
1209
1210/*
1211 * Labeling event operations: network objects.
1212 */
1213static void
1214mac_lomac_socketpeer_set_from_socket(struct socket *oldso,
1215 struct label *oldsolabel, struct socket *newso,
1216 struct label *newsopeerlabel)
1217{
1218 struct mac_lomac *source, *dest;
1219
1220 source = SLOT(oldsolabel);
1221 dest = SLOT(newsopeerlabel);
1222
1223 mac_lomac_copy_single(source, dest);
1224}
1225
1226static void
1227mac_lomac_bpfdesc_create(struct ucred *cred, struct bpf_d *d,
1228 struct label *dlabel)
1229{
1230 struct mac_lomac *source, *dest;
1231
1232 source = SLOT(cred->cr_label);
1233 dest = SLOT(dlabel);
1234
1235 mac_lomac_copy_single(source, dest);
1236}
1237
1238static void
1239mac_lomac_ifnet_create(struct ifnet *ifp, struct label *ifplabel)
1240{
1241 char tifname[IFNAMSIZ], *p, *q;
1242 char tiflist[sizeof(trusted_interfaces)];
1243 struct mac_lomac *dest;
1244 int len, grade;
1245
1246 dest = SLOT(ifplabel);
1247

--- 36 unchanged lines hidden (view full) ---

1284 q, IFNAMSIZ);
1285 }
1286 if (*p == '\0')
1287 break;
1288 q = p + 1;
1289 }
1290 }
1291set:
1292 mac_lomac_set_single(dest, grade, 0);
1293 mac_lomac_set_range(dest, grade, 0, grade, 0);
1294}
1295
1296static void
1297mac_lomac_ipq_create(struct mbuf *m, struct label *mlabel, struct ipq *ipq,
1298 struct label *ipqlabel)
1299{
1300 struct mac_lomac *source, *dest;
1301
1302 source = SLOT(mlabel);
1303 dest = SLOT(ipqlabel);
1304
1305 mac_lomac_copy_single(source, dest);
1306}
1307
1308static void
1309mac_lomac_ipq_reassemble(struct ipq *ipq, struct label *ipqlabel,
1310 struct mbuf *m, struct label *mlabel)
1311{
1312 struct mac_lomac *source, *dest;
1313
1314 source = SLOT(ipqlabel);
1315 dest = SLOT(mlabel);
1316
1317 /* Just use the head, since we require them all to match. */
1318 mac_lomac_copy_single(source, dest);
1319}
1320
1321static void
1322mac_lomac_netinet_fragment(struct mbuf *m, struct label *mlabel,
1323 struct mbuf *frag, struct label *fraglabel)
1324{
1325 struct mac_lomac *source, *dest;
1326
1327 source = SLOT(mlabel);
1328 dest = SLOT(fraglabel);
1329
1330 mac_lomac_copy_single(source, dest);
1331}
1332
1333static void
1334mac_lomac_inpcb_create_mbuf(struct inpcb *inp, struct label *inplabel,
1335 struct mbuf *m, struct label *mlabel)
1336{
1337 struct mac_lomac *source, *dest;
1338
1339 source = SLOT(inplabel);
1340 dest = SLOT(mlabel);
1341
1342 mac_lomac_copy_single(source, dest);
1343}
1344
1345static void
1346mac_lomac_create_mbuf_linklayer(struct ifnet *ifp, struct label *ifplabel,
1347 struct mbuf *m, struct label *mlabel)
1348{
1349 struct mac_lomac *dest;
1350
1351 dest = SLOT(mlabel);
1352
1353 mac_lomac_set_single(dest, MAC_LOMAC_TYPE_EQUAL, 0);
1354}
1355
1356static void
1357mac_lomac_bpfdesc_create_mbuf(struct bpf_d *d, struct label *dlabel,
1358 struct mbuf *m, struct label *mlabel)
1359{
1360 struct mac_lomac *source, *dest;
1361
1362 source = SLOT(dlabel);
1363 dest = SLOT(mlabel);
1364
1365 mac_lomac_copy_single(source, dest);
1366}
1367
1368static void
1369mac_lomac_ifnet_create_mbuf(struct ifnet *ifp, struct label *ifplabel,
1370 struct mbuf *m, struct label *mlabel)
1371{
1372 struct mac_lomac *source, *dest;
1373
1374 source = SLOT(ifplabel);
1375 dest = SLOT(mlabel);
1376
1377 mac_lomac_copy_single(source, dest);
1378}
1379
1380static void
1381mac_lomac_mbuf_create_multicast_encap(struct mbuf *m, struct label *mlabel,
1382 struct ifnet *ifp, struct label *ifplabel, struct mbuf *mnew,
1383 struct label *mnewlabel)
1384{
1385 struct mac_lomac *source, *dest;
1386
1387 source = SLOT(mlabel);
1388 dest = SLOT(mnewlabel);
1389
1390 mac_lomac_copy_single(source, dest);
1391}
1392
1393static void
1394mac_lomac_mbuf_create_netlayer(struct mbuf *m, struct label *mlabel,
1395 struct mbuf *mnew, struct label *mnewlabel)
1396{
1397 struct mac_lomac *source, *dest;
1398
1399 source = SLOT(mlabel);
1400 dest = SLOT(mnewlabel);
1401
1402 mac_lomac_copy_single(source, dest);
1403}
1404
1405static int
1406mac_lomac_ipq_match(struct mbuf *m, struct label *mlabel, struct ipq *ipq,
1407 struct label *ipqlabel)
1408{
1409 struct mac_lomac *a, *b;
1410
1411 a = SLOT(ipqlabel);
1412 b = SLOT(mlabel);
1413
1414 return (mac_lomac_equal_single(a, b));
1415}
1416
1417static void
1418mac_lomac_ifnet_relabel(struct ucred *cred, struct ifnet *ifp,
1419 struct label *ifplabel, struct label *newlabel)
1420{
1421 struct mac_lomac *source, *dest;
1422
1423 source = SLOT(newlabel);
1424 dest = SLOT(ifplabel);
1425
1426 try_relabel(source, dest);
1427}
1428
1429static void
1430mac_lomac_ipq_update(struct mbuf *m, struct label *mlabel, struct ipq *ipq,
1431 struct label *ipqlabel)
1432{
1433
1434 /* NOOP: we only accept matching labels, so no need to update */
1435}
1436
1437static void
1438mac_lomac_inpcb_sosetlabel(struct socket *so, struct label *solabel,
1439 struct inpcb *inp, struct label *inplabel)
1440{
1441 struct mac_lomac *source, *dest;
1442
1443 source = SLOT(solabel);
1444 dest = SLOT(inplabel);
1445
1446 mac_lomac_copy_single(source, dest);
1447}
1448
1449static void
1450mac_lomac_init_syncache_from_inpcb(struct label *label, struct inpcb *inp)
1451{
1452 struct mac_lomac *source, *dest;
1453
1454 source = SLOT(inp->inp_label);
1455 dest = SLOT(label);
1456 mac_lomac_copy(source, dest);
1457}
1458
1459static void
1460mac_lomac_create_mbuf_from_syncache(struct label *sc_label, struct mbuf *m,
1461 struct label *mlabel)
1462{
1463 struct mac_lomac *source, *dest;
1464
1465 source = SLOT(sc_label);
1466 dest = SLOT(mlabel);
1467 mac_lomac_copy(source, dest);
1468}
1469
1470static void
1471mac_lomac_mbuf_create_from_firewall(struct mbuf *m, struct label *mlabel)
1472{
1473 struct mac_lomac *dest;
1474
1475 dest = SLOT(mlabel);
1476
1477 /* XXX: where is the label for the firewall really comming from? */
1478 mac_lomac_set_single(dest, MAC_LOMAC_TYPE_EQUAL, 0);
1479}
1480
1481/*
1482 * Labeling event operations: processes.
1483 */
1484static void
1485mac_lomac_vnode_execve_transition(struct ucred *old, struct ucred *new,
1486 struct vnode *vp, struct label *vplabel, struct label *interpvplabel,
1487 struct image_params *imgp, struct label *execlabel)
1488{
1489 struct mac_lomac *source, *dest, *obj, *robj;
1490
1491 source = SLOT(old->cr_label);
1492 dest = SLOT(new->cr_label);
1493 obj = SLOT(vplabel);
1494 robj = interpvplabel != NULL ? SLOT(interpvplabel) : obj;
1495
1496 mac_lomac_copy(source, dest);
1497 /*
1498 * If there's an auxiliary label on the real object, respect it
1499 * and assume that this level should be assumed immediately if
1500 * a higher level is currently in place.
1501 */
1502 if (robj->ml_flags & MAC_LOMAC_FLAG_AUX &&
1503 !mac_lomac_dominate_element(&robj->ml_auxsingle, &dest->ml_single)
1504 && mac_lomac_auxsingle_in_range(robj, dest))
1505 mac_lomac_set_single(dest, robj->ml_auxsingle.mle_type,
1506 robj->ml_auxsingle.mle_grade);
1507 /*
1508 * Restructuring to use the execve transitioning mechanism
1509 * instead of the normal demotion mechanism here would be
1510 * difficult, so just copy the label over and perform standard
1511 * demotion. This is also non-optimal because it will result
1512 * in the intermediate label "new" being created and immediately
1513 * recycled.
1514 */
1515 if (mac_lomac_enabled && revocation_enabled &&
1516 !mac_lomac_dominate_single(obj, source))
1517 (void)maybe_demote(source, obj, "executing", "file", vp);
1518}
1519
1520static int
1521mac_lomac_vnode_execve_will_transition(struct ucred *old, struct vnode *vp,
1522 struct label *vplabel, struct label *interpvplabel,
1523 struct image_params *imgp, struct label *execlabel)
1524{
1525 struct mac_lomac *subj, *obj, *robj;
1526
1527 if (!mac_lomac_enabled || !revocation_enabled)
1528 return (0);
1529
1530 subj = SLOT(old->cr_label);
1531 obj = SLOT(vplabel);
1532 robj = interpvplabel != NULL ? SLOT(interpvplabel) : obj;
1533
1534 return ((robj->ml_flags & MAC_LOMAC_FLAG_AUX &&
1535 !mac_lomac_dominate_element(&robj->ml_auxsingle, &subj->ml_single)
1536 && mac_lomac_auxsingle_in_range(robj, subj)) ||
1537 !mac_lomac_dominate_single(obj, subj));
1538}
1539
1540static void
1541mac_lomac_proc_create_swapper(struct ucred *cred)
1542{
1543 struct mac_lomac *dest;
1544
1545 dest = SLOT(cred->cr_label);
1546
1547 mac_lomac_set_single(dest, MAC_LOMAC_TYPE_EQUAL, 0);
1548 mac_lomac_set_range(dest, MAC_LOMAC_TYPE_LOW, 0, MAC_LOMAC_TYPE_HIGH,
1549 0);
1550}
1551
1552static void
1553mac_lomac_proc_create_init(struct ucred *cred)
1554{
1555 struct mac_lomac *dest;
1556
1557 dest = SLOT(cred->cr_label);
1558
1559 mac_lomac_set_single(dest, MAC_LOMAC_TYPE_HIGH, 0);
1560 mac_lomac_set_range(dest, MAC_LOMAC_TYPE_LOW, 0, MAC_LOMAC_TYPE_HIGH,
1561 0);
1562}
1563
1564static void
1565mac_lomac_cred_relabel(struct ucred *cred, struct label *newlabel)
1566{
1567 struct mac_lomac *source, *dest;
1568
1569 source = SLOT(newlabel);
1570 dest = SLOT(cred->cr_label);
1571
1572 try_relabel(source, dest);
1573}
1574
1575/*
1576 * Access control checks.
1577 */
1578static int
1579mac_lomac_bpfdesc_check_receive(struct bpf_d *d, struct label *dlabel,
1580 struct ifnet *ifp, struct label *ifplabel)
1581{
1582 struct mac_lomac *a, *b;
1583
1584 if (!mac_lomac_enabled)
1585 return (0);
1586
1587 a = SLOT(dlabel);
1588 b = SLOT(ifplabel);
1589
1590 if (mac_lomac_equal_single(a, b))
1591 return (0);
1592 return (EACCES);
1593}
1594
1595static int
1596mac_lomac_cred_check_relabel(struct ucred *cred, struct label *newlabel)
1597{
1598 struct mac_lomac *subj, *new;
1599 int error;
1600
1601 subj = SLOT(cred->cr_label);
1602 new = SLOT(newlabel);
1603
1604 /*
1605 * If there is a LOMAC label update for the credential, it may
1606 * be an update of the single, range, or both.
1607 */
1608 error = lomac_atmostflags(new, MAC_LOMAC_FLAGS_BOTH);
1609 if (error)
1610 return (error);
1611
1612 /*
1613 * If the LOMAC label is to be changed, authorize as appropriate.
1614 */
1615 if (new->ml_flags & MAC_LOMAC_FLAGS_BOTH) {
1616 /*
1617 * Fill in the missing parts from the previous label.
1618 */
1619 if ((new->ml_flags & MAC_LOMAC_FLAG_SINGLE) == 0)
1620 mac_lomac_copy_single(subj, new);
1621 if ((new->ml_flags & MAC_LOMAC_FLAG_RANGE) == 0)
1622 mac_lomac_copy_range(subj, new);
1623
1624 /*
1625 * To change the LOMAC range on a credential, the new
1626 * range label must be in the current range.
1627 */
1628 if (!mac_lomac_range_in_range(new, subj))
1629 return (EPERM);
1630
1631 /*
1632 * To change the LOMAC single label on a credential, the
1633 * new single label must be in the new range. Implicitly
1634 * from the previous check, the new single is in the old
1635 * range.
1636 */
1637 if (!mac_lomac_single_in_range(new, new))
1638 return (EPERM);
1639
1640 /*
1641 * To have EQUAL in any component of the new credential
1642 * LOMAC label, the subject must already have EQUAL in
1643 * their label.
1644 */
1645 if (mac_lomac_contains_equal(new)) {
1646 error = mac_lomac_subject_privileged(subj);
1647 if (error)
1648 return (error);
1649 }
1650
1651 /*
1652 * XXXMAC: Additional consistency tests regarding the
1653 * single and range of the new label might be performed
1654 * here.
1655 */
1656 }
1657
1658 return (0);
1659}
1660
1661static int
1662mac_lomac_cred_check_visible(struct ucred *cr1, struct ucred *cr2)
1663{
1664 struct mac_lomac *subj, *obj;
1665
1666 if (!mac_lomac_enabled)
1667 return (0);
1668
1669 subj = SLOT(cr1->cr_label);
1670 obj = SLOT(cr2->cr_label);
1671
1672 /* XXX: range */
1673 if (!mac_lomac_dominate_single(obj, subj))
1674 return (ESRCH);
1675
1676 return (0);
1677}
1678
1679static int
1680mac_lomac_ifnet_check_relabel(struct ucred *cred, struct ifnet *ifp,
1681 struct label *ifplabel, struct label *newlabel)
1682{
1683 struct mac_lomac *subj, *new;
1684 int error;
1685
1686 subj = SLOT(cred->cr_label);
1687 new = SLOT(newlabel);
1688
1689 /*
1690 * If there is a LOMAC label update for the interface, it may
1691 * be an update of the single, range, or both.
1692 */
1693 error = lomac_atmostflags(new, MAC_LOMAC_FLAGS_BOTH);
1694 if (error)
1695 return (error);
1696
1697 /*
1698 * Relabling network interfaces requires LOMAC privilege.
1699 */
1700 error = mac_lomac_subject_privileged(subj);
1701 if (error)
1702 return (error);
1703
1704 /*
1705 * If the LOMAC label is to be changed, authorize as appropriate.
1706 */
1707 if (new->ml_flags & MAC_LOMAC_FLAGS_BOTH) {
1708 /*
1709 * Fill in the missing parts from the previous label.
1710 */
1711 if ((new->ml_flags & MAC_LOMAC_FLAG_SINGLE) == 0)
1712 mac_lomac_copy_single(subj, new);
1713 if ((new->ml_flags & MAC_LOMAC_FLAG_RANGE) == 0)
1714 mac_lomac_copy_range(subj, new);
1715
1716 /*
1717 * Rely on the traditional superuser status for the LOMAC
1718 * interface relabel requirements. XXXMAC: This will go
1719 * away.
1720 *
1721 * XXXRW: This is also redundant to a higher layer check.
1722 */

--- 6 unchanged lines hidden (view full) ---

1729 * and the range of the new label might be performed here.
1730 */
1731 }
1732
1733 return (0);
1734}
1735
1736static int
1737mac_lomac_ifnet_check_transmit(struct ifnet *ifp, struct label *ifplabel,
1738 struct mbuf *m, struct label *mlabel)
1739{
1740 struct mac_lomac *p, *i;
1741
1742 if (!mac_lomac_enabled)
1743 return (0);
1744
1745 p = SLOT(mlabel);
1746 i = SLOT(ifplabel);
1747
1748 return (mac_lomac_single_in_range(p, i) ? 0 : EACCES);
1749}
1750
1751static int
1752mac_lomac_inpcb_check_deliver(struct inpcb *inp, struct label *inplabel,
1753 struct mbuf *m, struct label *mlabel)
1754{
1755 struct mac_lomac *p, *i;
1756
1757 if (!mac_lomac_enabled)
1758 return (0);
1759
1760 p = SLOT(mlabel);
1761 i = SLOT(inplabel);
1762
1763 return (mac_lomac_equal_single(p, i) ? 0 : EACCES);
1764}
1765
1766static int
1767mac_lomac_kld_check_load(struct ucred *cred, struct vnode *vp,
1768 struct label *vplabel)
1769{
1770 struct mac_lomac *subj, *obj;
1771
1772 if (!mac_lomac_enabled)
1773 return (0);
1774
1775 subj = SLOT(cred->cr_label);
1776 obj = SLOT(vplabel);
1777
1778 if (mac_lomac_subject_privileged(subj))
1779 return (EPERM);
1780
1781 if (!mac_lomac_high_single(obj))
1782 return (EACCES);
1783
1784 return (0);
1785}
1786
1787static int
1788mac_lomac_pipe_check_ioctl(struct ucred *cred, struct pipepair *pp,
1789 struct label *pplabel, unsigned long cmd, void /* caddr_t */ *data)
1790{
1791
1792 if (!mac_lomac_enabled)
1793 return (0);
1794
1795 /* XXX: This will be implemented soon... */
1796
1797 return (0);
1798}
1799
1800static int
1801mac_lomac_pipe_check_read(struct ucred *cred, struct pipepair *pp,
1802 struct label *pplabel)
1803{
1804 struct mac_lomac *subj, *obj;
1805
1806 if (!mac_lomac_enabled)
1807 return (0);
1808
1809 subj = SLOT(cred->cr_label);
1810 obj = SLOT(pplabel);
1811
1812 if (!mac_lomac_dominate_single(obj, subj))
1813 return (maybe_demote(subj, obj, "reading", "pipe", NULL));
1814
1815 return (0);
1816}
1817
1818static int
1819mac_lomac_pipe_check_relabel(struct ucred *cred, struct pipepair *pp,
1820 struct label *pplabel, struct label *newlabel)
1821{
1822 struct mac_lomac *subj, *obj, *new;
1823 int error;
1824
1825 new = SLOT(newlabel);
1826 subj = SLOT(cred->cr_label);
1827 obj = SLOT(pplabel);
1828
1829 /*
1830 * If there is a LOMAC label update for a pipe, it must be a
1831 * single update.
1832 */
1833 error = lomac_atmostflags(new, MAC_LOMAC_FLAG_SINGLE);
1834 if (error)
1835 return (error);
1836
1837 /*
1838 * To perform a relabel of a pipe (LOMAC label or not), LOMAC must
1839 * authorize the relabel.
1840 */
1841 if (!mac_lomac_single_in_range(obj, subj))
1842 return (EPERM);
1843
1844 /*
1845 * If the LOMAC label is to be changed, authorize as appropriate.
1846 */
1847 if (new->ml_flags & MAC_LOMAC_FLAG_SINGLE) {
1848 /*
1849 * To change the LOMAC label on a pipe, the new pipe label
1850 * must be in the subject range.
1851 */
1852 if (!mac_lomac_single_in_range(new, subj))
1853 return (EPERM);
1854
1855 /*
1856 * To change the LOMAC label on a pipe to be EQUAL, the
1857 * subject must have appropriate privilege.
1858 */
1859 if (mac_lomac_contains_equal(new)) {
1860 error = mac_lomac_subject_privileged(subj);
1861 if (error)
1862 return (error);
1863 }
1864 }
1865
1866 return (0);
1867}
1868
1869static int
1870mac_lomac_pipe_check_write(struct ucred *cred, struct pipepair *pp,
1871 struct label *pplabel)
1872{
1873 struct mac_lomac *subj, *obj;
1874
1875 if (!mac_lomac_enabled)
1876 return (0);
1877
1878 subj = SLOT(cred->cr_label);
1879 obj = SLOT(pplabel);
1880
1881 if (!mac_lomac_subject_dominate(subj, obj))
1882 return (EACCES);
1883
1884 return (0);
1885}
1886
1887static int
1888mac_lomac_proc_check_debug(struct ucred *cred, struct proc *p)
1889{
1890 struct mac_lomac *subj, *obj;
1891
1892 if (!mac_lomac_enabled)
1893 return (0);
1894
1895 subj = SLOT(cred->cr_label);
1896 obj = SLOT(p->p_ucred->cr_label);
1897
1898 /* XXX: range checks */
1899 if (!mac_lomac_dominate_single(obj, subj))
1900 return (ESRCH);
1901 if (!mac_lomac_subject_dominate(subj, obj))
1902 return (EACCES);
1903
1904 return (0);
1905}
1906
1907static int
1908mac_lomac_proc_check_sched(struct ucred *cred, struct proc *p)
1909{
1910 struct mac_lomac *subj, *obj;
1911
1912 if (!mac_lomac_enabled)
1913 return (0);
1914
1915 subj = SLOT(cred->cr_label);
1916 obj = SLOT(p->p_ucred->cr_label);
1917
1918 /* XXX: range checks */
1919 if (!mac_lomac_dominate_single(obj, subj))
1920 return (ESRCH);
1921 if (!mac_lomac_subject_dominate(subj, obj))
1922 return (EACCES);
1923
1924 return (0);
1925}
1926
1927static int
1928mac_lomac_proc_check_signal(struct ucred *cred, struct proc *p, int signum)
1929{
1930 struct mac_lomac *subj, *obj;
1931
1932 if (!mac_lomac_enabled)
1933 return (0);
1934
1935 subj = SLOT(cred->cr_label);
1936 obj = SLOT(p->p_ucred->cr_label);
1937
1938 /* XXX: range checks */
1939 if (!mac_lomac_dominate_single(obj, subj))
1940 return (ESRCH);
1941 if (!mac_lomac_subject_dominate(subj, obj))
1942 return (EACCES);
1943
1944 return (0);
1945}
1946
1947static int
1948mac_lomac_socket_check_deliver(struct socket *so, struct label *solabel,
1949 struct mbuf *m, struct label *mlabel)
1950{
1951 struct mac_lomac *p, *s;
1952
1953 if (!mac_lomac_enabled)
1954 return (0);
1955
1956 p = SLOT(mlabel);
1957 s = SLOT(solabel);
1958
1959 return (mac_lomac_equal_single(p, s) ? 0 : EACCES);
1960}
1961
1962static int
1963mac_lomac_socket_check_relabel(struct ucred *cred, struct socket *so,
1964 struct label *solabel, struct label *newlabel)
1965{
1966 struct mac_lomac *subj, *obj, *new;
1967 int error;
1968
1969 new = SLOT(newlabel);
1970 subj = SLOT(cred->cr_label);
1971 obj = SLOT(solabel);
1972
1973 /*
1974 * If there is a LOMAC label update for the socket, it may be
1975 * an update of single.
1976 */
1977 error = lomac_atmostflags(new, MAC_LOMAC_FLAG_SINGLE);
1978 if (error)
1979 return (error);
1980
1981 /*
1982 * To relabel a socket, the old socket single must be in the subject
1983 * range.
1984 */
1985 if (!mac_lomac_single_in_range(obj, subj))
1986 return (EPERM);
1987
1988 /*
1989 * If the LOMAC label is to be changed, authorize as appropriate.
1990 */
1991 if (new->ml_flags & MAC_LOMAC_FLAG_SINGLE) {
1992 /*
1993 * To relabel a socket, the new socket single must be in
1994 * the subject range.
1995 */
1996 if (!mac_lomac_single_in_range(new, subj))
1997 return (EPERM);
1998
1999 /*
2000 * To change the LOMAC label on the socket to contain EQUAL,
2001 * the subject must have appropriate privilege.
2002 */
2003 if (mac_lomac_contains_equal(new)) {
2004 error = mac_lomac_subject_privileged(subj);
2005 if (error)
2006 return (error);
2007 }
2008 }
2009
2010 return (0);
2011}
2012
2013static int
2014mac_lomac_socket_check_visible(struct ucred *cred, struct socket *so,
2015 struct label *solabel)
2016{
2017 struct mac_lomac *subj, *obj;
2018
2019 if (!mac_lomac_enabled)
2020 return (0);
2021
2022 subj = SLOT(cred->cr_label);
2023 obj = SLOT(solabel);
2024
2025 if (!mac_lomac_dominate_single(obj, subj))
2026 return (ENOENT);
2027
2028 return (0);
2029}
2030
2031/*
2032 * Some system privileges are allowed regardless of integrity grade; others
2033 * are allowed only when running with privilege with respect to the LOMAC
2034 * policy as they might otherwise allow bypassing of the integrity policy.
2035 */
2036static int
2037mac_lomac_priv_check(struct ucred *cred, int priv)
2038{
2039 struct mac_lomac *subj;
2040 int error;
2041
2042 if (!mac_lomac_enabled)
2043 return (0);
2044
2045 /*
2046 * Exempt only specific privileges from the LOMAC integrity policy.
2047 */
2048 switch (priv) {
2049 case PRIV_KTRACE:
2050 case PRIV_MSGBUF:

--- 154 unchanged lines hidden (view full) ---

2205 break;
2206
2207 /*
2208 * All remaining system privileges are allow only if the process
2209 * holds privilege with respect to the LOMAC policy.
2210 */
2211 default:
2212 subj = SLOT(cred->cr_label);
2213 error = mac_lomac_subject_privileged(subj);
2214 if (error)
2215 return (error);
2216 }
2217 return (0);
2218}
2219
2220
2221static int
2222mac_lomac_system_check_acct(struct ucred *cred, struct vnode *vp,
2223 struct label *vplabel)
2224{
2225 struct mac_lomac *subj, *obj;
2226
2227 if (!mac_lomac_enabled)
2228 return (0);
2229
2230 subj = SLOT(cred->cr_label);
2231 obj = SLOT(vplabel);
2232
2233 if (mac_lomac_subject_privileged(subj))
2234 return (EPERM);
2235
2236 if (!mac_lomac_high_single(obj))
2237 return (EACCES);
2238
2239 return (0);
2240}
2241
2242static int
2243mac_lomac_system_check_auditctl(struct ucred *cred, struct vnode *vp,
2244 struct label *vplabel)
2245{
2246 struct mac_lomac *subj, *obj;
2247
2248 if (!mac_lomac_enabled)
2249 return (0);
2250
2251 subj = SLOT(cred->cr_label);
2252 obj = SLOT(vplabel);
2253
2254 if (mac_lomac_subject_privileged(subj))
2255 return (EPERM);
2256
2257 if (!mac_lomac_high_single(obj))
2258 return (EACCES);
2259
2260 return (0);
2261}
2262
2263static int
2264mac_lomac_system_check_swapoff(struct ucred *cred, struct vnode *vp,
2265 struct label *vplabel)
2266{
2267 struct mac_lomac *subj;
2268
2269 if (!mac_lomac_enabled)
2270 return (0);
2271
2272 subj = SLOT(cred->cr_label);
2273
2274 if (mac_lomac_subject_privileged(subj))
2275 return (EPERM);
2276
2277 return (0);
2278}
2279
2280static int
2281mac_lomac_system_check_swapon(struct ucred *cred, struct vnode *vp,
2282 struct label *vplabel)
2283{
2284 struct mac_lomac *subj, *obj;
2285
2286 if (!mac_lomac_enabled)
2287 return (0);
2288
2289 subj = SLOT(cred->cr_label);
2290 obj = SLOT(vplabel);
2291
2292 if (mac_lomac_subject_privileged(subj))
2293 return (EPERM);
2294
2295 if (!mac_lomac_high_single(obj))
2296 return (EACCES);
2297
2298 return (0);
2299}
2300
2301static int
2302mac_lomac_system_check_sysctl(struct ucred *cred, struct sysctl_oid *oidp,
2303 void *arg1, int arg2, struct sysctl_req *req)
2304{
2305 struct mac_lomac *subj;
2306
2307 if (!mac_lomac_enabled)
2308 return (0);
2309
2310 subj = SLOT(cred->cr_label);
2311
2312 /*
2313 * Treat sysctl variables without CTLFLAG_ANYBODY flag as
2314 * lomac/high, but also require privilege to change them.
2315 */
2316 if (req->newptr != NULL && (oidp->oid_kind & CTLFLAG_ANYBODY) == 0) {
2317#ifdef notdef
2318 if (!mac_lomac_subject_dominate_high(subj))
2319 return (EACCES);
2320#endif
2321
2322 if (mac_lomac_subject_privileged(subj))
2323 return (EPERM);
2324 }
2325
2326 return (0);
2327}
2328
2329static int
2330mac_lomac_vnode_check_create(struct ucred *cred, struct vnode *dvp,
2331 struct label *dvplabel, struct componentname *cnp, struct vattr *vap)
2332{
2333 struct mac_lomac *subj, *obj;
2334
2335 if (!mac_lomac_enabled)
2336 return (0);
2337
2338 subj = SLOT(cred->cr_label);
2339 obj = SLOT(dvplabel);
2340
2341 if (!mac_lomac_subject_dominate(subj, obj))
2342 return (EACCES);
2343 if (obj->ml_flags & MAC_LOMAC_FLAG_AUX &&
2344 !mac_lomac_dominate_element(&subj->ml_single, &obj->ml_auxsingle))
2345 return (EACCES);
2346
2347 return (0);
2348}
2349
2350static int
2351mac_lomac_vnode_check_deleteacl(struct ucred *cred, struct vnode *vp,
2352 struct label *vplabel, acl_type_t type)
2353{
2354 struct mac_lomac *subj, *obj;
2355
2356 if (!mac_lomac_enabled)
2357 return (0);
2358
2359 subj = SLOT(cred->cr_label);
2360 obj = SLOT(vplabel);
2361
2362 if (!mac_lomac_subject_dominate(subj, obj))
2363 return (EACCES);
2364
2365 return (0);
2366}
2367
2368static int
2369mac_lomac_vnode_check_link(struct ucred *cred, struct vnode *dvp,
2370 struct label *dvplabel, struct vnode *vp, struct label *vplabel,
2371 struct componentname *cnp)
2372{
2373 struct mac_lomac *subj, *obj;
2374
2375 if (!mac_lomac_enabled)
2376 return (0);
2377
2378 subj = SLOT(cred->cr_label);
2379 obj = SLOT(dvplabel);
2380
2381 if (!mac_lomac_subject_dominate(subj, obj))
2382 return (EACCES);
2383
2384 obj = SLOT(vplabel);
2385
2386 if (!mac_lomac_subject_dominate(subj, obj))
2387 return (EACCES);
2388
2389 return (0);
2390}
2391
2392static int
2393mac_lomac_vnode_check_mmap(struct ucred *cred, struct vnode *vp,
2394 struct label *vplabel, int prot, int flags)
2395{
2396 struct mac_lomac *subj, *obj;
2397
2398 /*
2399 * Rely on the use of open()-time protections to handle
2400 * non-revocation cases.
2401 */
2402 if (!mac_lomac_enabled)
2403 return (0);
2404
2405 subj = SLOT(cred->cr_label);
2406 obj = SLOT(vplabel);
2407
2408 if (((prot & VM_PROT_WRITE) != 0) && ((flags & MAP_SHARED) != 0)) {
2409 if (!mac_lomac_subject_dominate(subj, obj))
2410 return (EACCES);
2411 }
2412 if (prot & (VM_PROT_READ | VM_PROT_EXECUTE)) {
2413 if (!mac_lomac_dominate_single(obj, subj))
2414 return (maybe_demote(subj, obj, "mapping", "file", vp));
2415 }
2416
2417 return (0);
2418}
2419
2420static void
2421mac_lomac_vnode_check_mmap_downgrade(struct ucred *cred, struct vnode *vp,
2422 struct label *vplabel, /* XXX vm_prot_t */ int *prot)
2423{
2424 struct mac_lomac *subj, *obj;
2425
2426 /*
2427 * Rely on the use of open()-time protections to handle
2428 * non-revocation cases.
2429 */
2430 if (!mac_lomac_enabled || !revocation_enabled)
2431 return;
2432
2433 subj = SLOT(cred->cr_label);
2434 obj = SLOT(vplabel);
2435
2436 if (!mac_lomac_subject_dominate(subj, obj))
2437 *prot &= ~VM_PROT_WRITE;
2438}
2439
2440static int
2441mac_lomac_vnode_check_open(struct ucred *cred, struct vnode *vp,
2442 struct label *vplabel, int acc_mode)
2443{
2444 struct mac_lomac *subj, *obj;
2445
2446 if (!mac_lomac_enabled)
2447 return (0);
2448
2449 subj = SLOT(cred->cr_label);
2450 obj = SLOT(vplabel);
2451
2452 /* XXX privilege override for admin? */
2453 if (acc_mode & (VWRITE | VAPPEND | VADMIN)) {
2454 if (!mac_lomac_subject_dominate(subj, obj))
2455 return (EACCES);
2456 }
2457
2458 return (0);
2459}
2460
2461static int
2462mac_lomac_vnode_check_read(struct ucred *active_cred, struct ucred *file_cred,
2463 struct vnode *vp, struct label *vplabel)
2464{
2465 struct mac_lomac *subj, *obj;
2466
2467 if (!mac_lomac_enabled || !revocation_enabled)
2468 return (0);
2469
2470 subj = SLOT(active_cred->cr_label);
2471 obj = SLOT(vplabel);
2472
2473 if (!mac_lomac_dominate_single(obj, subj))
2474 return (maybe_demote(subj, obj, "reading", "file", vp));
2475
2476 return (0);
2477}
2478
2479static int
2480mac_lomac_vnode_check_relabel(struct ucred *cred, struct vnode *vp,
2481 struct label *vplabel, struct label *newlabel)
2482{
2483 struct mac_lomac *old, *new, *subj;
2484 int error;
2485
2486 old = SLOT(vplabel);
2487 new = SLOT(newlabel);
2488 subj = SLOT(cred->cr_label);

--- 6 unchanged lines hidden (view full) ---

2495 MAC_LOMAC_FLAG_SINGLE | MAC_LOMAC_FLAG_AUX);
2496 if (error)
2497 return (error);
2498
2499 /*
2500 * To perform a relabel of the vnode (LOMAC label or not), LOMAC must
2501 * authorize the relabel.
2502 */
2503 if (!mac_lomac_single_in_range(old, subj))
2504 return (EPERM);
2505
2506 /*
2507 * If the LOMAC label is to be changed, authorize as appropriate.
2508 */
2509 if (new->ml_flags & MAC_LOMAC_FLAG_SINGLE) {
2510 /*
2511 * To change the LOMAC label on a vnode, the new vnode label
2512 * must be in the subject range.
2513 */
2514 if (!mac_lomac_single_in_range(new, subj))
2515 return (EPERM);
2516
2517 /*
2518 * To change the LOMAC label on the vnode to be EQUAL,
2519 * the subject must have appropriate privilege.
2520 */
2521 if (mac_lomac_contains_equal(new)) {
2522 error = mac_lomac_subject_privileged(subj);
2523 if (error)
2524 return (error);
2525 }
2526 }
2527 if (new->ml_flags & MAC_LOMAC_FLAG_AUX) {
2528 /*
2529 * Fill in the missing parts from the previous label.
2530 */
2531 if ((new->ml_flags & MAC_LOMAC_FLAG_SINGLE) == 0)
2532 mac_lomac_copy_single(subj, new);
2533
2534 /*
2535 * To change the auxiliary LOMAC label on a vnode, the new
2536 * vnode label must be in the subject range.
2537 */
2538 if (!mac_lomac_auxsingle_in_range(new, subj))
2539 return (EPERM);
2540
2541 /*
2542 * To change the auxiliary LOMAC label on the vnode to be
2543 * EQUAL, the subject must have appropriate privilege.
2544 */
2545 if (mac_lomac_contains_equal(new)) {
2546 error = mac_lomac_subject_privileged(subj);
2547 if (error)
2548 return (error);
2549 }
2550 }
2551
2552 return (0);
2553}
2554
2555static int
2556mac_lomac_vnode_check_rename_from(struct ucred *cred, struct vnode *dvp,
2557 struct label *dvplabel, struct vnode *vp, struct label *vplabel,
2558 struct componentname *cnp)
2559{
2560 struct mac_lomac *subj, *obj;
2561
2562 if (!mac_lomac_enabled)
2563 return (0);
2564
2565 subj = SLOT(cred->cr_label);
2566 obj = SLOT(dvplabel);
2567
2568 if (!mac_lomac_subject_dominate(subj, obj))
2569 return (EACCES);
2570
2571 obj = SLOT(vplabel);
2572
2573 if (!mac_lomac_subject_dominate(subj, obj))
2574 return (EACCES);
2575
2576 return (0);
2577}
2578
2579static int
2580mac_lomac_vnode_check_rename_to(struct ucred *cred, struct vnode *dvp,
2581 struct label *dvplabel, struct vnode *vp, struct label *vplabel,
2582 int samedir, struct componentname *cnp)
2583{
2584 struct mac_lomac *subj, *obj;
2585
2586 if (!mac_lomac_enabled)
2587 return (0);
2588
2589 subj = SLOT(cred->cr_label);
2590 obj = SLOT(dvplabel);
2591
2592 if (!mac_lomac_subject_dominate(subj, obj))
2593 return (EACCES);
2594
2595 if (vp != NULL) {
2596 obj = SLOT(vplabel);
2597
2598 if (!mac_lomac_subject_dominate(subj, obj))
2599 return (EACCES);
2600 }
2601
2602 return (0);
2603}
2604
2605static int
2606mac_lomac_vnode_check_revoke(struct ucred *cred, struct vnode *vp,
2607 struct label *vplabel)
2608{
2609 struct mac_lomac *subj, *obj;
2610
2611 if (!mac_lomac_enabled)
2612 return (0);
2613
2614 subj = SLOT(cred->cr_label);
2615 obj = SLOT(vplabel);
2616
2617 if (!mac_lomac_subject_dominate(subj, obj))
2618 return (EACCES);
2619
2620 return (0);
2621}
2622
2623static int
2624mac_lomac_vnode_check_setacl(struct ucred *cred, struct vnode *vp,
2625 struct label *vplabel, acl_type_t type, struct acl *acl)
2626{
2627 struct mac_lomac *subj, *obj;
2628
2629 if (!mac_lomac_enabled)
2630 return (0);
2631
2632 subj = SLOT(cred->cr_label);
2633 obj = SLOT(vplabel);
2634
2635 if (!mac_lomac_subject_dominate(subj, obj))
2636 return (EACCES);
2637
2638 return (0);
2639}
2640
2641static int
2642mac_lomac_vnode_check_setextattr(struct ucred *cred, struct vnode *vp,
2643 struct label *vplabel, int attrnamespace, const char *name,
2644 struct uio *uio)
2645{
2646 struct mac_lomac *subj, *obj;
2647
2648 if (!mac_lomac_enabled)
2649 return (0);
2650
2651 subj = SLOT(cred->cr_label);
2652 obj = SLOT(vplabel);
2653
2654 if (!mac_lomac_subject_dominate(subj, obj))
2655 return (EACCES);
2656
2657 /* XXX: protect the MAC EA in a special way? */
2658
2659 return (0);
2660}
2661
2662static int
2663mac_lomac_vnode_check_setflags(struct ucred *cred, struct vnode *vp,
2664 struct label *vplabel, u_long flags)
2665{
2666 struct mac_lomac *subj, *obj;
2667
2668 if (!mac_lomac_enabled)
2669 return (0);
2670
2671 subj = SLOT(cred->cr_label);
2672 obj = SLOT(vplabel);
2673
2674 if (!mac_lomac_subject_dominate(subj, obj))
2675 return (EACCES);
2676
2677 return (0);
2678}
2679
2680static int
2681mac_lomac_vnode_check_setmode(struct ucred *cred, struct vnode *vp,
2682 struct label *vplabel, mode_t mode)
2683{
2684 struct mac_lomac *subj, *obj;
2685
2686 if (!mac_lomac_enabled)
2687 return (0);
2688
2689 subj = SLOT(cred->cr_label);
2690 obj = SLOT(vplabel);
2691
2692 if (!mac_lomac_subject_dominate(subj, obj))
2693 return (EACCES);
2694
2695 return (0);
2696}
2697
2698static int
2699mac_lomac_vnode_check_setowner(struct ucred *cred, struct vnode *vp,
2700 struct label *vplabel, uid_t uid, gid_t gid)
2701{
2702 struct mac_lomac *subj, *obj;
2703
2704 if (!mac_lomac_enabled)
2705 return (0);
2706
2707 subj = SLOT(cred->cr_label);
2708 obj = SLOT(vplabel);
2709
2710 if (!mac_lomac_subject_dominate(subj, obj))
2711 return (EACCES);
2712
2713 return (0);
2714}
2715
2716static int
2717mac_lomac_vnode_check_setutimes(struct ucred *cred, struct vnode *vp,
2718 struct label *vplabel, struct timespec atime, struct timespec mtime)
2719{
2720 struct mac_lomac *subj, *obj;
2721
2722 if (!mac_lomac_enabled)
2723 return (0);
2724
2725 subj = SLOT(cred->cr_label);
2726 obj = SLOT(vplabel);
2727
2728 if (!mac_lomac_subject_dominate(subj, obj))
2729 return (EACCES);
2730
2731 return (0);
2732}
2733
2734static int
2735mac_lomac_vnode_check_unlink(struct ucred *cred, struct vnode *dvp,
2736 struct label *dvplabel, struct vnode *vp, struct label *vplabel,
2737 struct componentname *cnp)
2738{
2739 struct mac_lomac *subj, *obj;
2740
2741 if (!mac_lomac_enabled)
2742 return (0);
2743
2744 subj = SLOT(cred->cr_label);
2745 obj = SLOT(dvplabel);
2746
2747 if (!mac_lomac_subject_dominate(subj, obj))
2748 return (EACCES);
2749
2750 obj = SLOT(vplabel);
2751
2752 if (!mac_lomac_subject_dominate(subj, obj))
2753 return (EACCES);
2754
2755 return (0);
2756}
2757
2758static int
2759mac_lomac_vnode_check_write(struct ucred *active_cred,
2760 struct ucred *file_cred, struct vnode *vp, struct label *vplabel)
2761{
2762 struct mac_lomac *subj, *obj;
2763
2764 if (!mac_lomac_enabled || !revocation_enabled)
2765 return (0);
2766
2767 subj = SLOT(active_cred->cr_label);
2768 obj = SLOT(vplabel);
2769
2770 if (!mac_lomac_subject_dominate(subj, obj))
2771 return (EACCES);
2772
2773 return (0);
2774}
2775
2776static void
2777mac_lomac_thread_userret(struct thread *td)
2778{
2779 struct proc *p = td->td_proc;
2780 struct mac_lomac_proc *subj = PSLOT(p->p_label);
2781 struct ucred *newcred, *oldcred;
2782 int dodrop;
2783
2784 mtx_lock(&subj->mtx);
2785 if (subj->mac_lomac.ml_flags & MAC_LOMAC_FLAG_UPDATE) {
2786 dodrop = 0;
2787 mtx_unlock(&subj->mtx);
2788 newcred = crget();
2789 /*
2790 * Prevent a lock order reversal in
2791 * mac_cred_mmapped_drop_perms; ideally, the other
2792 * user of subj->mtx wouldn't be holding Giant.
2793 */
2794 mtx_lock(&Giant);
2795 PROC_LOCK(p);
2796 mtx_lock(&subj->mtx);
2797 /*
2798 * Check if we lost the race while allocating the cred.
2799 */
2800 if ((subj->mac_lomac.ml_flags & MAC_LOMAC_FLAG_UPDATE) == 0) {
2801 crfree(newcred);
2802 goto out;
2803 }
2804 oldcred = p->p_ucred;
2805 crcopy(newcred, oldcred);
2806 crhold(newcred);
2807 mac_lomac_copy(&subj->mac_lomac, SLOT(newcred->cr_label));
2808 p->p_ucred = newcred;
2809 crfree(oldcred);
2810 dodrop = 1;
2811 out:
2812 mtx_unlock(&subj->mtx);
2813 PROC_UNLOCK(p);
2814 if (dodrop)
2815 mac_cred_mmapped_drop_perms(curthread, newcred);
2816 mtx_unlock(&Giant);
2817 } else {
2818 mtx_unlock(&subj->mtx);
2819 }
2820}
2821
2822static struct mac_policy_ops mac_lomac_ops =
2823{
2824 .mpo_init = mac_lomac_init,
2825 .mpo_bpfdesc_init_label = mac_lomac_init_label,
2826 .mpo_cred_init_label = mac_lomac_init_label,
2827 .mpo_devfs_init_label = mac_lomac_init_label,
2828 .mpo_ifnet_init_label = mac_lomac_init_label,
2829 .mpo_init_syncache_label = mac_lomac_init_label_waitcheck,
2830 .mpo_inpcb_init_label = mac_lomac_init_label_waitcheck,
2831 .mpo_ipq_init_label = mac_lomac_init_label_waitcheck,
2832 .mpo_mbuf_init_label = mac_lomac_init_label_waitcheck,
2833 .mpo_mount_init_label = mac_lomac_init_label,
2834 .mpo_pipe_init_label = mac_lomac_init_label,
2835 .mpo_proc_init_label = mac_lomac_proc_init_label,
2836 .mpo_socket_init_label = mac_lomac_init_label_waitcheck,
2837 .mpo_socketpeer_init_label = mac_lomac_init_label_waitcheck,
2838 .mpo_vnode_init_label = mac_lomac_init_label,
2839 .mpo_init_syncache_from_inpcb = mac_lomac_init_syncache_from_inpcb,
2840 .mpo_bpfdesc_destroy_label = mac_lomac_destroy_label,
2841 .mpo_cred_destroy_label = mac_lomac_destroy_label,
2842 .mpo_devfs_destroy_label = mac_lomac_destroy_label,
2843 .mpo_ifnet_destroy_label = mac_lomac_destroy_label,
2844 .mpo_inpcb_destroy_label = mac_lomac_destroy_label,
2845 .mpo_ipq_destroy_label = mac_lomac_destroy_label,
2846 .mpo_mbuf_destroy_label = mac_lomac_destroy_label,
2847 .mpo_mount_destroy_label = mac_lomac_destroy_label,
2848 .mpo_pipe_destroy_label = mac_lomac_destroy_label,
2849 .mpo_proc_destroy_label = mac_lomac_proc_destroy_label,
2850 .mpo_destroy_syncache_label = mac_lomac_destroy_label,
2851 .mpo_socket_destroy_label = mac_lomac_destroy_label,
2852 .mpo_socketpeer_destroy_label = mac_lomac_destroy_label,
2853 .mpo_vnode_destroy_label = mac_lomac_destroy_label,
2854 .mpo_cred_copy_label = mac_lomac_copy_label,
2855 .mpo_ifnet_copy_label = mac_lomac_copy_label,
2856 .mpo_mbuf_copy_label = mac_lomac_copy_label,
2857 .mpo_pipe_copy_label = mac_lomac_copy_label,
2858 .mpo_socket_copy_label = mac_lomac_copy_label,
2859 .mpo_vnode_copy_label = mac_lomac_copy_label,
2860 .mpo_cred_externalize_label = mac_lomac_externalize_label,
2861 .mpo_ifnet_externalize_label = mac_lomac_externalize_label,
2862 .mpo_pipe_externalize_label = mac_lomac_externalize_label,
2863 .mpo_socket_externalize_label = mac_lomac_externalize_label,
2864 .mpo_socketpeer_externalize_label = mac_lomac_externalize_label,
2865 .mpo_vnode_externalize_label = mac_lomac_externalize_label,
2866 .mpo_cred_internalize_label = mac_lomac_internalize_label,
2867 .mpo_ifnet_internalize_label = mac_lomac_internalize_label,
2868 .mpo_pipe_internalize_label = mac_lomac_internalize_label,
2869 .mpo_socket_internalize_label = mac_lomac_internalize_label,
2870 .mpo_vnode_internalize_label = mac_lomac_internalize_label,
2871 .mpo_devfs_create_device = mac_lomac_devfs_create_device,
2872 .mpo_devfs_create_directory = mac_lomac_devfs_create_directory,
2873 .mpo_devfs_create_symlink = mac_lomac_devfs_create_symlink,
2874 .mpo_mount_create = mac_lomac_mount_create,
2875 .mpo_vnode_relabel = mac_lomac_vnode_relabel,
2876 .mpo_devfs_update = mac_lomac_devfs_update,
2877 .mpo_devfs_vnode_associate = mac_lomac_devfs_vnode_associate,
2878 .mpo_vnode_associate_extattr = mac_lomac_vnode_associate_extattr,
2879 .mpo_vnode_associate_singlelabel =
2880 mac_lomac_vnode_associate_singlelabel,
2881 .mpo_vnode_create_extattr = mac_lomac_vnode_create_extattr,
2882 .mpo_vnode_setlabel_extattr = mac_lomac_vnode_setlabel_extattr,
2883 .mpo_socket_create_mbuf = mac_lomac_socket_create_mbuf,
2884 .mpo_create_mbuf_from_syncache = mac_lomac_create_mbuf_from_syncache,
2885 .mpo_pipe_create = mac_lomac_pipe_create,
2886 .mpo_socket_create = mac_lomac_socket_create,
2887 .mpo_socket_newconn = mac_lomac_socket_newconn,
2888 .mpo_pipe_relabel = mac_lomac_pipe_relabel,
2889 .mpo_socket_relabel = mac_lomac_socket_relabel,
2890 .mpo_socketpeer_set_from_mbuf = mac_lomac_socketpeer_set_from_mbuf,
2891 .mpo_socketpeer_set_from_socket =
2892 mac_lomac_socketpeer_set_from_socket,
2893 .mpo_bpfdesc_create = mac_lomac_bpfdesc_create,
2894 .mpo_ipq_reassemble = mac_lomac_ipq_reassemble,
2895 .mpo_netinet_fragment = mac_lomac_netinet_fragment,
2896 .mpo_ifnet_create = mac_lomac_ifnet_create,
2897 .mpo_inpcb_create = mac_lomac_inpcb_create,
2898 .mpo_ipq_create = mac_lomac_ipq_create,
2899 .mpo_inpcb_create_mbuf = mac_lomac_inpcb_create_mbuf,
2900 .mpo_create_mbuf_linklayer = mac_lomac_create_mbuf_linklayer,
2901 .mpo_bpfdesc_create_mbuf = mac_lomac_bpfdesc_create_mbuf,
2902 .mpo_ifnet_create_mbuf = mac_lomac_ifnet_create_mbuf,
2903 .mpo_mbuf_create_multicast_encap =
2904 mac_lomac_mbuf_create_multicast_encap,
2905 .mpo_mbuf_create_netlayer = mac_lomac_mbuf_create_netlayer,
2906 .mpo_ipq_match = mac_lomac_ipq_match,
2907 .mpo_ifnet_relabel = mac_lomac_ifnet_relabel,
2908 .mpo_ipq_update = mac_lomac_ipq_update,
2909 .mpo_inpcb_sosetlabel = mac_lomac_inpcb_sosetlabel,
2910 .mpo_vnode_execve_transition = mac_lomac_vnode_execve_transition,
2911 .mpo_vnode_execve_will_transition =
2912 mac_lomac_vnode_execve_will_transition,
2913 .mpo_proc_create_swapper = mac_lomac_proc_create_swapper,
2914 .mpo_proc_create_init = mac_lomac_proc_create_init,
2915 .mpo_cred_relabel = mac_lomac_cred_relabel,
2916 .mpo_bpfdesc_check_receive = mac_lomac_bpfdesc_check_receive,
2917 .mpo_cred_check_relabel = mac_lomac_cred_check_relabel,
2918 .mpo_cred_check_visible = mac_lomac_cred_check_visible,
2919 .mpo_ifnet_check_relabel = mac_lomac_ifnet_check_relabel,
2920 .mpo_ifnet_check_transmit = mac_lomac_ifnet_check_transmit,
2921 .mpo_inpcb_check_deliver = mac_lomac_inpcb_check_deliver,
2922 .mpo_kld_check_load = mac_lomac_kld_check_load,
2923 .mpo_pipe_check_ioctl = mac_lomac_pipe_check_ioctl,
2924 .mpo_pipe_check_read = mac_lomac_pipe_check_read,
2925 .mpo_pipe_check_relabel = mac_lomac_pipe_check_relabel,
2926 .mpo_pipe_check_write = mac_lomac_pipe_check_write,
2927 .mpo_proc_check_debug = mac_lomac_proc_check_debug,
2928 .mpo_proc_check_sched = mac_lomac_proc_check_sched,
2929 .mpo_proc_check_signal = mac_lomac_proc_check_signal,
2930 .mpo_socket_check_deliver = mac_lomac_socket_check_deliver,
2931 .mpo_socket_check_relabel = mac_lomac_socket_check_relabel,
2932 .mpo_socket_check_visible = mac_lomac_socket_check_visible,
2933 .mpo_system_check_acct = mac_lomac_system_check_acct,
2934 .mpo_system_check_auditctl = mac_lomac_system_check_auditctl,
2935 .mpo_system_check_swapoff = mac_lomac_system_check_swapoff,
2936 .mpo_system_check_swapon = mac_lomac_system_check_swapon,
2937 .mpo_system_check_sysctl = mac_lomac_system_check_sysctl,
2938 .mpo_vnode_check_access = mac_lomac_vnode_check_open,
2939 .mpo_vnode_check_create = mac_lomac_vnode_check_create,
2940 .mpo_vnode_check_deleteacl = mac_lomac_vnode_check_deleteacl,
2941 .mpo_vnode_check_link = mac_lomac_vnode_check_link,
2942 .mpo_vnode_check_mmap = mac_lomac_vnode_check_mmap,
2943 .mpo_vnode_check_mmap_downgrade = mac_lomac_vnode_check_mmap_downgrade,
2944 .mpo_vnode_check_open = mac_lomac_vnode_check_open,
2945 .mpo_vnode_check_read = mac_lomac_vnode_check_read,
2946 .mpo_vnode_check_relabel = mac_lomac_vnode_check_relabel,
2947 .mpo_vnode_check_rename_from = mac_lomac_vnode_check_rename_from,
2948 .mpo_vnode_check_rename_to = mac_lomac_vnode_check_rename_to,
2949 .mpo_vnode_check_revoke = mac_lomac_vnode_check_revoke,
2950 .mpo_vnode_check_setacl = mac_lomac_vnode_check_setacl,
2951 .mpo_vnode_check_setextattr = mac_lomac_vnode_check_setextattr,
2952 .mpo_vnode_check_setflags = mac_lomac_vnode_check_setflags,
2953 .mpo_vnode_check_setmode = mac_lomac_vnode_check_setmode,
2954 .mpo_vnode_check_setowner = mac_lomac_vnode_check_setowner,
2955 .mpo_vnode_check_setutimes = mac_lomac_vnode_check_setutimes,
2956 .mpo_vnode_check_unlink = mac_lomac_vnode_check_unlink,
2957 .mpo_vnode_check_write = mac_lomac_vnode_check_write,
2958 .mpo_thread_userret = mac_lomac_thread_userret,
2959 .mpo_mbuf_create_from_firewall = mac_lomac_mbuf_create_from_firewall,
2960 .mpo_priv_check = mac_lomac_priv_check,
2961};
2962
2963MAC_POLICY_SET(&mac_lomac_ops, mac_lomac, "TrustedBSD MAC/LOMAC",
2964 MPC_LOADTIME_FLAG_NOTLATE | MPC_LOADTIME_FLAG_LABELMBUFS,
2965 &mac_lomac_slot);