[cap-talk] Secure OS

[David Chizmadia (JHU)]

The PP has not been released to the general public.

FYI, and based on briefings by the organizations sponsoring
its development at the OMG, it is for a Separation Kernel
(as described by Rushby) and therefore doesn't really address
the rest of the components that most people consider part of
an OS (e.g., file system, network stack, etc). It is also
oriented towards embedded, statically configured, systems.

Out of curiosity, what is motivating your interest?

-DMC


majorsoul wrote:
> Can you please link the security profile for MILS separation kernel?
> Is there a CC PP for OS for level 6 or 7?
>