Lines Matching +full:higher +full:- +full:end

7 .\" DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the
36 .Nd "Low-watermark Mandatory Access Control data integrity policy"
40 .Bd -ragged -offset indent
47 .Bd -ragged -offset indent
53 .Bd -literal -offset indent
71 with higher values reflecting higher integrity.
74 .Bl -column -offset indent ".Sy Label" "dominated by all other labels"
91 .Dq Li lomac/equal(equal-equal)
109 .Bd -literal -offset indent
118 greater or equal integrity to the low end of the range, and lesser or equal
119 integrity to the high end of the range.
123 .D1 Li lomac / Ar singlegrade ( lograde No - Ar higrade )
128 .D1 Ar subject Ns :: Ns Ar higrade No \[>=] Ar target-object Ns :: Ns Ar grade
153 .Bl -bullet -compact
166 .Ar lograde Ns - Ns Ar higrade ,
175 behavior of higher integrity subjects by preventing the flow of information,
180 and corruption of user data if marked as higher integrity than the attacker.
218 under DARPA/SPAWAR contract N66001-01-C-8035