Re: [PATCH] MLS interface update

On Fri, 2006-03-10 at 10:23 -0600, Chad Hanson wrote:
> This patch updates existing mls interfaces and summaries to reflect
> the current mls constraints. Also, there are also new interface
> definitions for some mls attributes which were lacking interfaces.

Now that refpolicy is in a release OS (FC5 final), the interfaces have to be stabilized, so we can't change interface names without compatibility interfaces. The interface additions would be ok, but upon closer examination of the constraints, why are the reads traditional BLP (l1 dom l2), but the writes aren't (l1 eq l2 for { file lnk_file fifo_file }, and (l1 dom l2 and l1 domby h2) for { dir chr_file blk_file sock_file })? In fact, the (l1 dom l2 and l1 domby h2) doesn't look correct to me; (l1 domby l2) seems right. It appears the write constraints are being used for integrity (at least for file, lnk_file and fifo_file), but we already have TE for this purpose.

-- 
Chris PeBenito
Tresys Technology, LLC
(410) 290-1411 x150


--
This message was distributed to subscribers of the selinux mailing list.
If you no longer wish to subscribe, send mail to majordomo@tycho.nsa.gov with
the words "unsubscribe selinux" without quotes as the message.