mac_lomac.c revision 172953
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 * 9 * This software was developed for the FreeBSD Project in part by NAI Labs, 10 * the Security Research Division of Network Associates, Inc. under 11 * DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the DARPA 12 * CHATS research program. 13 * 14 * This software was enhanced by SPARTA ISSO under SPAWAR contract 15 * N66001-04-C-6019 ("SEFOS"). 16 * 17 * Redistribution and use in source and binary forms, with or without 18 * modification, are permitted provided that the following conditions 19 * are met: 20 * 1. Redistributions of source code must retain the above copyright 21 * notice, this list of conditions and the following disclaimer. 22 * 2. Redistributions in binary form must reproduce the above copyright 23 * notice, this list of conditions and the following disclaimer in the 24 * documentation and/or other materials provided with the distribution. 25 * 26 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 27 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 28 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 29 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 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 47#include <sys/types.h> 48#include <sys/param.h> 49#include <sys/acl.h> 50#include <sys/conf.h> 51#include <sys/extattr.h> 52#include <sys/kernel.h> 53#include <sys/malloc.h> 54#include <sys/mman.h> 55#include <sys/mount.h> 56#include <sys/priv.h> 57#include <sys/proc.h> 58#include <sys/sbuf.h> 59#include <sys/systm.h> 60#include <sys/sysproto.h> 61#include <sys/sysent.h> 62#include <sys/systm.h> 63#include <sys/vnode.h> 64#include <sys/file.h> 65#include <sys/socket.h> 66#include <sys/socketvar.h> 67#include <sys/sx.h> 68#include <sys/pipe.h> 69#include <sys/sysctl.h> 70#include <sys/syslog.h> 71 72#include <fs/devfs/devfs.h> 73 74#include <net/bpfdesc.h> 75#include <net/if.h> 76#include <net/if_types.h> 77#include <net/if_var.h> 78 79#include <netinet/in.h> 80#include <netinet/in_pcb.h> 81#include <netinet/ip_var.h> 82 83#include <vm/vm.h> 84 85#include <security/mac/mac_policy.h> 86#include <security/mac/mac_framework.h> 87#include <security/mac_lomac/mac_lomac.h> 88 89struct mac_lomac_proc { 90 struct mac_lomac mac_lomac; 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"); 115TUNABLE_INT("security.mac.lomac.trust_all_interfaces", &trust_all_interfaces); 116 117static char trusted_interfaces[128]; 118SYSCTL_STRING(_security_mac_lomac, OID_AUTO, trusted_interfaces, CTLFLAG_RD, 119 trusted_interfaces, 0, "Interfaces considered 'trusted' by MAC/LOMAC"); 120TUNABLE_STR("security.mac.lomac.trusted_interfaces", trusted_interfaces, 121 sizeof(trusted_interfaces)); 122 123static int ptys_equal = 0; 124SYSCTL_INT(_security_mac_lomac, OID_AUTO, ptys_equal, CTLFLAG_RW, 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, " 574 "mountpount=%s)\n", 575 subjlabeltext, p->p_pid, pgid, curthread->td_ucred->cr_uid, 576 p->p_comm, subjtext, actionname, objlabeltext, objname, 577 va.va_fileid, vp->v_mount->mnt_stat.f_mntonname); 578 } else { 579 log(LOG_INFO, "LOMAC: level-%s subject p%dg%du%d:%s demoted to" 580 " level %s after %s a level-%s %s\n", 581 subjlabeltext, p->p_pid, pgid, curthread->td_ucred->cr_uid, 582 p->p_comm, subjtext, actionname, objlabeltext, objname); 583 } 584 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); 768 769 if (d < 0 || d > 65535) 770 return (EINVAL); 771 element->mle_type = MAC_LOMAC_TYPE_GRADE; 772 element->mle_grade = d; 773 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, '('); 795 if (range == single) 796 single = NULL; 797 auxsingle = index(string, '['); 798 if (auxsingle == single) 799 single = NULL; 800 if (range != NULL && auxsingle != NULL) 801 return (EINVAL); 802 rangelow = rangehigh = NULL; 803 if (range != NULL) { 804 /* Nul terminate the end of the single string. */ 805 *range = '\0'; 806 range++; 807 rangelow = range; 808 rangehigh = index(rangelow, '-'); 809 if (rangehigh == NULL) 810 return (EINVAL); 811 rangehigh++; 812 if (*rangelow == '\0' || *rangehigh == '\0') 813 return (EINVAL); 814 rangeend = index(rangehigh, ')'); 815 if (rangeend == NULL) 816 return (EINVAL); 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 1248 if (ifp->if_type == IFT_LOOP) { 1249 grade = MAC_LOMAC_TYPE_EQUAL; 1250 goto set; 1251 } 1252 1253 if (trust_all_interfaces) { 1254 grade = MAC_LOMAC_TYPE_HIGH; 1255 goto set; 1256 } 1257 1258 grade = MAC_LOMAC_TYPE_LOW; 1259 1260 if (trusted_interfaces[0] == '\0' || 1261 !strvalid(trusted_interfaces, sizeof(trusted_interfaces))) 1262 goto set; 1263 1264 bzero(tiflist, sizeof(tiflist)); 1265 for (p = trusted_interfaces, q = tiflist; *p != '\0'; p++, q++) 1266 if(*p != ' ' && *p != '\t') 1267 *q = *p; 1268 1269 for (p = q = tiflist;; p++) { 1270 if (*p == ',' || *p == '\0') { 1271 len = p - q; 1272 if (len < IFNAMSIZ) { 1273 bzero(tifname, sizeof(tifname)); 1274 bcopy(q, tifname, len); 1275 if (strcmp(tifname, ifp->if_xname) == 0) { 1276 grade = MAC_LOMAC_TYPE_HIGH; 1277 break; 1278 } 1279 } 1280 else { 1281 *p = '\0'; 1282 printf("MAC/LOMAC warning: interface name " 1283 "\"%s\" is too long (must be < %d)\n", 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 */ 1723 error = priv_check_cred(cred, PRIV_NET_SETIFMAC, 0); 1724 if (error) 1725 return (EPERM); 1726 1727 /* 1728 * XXXMAC: Additional consistency tests regarding the single 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: 2051 2052 /* 2053 * Allow processes to manipulate basic process audit properties, and 2054 * to submit audit records. 2055 */ 2056 case PRIV_AUDIT_GETAUDIT: 2057 case PRIV_AUDIT_SETAUDIT: 2058 case PRIV_AUDIT_SUBMIT: 2059 2060 /* 2061 * Allow processes to manipulate their regular UNIX credentials. 2062 */ 2063 case PRIV_CRED_SETUID: 2064 case PRIV_CRED_SETEUID: 2065 case PRIV_CRED_SETGID: 2066 case PRIV_CRED_SETEGID: 2067 case PRIV_CRED_SETGROUPS: 2068 case PRIV_CRED_SETREUID: 2069 case PRIV_CRED_SETREGID: 2070 case PRIV_CRED_SETRESUID: 2071 case PRIV_CRED_SETRESGID: 2072 2073 /* 2074 * Allow processes to perform system monitoring. 2075 */ 2076 case PRIV_SEEOTHERGIDS: 2077 case PRIV_SEEOTHERUIDS: 2078 break; 2079 2080 /* 2081 * Allow access to general process debugging facilities. We 2082 * separately control debugging based on MAC label. 2083 */ 2084 case PRIV_DEBUG_DIFFCRED: 2085 case PRIV_DEBUG_SUGID: 2086 case PRIV_DEBUG_UNPRIV: 2087 2088 /* 2089 * Allow manipulating jails. 2090 */ 2091 case PRIV_JAIL_ATTACH: 2092 2093 /* 2094 * Allow privilege with respect to the Partition policy, but not the 2095 * Privs policy. 2096 */ 2097 case PRIV_MAC_PARTITION: 2098 2099 /* 2100 * Allow privilege with respect to process resource limits and login 2101 * context. 2102 */ 2103 case PRIV_PROC_LIMIT: 2104 case PRIV_PROC_SETLOGIN: 2105 case PRIV_PROC_SETRLIMIT: 2106 2107 /* 2108 * Allow System V and POSIX IPC privileges. 2109 */ 2110 case PRIV_IPC_READ: 2111 case PRIV_IPC_WRITE: 2112 case PRIV_IPC_ADMIN: 2113 case PRIV_IPC_MSGSIZE: 2114 case PRIV_MQ_ADMIN: 2115 2116 /* 2117 * Allow certain scheduler manipulations -- possibly this should be 2118 * controlled by more fine-grained policy, as potentially low 2119 * integrity processes can deny CPU to higher integrity ones. 2120 */ 2121 case PRIV_SCHED_DIFFCRED: 2122 case PRIV_SCHED_SETPRIORITY: 2123 case PRIV_SCHED_RTPRIO: 2124 case PRIV_SCHED_SETPOLICY: 2125 case PRIV_SCHED_SET: 2126 case PRIV_SCHED_SETPARAM: 2127 2128 /* 2129 * More IPC privileges. 2130 */ 2131 case PRIV_SEM_WRITE: 2132 2133 /* 2134 * Allow signaling privileges subject to integrity policy. 2135 */ 2136 case PRIV_SIGNAL_DIFFCRED: 2137 case PRIV_SIGNAL_SUGID: 2138 2139 /* 2140 * Allow access to only limited sysctls from lower integrity levels; 2141 * piggy-back on the Jail definition. 2142 */ 2143 case PRIV_SYSCTL_WRITEJAIL: 2144 2145 /* 2146 * Allow TTY-based privileges, subject to general device access using 2147 * labels on TTY device nodes, but not console privilege. 2148 */ 2149 case PRIV_TTY_DRAINWAIT: 2150 case PRIV_TTY_DTRWAIT: 2151 case PRIV_TTY_EXCLUSIVE: 2152 case PRIV_TTY_PRISON: 2153 case PRIV_TTY_STI: 2154 case PRIV_TTY_SETA: 2155 2156 /* 2157 * Grant most VFS privileges, as almost all are in practice bounded 2158 * by more specific checks using labels. 2159 */ 2160 case PRIV_VFS_READ: 2161 case PRIV_VFS_WRITE: 2162 case PRIV_VFS_ADMIN: 2163 case PRIV_VFS_EXEC: 2164 case PRIV_VFS_LOOKUP: 2165 case PRIV_VFS_CHFLAGS_DEV: 2166 case PRIV_VFS_CHOWN: 2167 case PRIV_VFS_CHROOT: 2168 case PRIV_VFS_RETAINSUGID: 2169 case PRIV_VFS_EXCEEDQUOTA: 2170 case PRIV_VFS_FCHROOT: 2171 case PRIV_VFS_FHOPEN: 2172 case PRIV_VFS_FHSTATFS: 2173 case PRIV_VFS_GENERATION: 2174 case PRIV_VFS_GETFH: 2175 case PRIV_VFS_GETQUOTA: 2176 case PRIV_VFS_LINK: 2177 case PRIV_VFS_MOUNT: 2178 case PRIV_VFS_MOUNT_OWNER: 2179 case PRIV_VFS_MOUNT_PERM: 2180 case PRIV_VFS_MOUNT_SUIDDIR: 2181 case PRIV_VFS_MOUNT_NONUSER: 2182 case PRIV_VFS_SETGID: 2183 case PRIV_VFS_STICKYFILE: 2184 case PRIV_VFS_SYSFLAGS: 2185 case PRIV_VFS_UNMOUNT: 2186 2187 /* 2188 * Allow VM privileges; it would be nice if these were subject to 2189 * resource limits. 2190 */ 2191 case PRIV_VM_MADV_PROTECT: 2192 case PRIV_VM_MLOCK: 2193 case PRIV_VM_MUNLOCK: 2194 2195 /* 2196 * Allow some but not all network privileges. In general, dont allow 2197 * reconfiguring the network stack, just normal use. 2198 */ 2199 case PRIV_NETATALK_RESERVEDPORT: 2200 case PRIV_NETINET_RESERVEDPORT: 2201 case PRIV_NETINET_RAW: 2202 case PRIV_NETINET_REUSEPORT: 2203 case PRIV_NETIPX_RESERVEDPORT: 2204 case PRIV_NETIPX_RAW: 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); 2489 2490 /* 2491 * If there is a LOMAC label update for the vnode, it must be a 2492 * single label, with an optional explicit auxiliary single. 2493 */ 2494 error = lomac_atmostflags(new, 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); 2966