[cap-talk] Secure OS

[majorsoul]

Hi,

Many microkernel OSes advertise themselves as secure RTOS using kernel
separation for applications partitioning (e.g lynuxworks, Green Hills etc),
most of them pass DO-178B Level A ceritification or CC EAL 6 or 7. 

I suspect that 178B Level A certification is more concern about separation
of applications in the mind set of application crashes while keeping the
system intact and not secure in the mind set of 'hacking'.

Does anyone knows which are the creteria for security of RTOS in the mindset
of hacking? Is there a certificatation for that?
-- 
View this message in context: http://www.nabble.com/Secure-OS-tf1879473.html#a5137983
Sent from the Capability System forum at Nabble.com.