Re: Secure Linux Alternatives (fwd)

[Mike Beede <mbeede@securecomputing.com>]

> Crispin Cowan <crispin@wirex.com>:
>
>    * Secure Linux (Flask)
>      http://www.cs.utah.edu/flux/fluke/html/linux.html : joint effort
>      between the NSA and U.Utah researchers to integrate the Flask
>      http://www.cs.utah.edu/flux/fluke/html/flask.html security
>      technology package into Linux.  Flask is based on the DTOS/Mach
>      architecture that (IIRC) is primarily based on capabilities.

I'm afraid you don't RC--neither DTOS nor Flask use capabilities.
They both support various label-based policies.

Regards,

	Mike Beede


-
Securedistros: A common list for all secured Linux distributions
Archive:       http://humbolt.nl.linux.org/lists/