summaryrefslogtreecommitdiff
path: root/src/misc/av/msgav.cil
diff options
context:
space:
mode:
Diffstat (limited to 'src/misc/av/msgav.cil')
-rw-r--r--src/misc/av/msgav.cil18
1 files changed, 9 insertions, 9 deletions
diff --git a/src/misc/av/msgav.cil b/src/misc/av/msgav.cil
index 44cd39f..7a16449 100644
--- a/src/misc/av/msgav.cil
+++ b/src/misc/av/msgav.cil
@@ -1,4 +1,4 @@
-;; SPDX-FileCopyrightText: © 2025 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-FileCopyrightText: M-BM-) 2025 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense
(class msg (receive send))
@@ -13,18 +13,18 @@
(in mcs
(mlsconstrain (msg (send))
- (or (dom h1 h2)
- (neq t1 constrained.typeattr))))
+ (or (dom h1 h2)
+ (neq t1 constrained.typeattr))))
(in rbacsep
(constrain (msg (send))
- (or (or (or (eq r1 r2)
- (and (eq r1 exempt.roleattr)
- (neq t1 constrained.typeattr)))
- (eq t1 exempt.subj.typeattr))
- (and (eq t1 exemptsource.typeattr)
- (eq t2 exempttarget.typeattr)))))
+ (or (or (or (eq r1 r2)
+ (and (eq r1 exempt.roleattr)
+ (neq t1 constrained.typeattr)))
+ (eq t1 exempt.subj.typeattr))
+ (and (eq t1 exemptsource.typeattr)
+ (eq t2 exempttarget.typeattr)))))
(in subj.unconfined